update Java version

Author: peteroupc

.github/workflows/codeql-analysis.yml

@@ -43,7 +43,7 @@ jobs:
 
     # Initializes the CodeQL tools for scanning.
     - name: Initialize CodeQL
-      uses: github/codeql-action/init@v1
+      uses: github/codeql-action/init@v3
       with:
         languages: ${{ matrix.language }}
         # If you wish to specify custom queries, you can do so here or in a config file.
@@ -54,7 +54,7 @@ jobs:
     # Autobuild attempts to build any compiled languages  (C/C++, C#, or Java).
     # If this step fails, then you should remove it and run the build manually (see later)
     - name: Autobuild
-      uses: github/codeql-action/autobuild@v1
+      uses: github/codeql-action/autobuild@v3
 
     # ℹ️ Command-line programs to run using the OS shell.
     # 📚 https://git.io/JvXDl
@@ -68,4 +68,4 @@ jobs:
     #   make release
 
     - name: Perform CodeQL Analysis
-      uses: github/codeql-action/analyze@v1
+      uses: github/codeql-action/analyze@v3

api/com.upokecenter.cbor.CBORDataUtilities.md

@@ -79,7 +79,9 @@ Contains methods useful for reading and writing data, with a focus on CBOR.
 ## Method Details
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(String str)
+
 Parses a number whose format follows the JSON specification. The method uses
  a JSONOptions with all default properties.
 
@@ -93,7 +95,9 @@ Parses a number whose format follows the JSON specification. The method uses
  parsing fails, including if the string is null or empty.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(String str, JSONOptions options)
+
 <p>Parses a number whose format follows the JSON specification (RFC 8259)
  and converts that number to a CBOR object.</p> <p>Roughly speaking, a valid
  JSON number consists of an optional minus sign, one or more basic digits
@@ -118,7 +122,9 @@ Parses a number whose format follows the JSON specification. The method uses
  parsing fails, including if the string is null or empty.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(String str, int offset, int count)
+
 <p>Parses a number whose format follows the JSON specification (RFC 8259)
  from a portion of a text string, and converts that number to a CBOR
  object.</p> <p>Roughly speaking, a valid JSON number consists of an optional
@@ -153,7 +159,9 @@ Parses a number whose format follows the JSON specification. The method uses
 * <code>NullPointerException</code> - The parameter <code>str</code> is null.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(String str, int offset, int count, JSONOptions options)
+
 <p>Parses a number whose format follows the JSON specification (RFC 8259)
  and converts that number to a CBOR object.</p> <p>Roughly speaking, a valid
  JSON number consists of an optional minus sign, one or more basic digits
@@ -191,7 +199,9 @@ Parses a number whose format follows the JSON specification. The method uses
 * <code>IllegalArgumentException</code> - Unsupported conversion kind.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(byte[] bytes, int offset, int count, JSONOptions options)
+
 <p>Parses a number from a byte sequence whose format follows the JSON
  specification (RFC 8259) and converts that number to a CBOR object.</p>
  <p>Roughly speaking, a valid JSON number consists of an optional minus sign,
@@ -229,7 +239,9 @@ Parses a number whose format follows the JSON specification. The method uses
 * <code>IllegalArgumentException</code> - Unsupported conversion kind.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(byte[] bytes, JSONOptions options)
+
 <p>Parses a number from a byte sequence whose format follows the JSON
  specification (RFC 8259) and converts that number to a CBOR object.</p>
  <p>Roughly speaking, a valid JSON number consists of an optional minus sign,
@@ -254,7 +266,9 @@ Parses a number whose format follows the JSON specification. The method uses
  parsing fails, including if the byte sequence is null or empty.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(byte[] bytes, int offset, int count)
+
 <p>Parses a number whose format follows the JSON specification (RFC 8259)
  from a portion of a byte sequence, and converts that number to a CBOR
  object.</p> <p>Roughly speaking, a valid JSON number consists of an optional
@@ -289,7 +303,9 @@ Parses a number whose format follows the JSON specification. The method uses
 * <code>NullPointerException</code> - The parameter <code>bytes</code> is null.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(byte[] bytes)
+
 Parses a number from a byte sequence whose format follows the JSON
  specification. The method uses a JSONOptions with all default properties.
 
@@ -303,7 +319,9 @@ Parses a number from a byte sequence whose format follows the JSON
  parsing fails, including if the byte sequence is null or empty.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(char[] chars, int offset, int count, JSONOptions options)
+
 <p>Parses a number from a sequence of <code>char</code> s whose format follows
  the JSON specification (RFC 8259) and converts that number to a CBOR
  object.</p> <p>Roughly speaking, a valid JSON number consists of an optional
@@ -341,7 +359,9 @@ Parses a number from a byte sequence whose format follows the JSON
 * <code>IllegalArgumentException</code> - Unsupported conversion kind.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(char[] chars, JSONOptions options)
+
 <p>Parses a number from a sequence of <code>char</code> s whose format follows
  the JSON specification (RFC 8259) and converts that number to a CBOR
  object.</p> <p>Roughly speaking, a valid JSON number consists of an optional
@@ -366,7 +386,9 @@ Parses a number from a byte sequence whose format follows the JSON
  parsing fails, including if the sequence of <code>char</code> s is null or empty.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(char[] chars, int offset, int count)
+
 <p>Parses a number whose format follows the JSON specification (RFC 8259)
  from a portion of a sequence of <code>char</code> s, and converts that number to
  a CBOR object.</p> <p>Roughly speaking, a valid JSON number consists of an
@@ -401,7 +423,9 @@ Parses a number from a byte sequence whose format follows the JSON
 * <code>NullPointerException</code> - The parameter <code>chars</code> is null.
 
 ### ParseJSONNumber
+
     public static CBORObject ParseJSONNumber(char[] chars)
+
 Parses a number from a sequence of <code>char</code> s whose format follows the
  JSON specification. The method uses a JSONOptions with all default
  properties.

api/com.upokecenter.cbor.CBORDateConverter.ConversionType.md

@@ -36,6 +36,9 @@ the order they are declared.
 ## Method Details
 
 ### values
+
     public static CBORDateConverter.ConversionType[] values()
+
 ### valueOf
+
     public static CBORDateConverter.ConversionType valueOf(String name)

api/com.upokecenter.cbor.CBORDateConverter.md

@@ -83,13 +83,18 @@
 ## Field Details
 
 ### TaggedString
+
     public static final CBORDateConverter TaggedString
+
 A converter object where FromCBORObject accepts CBOR objects with tag 0
  (date/time strings) and tag 1 (number of seconds since the start of 1970),
  and ToCBORObject converts date/time objects (java.util.Date in DotNet, and Date in
  Java) to CBOR objects of tag 0.
+
 ### TaggedNumber
+
     public static final CBORDateConverter TaggedNumber
+
 A converter object where FromCBORObject accepts CBOR objects with tag 0
  (date/time strings) and tag 1 (number of seconds since the start of 1970),
  and ToCBORObject converts date/time objects (java.util.Date in DotNet, and Date in
@@ -100,8 +105,11 @@ A converter object where FromCBORObject accepts CBOR objects with tag 0
  lossy otherwise. The ToCBORObject conversion will throw an exception if the
  conversion to binary64 results in positive infinity, negative infinity, or
  not-a-number.
+
 ### UntaggedNumber
+
     public static final CBORDateConverter UntaggedNumber
+
 A converter object where FromCBORObject accepts untagged CBOR integer or
  CBOR floating-point objects that give the number of seconds since the start
  of 1970, and where ToCBORObject converts date/time objects (java.util.Date in
@@ -112,18 +120,23 @@ A converter object where FromCBORObject accepts untagged CBOR integer or
  conversion is lossy otherwise. The ToCBORObject conversion will throw an
  exception if the conversion to binary64 results in positive infinity,
  negative infinity, or not-a-number.
+
 ## Method Details
 
 ### getType
+
     public final CBORDateConverter.ConversionType getType()
+
 Gets the conversion type for this date converter.
 
 **Returns:**
 
 * The conversion type for this date converter.
 
 ### FromCBORObject
+
     public Date FromCBORObject(CBORObject obj)
+
 Converts a CBOR object to a java.util.Date (in DotNet) or a Date (in Java).
 
 **Specified by:**
@@ -148,7 +161,9 @@ Converts a CBOR object to a java.util.Date (in DotNet) or a Date (in Java).
  not supported, or another error occurred in conversion.
 
 ### TryGetDateTimeFields
+
     public boolean TryGetDateTimeFields(CBORObject obj, com.upokecenter.numbers.EInteger[] year, int[] lesserFields)
+
 Tries to extract the fields of a date and time in the form of a CBOR object.
 
 **Parameters:**
@@ -180,7 +195,9 @@ Tries to extract the fields of a date and time in the form of a CBOR object.
  otherwise.
 
 ### DateTimeFieldsToCBORObject
+
     public CBORObject DateTimeFieldsToCBORObject(int smallYear, int month, int day)
+
 Converts a date/time in the form of a year, month, and day to a CBOR object.
  The hour, minute, and second are treated as 00:00:00 by this method, and the
  time offset is treated as 0 by this method.
@@ -195,15 +212,17 @@ Converts a date/time in the form of a year, month, and day to a CBOR object.
 
 **Returns:**
 
-* A CBOR object encoding the given date fields according to the
+* A CBOR object encoding the specified date fields according to the
  conversion type used to create this date converter.
 
 **Throws:**
 
 * <code>CBORException</code> - An error occurred in conversion.
 
 ### DateTimeFieldsToCBORObject
+
     public CBORObject DateTimeFieldsToCBORObject(int smallYear, int month, int day, int hour, int minute, int second)
+
 Converts a date/time in the form of a year, month, day, hour, minute, and
  second to a CBOR object. The time offset is treated as 0 by this method.
 
@@ -223,15 +242,17 @@ Converts a date/time in the form of a year, month, day, hour, minute, and
 
 **Returns:**
 
-* A CBOR object encoding the given date fields according to the
+* A CBOR object encoding the specified date fields according to the
  conversion type used to create this date converter.
 
 **Throws:**
 
 * <code>CBORException</code> - An error occurred in conversion.
 
 ### DateTimeFieldsToCBORObject
+
     public CBORObject DateTimeFieldsToCBORObject(int year, int[] lesserFields)
+
 Converts a date/time in the form of a year, month, day, hour, minute,
  second, fractional seconds, and time offset to a CBOR object.
 
@@ -245,7 +266,7 @@ Converts a date/time in the form of a year, month, day, hour, minute,
 
 **Returns:**
 
-* A CBOR object encoding the given date fields according to the
+* A CBOR object encoding the specified date fields according to the
  conversion type used to create this date converter.
 
 **Throws:**
@@ -255,7 +276,9 @@ Converts a date/time in the form of a year, month, day, hour, minute,
 * <code>CBORException</code> - An error occurred in conversion.
 
 ### DateTimeFieldsToCBORObject
+
     public CBORObject DateTimeFieldsToCBORObject(com.upokecenter.numbers.EInteger bigYear, int[] lesserFields)
+
 Converts a date/time in the form of a year, month, day, hour, minute,
  second, fractional seconds, and time offset to a CBOR object.
 
@@ -269,7 +292,7 @@ Converts a date/time in the form of a year, month, day, hour, minute,
 
 **Returns:**
 
-* A CBOR object encoding the given date fields according to the
+* A CBOR object encoding the specified date fields according to the
  conversion type used to create this date converter.
 
 **Throws:**
@@ -280,7 +303,9 @@ Converts a date/time in the form of a year, month, day, hour, minute,
 * <code>CBORException</code> - An error occurred in conversion.
 
 ### ToCBORObject
+
     public CBORObject ToCBORObject(Date obj)
+
 Converts a java.util.Date (in DotNet) or Date (in Java) to a CBOR object in a
  manner specified by this converter's conversion type.