Actually update docs (#31)

hjson · Aug 12, 2023 · 8f5a352 · 8f5a352
1 parent 5e36884
commit 8f5a352
Show file tree

Hide file tree

Showing 22 changed files with 73 additions and 86 deletions.
diff --git a/docs/allclasses-frame.html b/docs/allclasses-frame.html
@@ -2,9 +2,8 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>All Classes (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>All Classes (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

diff --git a/docs/allclasses-noframe.html b/docs/allclasses-noframe.html
@@ -2,9 +2,8 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>All Classes (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>All Classes (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

diff --git a/docs/constant-values.html b/docs/constant-values.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>Constant Field Values (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>Constant Field Values (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Constant Field Values (hjson 3.0.0 API)";
+            parent.document.title="Constant Field Values (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/deprecated-list.html b/docs/deprecated-list.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>Deprecated List (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>Deprecated List (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Deprecated List (hjson 3.0.0 API)";
+            parent.document.title="Deprecated List (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/help-doc.html b/docs/help-doc.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>API Help (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>API Help (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="API Help (hjson 3.0.0 API)";
+            parent.document.title="API Help (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/index-all.html b/docs/index-all.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>Index (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>Index (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Index (hjson 3.0.0 API)";
+            parent.document.title="Index (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/index.html b/docs/index.html
@@ -2,8 +2,8 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>hjson 3.0.0 API</title>
+<!-- Generated by javadoc -->
+<title>hjson API</title>
 <script type="text/javascript">
     tmpTargetPage = "" + window.location.search;
     if (tmpTargetPage != "" && tmpTargetPage != "undefined")

diff --git a/docs/org/hjson/HjsonDsf.html b/docs/org/hjson/HjsonDsf.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>HjsonDsf (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>HjsonDsf (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="HjsonDsf (hjson 3.0.0 API)";
+            parent.document.title="HjsonDsf (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/org/hjson/HjsonOptions.html b/docs/org/hjson/HjsonOptions.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>HjsonOptions (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>HjsonOptions (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="HjsonOptions (hjson 3.0.0 API)";
+            parent.document.title="HjsonOptions (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/org/hjson/IHjsonDsfProvider.html b/docs/org/hjson/IHjsonDsfProvider.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>IHjsonDsfProvider (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>IHjsonDsfProvider (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="IHjsonDsfProvider (hjson 3.0.0 API)";
+            parent.document.title="IHjsonDsfProvider (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/org/hjson/JsonArray.html b/docs/org/hjson/JsonArray.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>JsonArray (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>JsonArray (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="JsonArray (hjson 3.0.0 API)";
+            parent.document.title="JsonArray (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/org/hjson/JsonObject.Member.html b/docs/org/hjson/JsonObject.Member.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>JsonObject.Member (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>JsonObject.Member (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="JsonObject.Member (hjson 3.0.0 API)";
+            parent.document.title="JsonObject.Member (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/org/hjson/JsonObject.html b/docs/org/hjson/JsonObject.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>JsonObject (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>JsonObject (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="JsonObject (hjson 3.0.0 API)";
+            parent.document.title="JsonObject (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/org/hjson/JsonType.html b/docs/org/hjson/JsonType.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>JsonType (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>JsonType (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="JsonType (hjson 3.0.0 API)";
+            parent.document.title="JsonType (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/org/hjson/JsonValue.html b/docs/org/hjson/JsonValue.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>JsonValue (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>JsonValue (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="JsonValue (hjson 3.0.0 API)";
+            parent.document.title="JsonValue (hjson API)";
         }
     }
     catch(err) {
@@ -134,6 +133,8 @@ <h2 title="Class JsonValue" class="title">Class JsonValue</h2>
  Instances that represent JSON <strong>numbers</strong>, <strong>strings</strong> and
  <strong>boolean</strong> values can be created using the static factory methods
  <a href="../../org/hjson/JsonValue.html#valueOf-java.lang.String-"><code>valueOf(String)</code></a>, <a href="../../org/hjson/JsonValue.html#valueOf-long-"><code>valueOf(long)</code></a>, <a href="../../org/hjson/JsonValue.html#valueOf-double-"><code>valueOf(double)</code></a>, etc.
+ <a href="../../org/hjson/JsonValue.html#valueOf-float-"><code>valueOf(float)</code></a> and <a href="../../org/hjson/JsonValue.html#valueOf-double-"><code>valueOf(double)</code></a> throw a <strong>NumberFormatException
+ </strong> if the input is <strong>Inf</strong> or <strong>NaN</strong>.
  </p>
  <p>
  In order to find out whether an instance of this class is of a certain type, the methods
@@ -719,7 +720,10 @@ <h4>valueOf</h4>
 <li class="blockList">
 <h4>valueOf</h4>
 <pre>public static&nbsp;<a href="../../org/hjson/JsonValue.html" title="class in org.hjson">JsonValue</a>&nbsp;valueOf(float&nbsp;value)</pre>
-<div class="block">Returns a JsonValue instance that represents the given <code>float</code> value.</div>
+<div class="block">Returns a JsonValue instance that represents the given <code>float</code> value.
+
+ Throws a <strong>NumberFormatException</strong> if the input parameter
+ is <strong>Inf</strong> or <strong>NaN</strong>.</div>
 <dl>
 <dt><span class="paramLabel">Parameters:</span></dt>
 <dd><code>value</code> - the value to get a JSON representation for</dd>
@@ -735,7 +739,10 @@ <h4>valueOf</h4>
 <li class="blockList">
 <h4>valueOf</h4>
 <pre>public static&nbsp;<a href="../../org/hjson/JsonValue.html" title="class in org.hjson">JsonValue</a>&nbsp;valueOf(double&nbsp;value)</pre>
-<div class="block">Returns a JsonValue instance that represents the given <code>double</code> value.</div>
+<div class="block">Returns a JsonValue instance that represents the given <code>double</code> value.
+
+ Throws a <strong>NumberFormatException</strong> if the input parameter
+ is <strong>Inf</strong> or <strong>NaN</strong>.</div>
 <dl>
 <dt><span class="paramLabel">Parameters:</span></dt>
 <dd><code>value</code> - the value to get a JSON representation for</dd>

diff --git a/docs/org/hjson/ParseException.html b/docs/org/hjson/ParseException.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>ParseException (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>ParseException (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="ParseException (hjson 3.0.0 API)";
+            parent.document.title="ParseException (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/org/hjson/Stringify.html b/docs/org/hjson/Stringify.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>Stringify (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>Stringify (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Stringify (hjson 3.0.0 API)";
+            parent.document.title="Stringify (hjson API)";
         }
     }
     catch(err) {

diff --git a/docs/org/hjson/package-frame.html b/docs/org/hjson/package-frame.html
@@ -2,9 +2,8 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>org.hjson (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>org.hjson (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>

diff --git a/docs/org/hjson/package-summary.html b/docs/org/hjson/package-summary.html
@@ -2,17 +2,16 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_131) on Fri Jul 14 23:53:11 CEST 2017 -->
-<title>org.hjson (hjson 3.0.0 API)</title>
-<meta name="date" content="2017-07-14">
+<!-- Generated by javadoc -->
+<title>org.hjson (hjson API)</title>
 <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
 <script type="text/javascript" src="../../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="org.hjson (hjson 3.0.0 API)";
+            parent.document.title="org.hjson (hjson API)";
         }
     }
     catch(err) {