This is an automated email from the ASF dual-hosted git repository.

andy pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/jena.git

commit 8d3c480c01aca190fc5501e56f690b6d61e96268
Author: Andy Seaborne <[email protected]>
AuthorDate: Wed Sep 11 16:55:48 2024 +0100

    Clean javadoc comments
---
 .../org/apache/jena/cdt/parser/JavaCharStream.java | 79 +++++++++++-----------
 .../jena/sparql/lang/sparql_12/JavaCharStream.java | 79 +++++++++++-----------
 2 files changed, 78 insertions(+), 80 deletions(-)

diff --git 
a/jena-arq/src/main/java/org/apache/jena/cdt/parser/JavaCharStream.java 
b/jena-arq/src/main/java/org/apache/jena/cdt/parser/JavaCharStream.java
index 16e184f3a6..aa1a739d51 100644
--- a/jena-arq/src/main/java/org/apache/jena/cdt/parser/JavaCharStream.java
+++ b/jena-arq/src/main/java/org/apache/jena/cdt/parser/JavaCharStream.java
@@ -31,7 +31,7 @@ public
 class JavaCharStream
 {
   /** Whether parser is static. */
-  
+
 @SuppressWarnings("all")
 public static final boolean staticFlag = false;
 
@@ -83,7 +83,7 @@ public static final boolean staticFlag = false;
   }
 
 /* Position in buffer. */
-  
+
 @SuppressWarnings("all")
 public int bufpos = -1;
   int bufsize;
@@ -108,10 +108,10 @@ public int bufpos = -1;
   protected int tabSize = 1;
   protected boolean trackLineColumn = true;
 
-  
+
 @SuppressWarnings("all")
 public void setTabSize(int i) { tabSize = i; }
-  
+
 @SuppressWarnings("all")
 public int getTabSize() { return tabSize; }
 
@@ -203,7 +203,7 @@ public int getTabSize() { return tabSize; }
   }
 
 /* @return starting character for token. */
-  
+
 @SuppressWarnings("all")
 public char BeginToken() throws java.io.IOException
   {
@@ -285,7 +285,7 @@ public char BeginToken() throws java.io.IOException
   }
 
 /* Read a character. */
-  
+
 @SuppressWarnings("all")
 public char readChar() throws java.io.IOException
   {
@@ -385,7 +385,7 @@ public char readChar() throws java.io.IOException
    * @see #getEndColumn
    */
   @Deprecated
-  
+
 @SuppressWarnings("all")
 public int getColumn() {
     return bufcolumn[bufpos];
@@ -397,7 +397,7 @@ public int getColumn() {
    * @return the line number.
    */
   @Deprecated
-  
+
 @SuppressWarnings("all")
 public int getLine() {
     return bufline[bufpos];
@@ -406,7 +406,7 @@ public int getLine() {
 /** Get end column.
  * @return the end column or -1
  */
-  
+
 @SuppressWarnings("all")
 public int getEndColumn() {
     return bufcolumn[bufpos];
@@ -415,7 +415,7 @@ public int getEndColumn() {
 /** Get end line.
  * @return the end line number or -1
  */
-  
+
 @SuppressWarnings("all")
 public int getEndLine() {
     return bufline[bufpos];
@@ -423,21 +423,21 @@ public int getEndLine() {
 
 /** Get the beginning column.
  * @return column of token start */
-  
+
 @SuppressWarnings("all")
 public int getBeginColumn() {
     return bufcolumn[tokenBegin];
   }
 
 /** @return line number of token start */
-  
+
 @SuppressWarnings("all")
 public int getBeginLine() {
     return bufline[tokenBegin];
   }
 
 /** Retreat. */
-  
+
 @SuppressWarnings("all")
 public void backup(int amount) {
 
@@ -452,7 +452,7 @@ public void backup(int amount) {
  * @param startcolumn column number of the first character of the stream.
  * @param buffersize size of the buffer
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.Reader dstream,
                  int startline, int startcolumn, int buffersize)
@@ -473,7 +473,7 @@ public JavaCharStream(java.io.Reader dstream,
  * @param startline line number of the first character of the stream, mostly 
for error messages.
  * @param startcolumn column number of the first character of the stream.
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.Reader dstream,
                                         int startline, int startcolumn)
@@ -483,16 +483,15 @@ public JavaCharStream(java.io.Reader dstream,
 
 /** Constructor.
  * @param dstream the underlying data source.
- * @param startline line number of the first character of the stream, mostly 
for error messages.
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.Reader dstream)
   {
     this(dstream, 1, 1, 4096);
   }
 /* Reinitialise. */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.Reader dstream,
                  int startline, int startcolumn, int buffersize)
@@ -515,7 +514,7 @@ public void ReInit(java.io.Reader dstream,
   }
 
 /* Reinitialise. */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.Reader dstream,
                                         int startline, int startcolumn)
@@ -524,14 +523,14 @@ public void ReInit(java.io.Reader dstream,
   }
 
 /* Reinitialise. */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.Reader dstream)
   {
     ReInit(dstream, 1, 1, 4096);
   }
 /** Constructor. */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream, String encoding, int 
startline,
   int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
@@ -545,7 +544,7 @@ public JavaCharStream(java.io.InputStream dstream, String 
encoding, int startlin
  * @param startcolumn column number of the first character of the stream.
  * @param buffersize size of the buffer
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream, int startline,
   int startcolumn, int buffersize)
@@ -558,9 +557,9 @@ public JavaCharStream(java.io.InputStream dstream, int 
startline,
  * @param encoding the character encoding of the data stream.
  * @param startline line number of the first character of the stream, mostly 
for error messages.
  * @param startcolumn column number of the first character of the stream.
- * @throws UnsupportedEncodingException encoding is invalid or unsupported.
+ * @throws java.io.UnsupportedEncodingException encoding is invalid or 
unsupported.
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream, String encoding, int 
startline,
                         int startcolumn) throws 
java.io.UnsupportedEncodingException
@@ -573,7 +572,7 @@ public JavaCharStream(java.io.InputStream dstream, String 
encoding, int startlin
  * @param startline line number of the first character of the stream, mostly 
for error messages.
  * @param startcolumn column number of the first character of the stream.
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream, int startline,
                         int startcolumn)
@@ -584,9 +583,9 @@ public JavaCharStream(java.io.InputStream dstream, int 
startline,
 /** Constructor.
  * @param dstream the underlying data source.
  * @param encoding the character encoding of the data stream.
- * @throws UnsupportedEncodingException encoding is invalid or unsupported.
+ * @throws java.io.UnsupportedEncodingException encoding is invalid or 
unsupported.
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream, String encoding) throws 
java.io.UnsupportedEncodingException
   {
@@ -596,7 +595,7 @@ public JavaCharStream(java.io.InputStream dstream, String 
encoding) throws java.
   /** Constructor.
    * @param dstream the underlying data source.
    */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream)
   {
@@ -610,7 +609,7 @@ public JavaCharStream(java.io.InputStream dstream)
  * @param startcolumn column number of the first character of the stream.
  * @param buffersize size of the buffer
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream, String encoding, int startline,
   int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
@@ -624,7 +623,7 @@ public void ReInit(java.io.InputStream dstream, String 
encoding, int startline,
  * @param startcolumn column number of the first character of the stream.
  * @param buffersize size of the buffer
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream, int startline,
   int startcolumn, int buffersize)
@@ -636,9 +635,9 @@ public void ReInit(java.io.InputStream dstream, int 
startline,
  * @param encoding the character encoding of the data stream.
  * @param startline line number of the first character of the stream, mostly 
for error messages.
  * @param startcolumn column number of the first character of the stream.
- * @throws UnsupportedEncodingException encoding is invalid or unsupported.
+ * @throws java.io.UnsupportedEncodingException encoding is invalid or 
unsupported.
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream, String encoding, int startline,
                      int startcolumn) throws 
java.io.UnsupportedEncodingException
@@ -650,7 +649,7 @@ public void ReInit(java.io.InputStream dstream, String 
encoding, int startline,
  * @param startline line number of the first character of the stream, mostly 
for error messages.
  * @param startcolumn column number of the first character of the stream.
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream, int startline,
                      int startcolumn)
@@ -660,9 +659,9 @@ public void ReInit(java.io.InputStream dstream, int 
startline,
 /** Reinitialise.
  * @param dstream the underlying data source.
  * @param encoding the character encoding of the data stream.
- * @throws UnsupportedEncodingException encoding is invalid or unsupported.
+ * @throws java.io.UnsupportedEncodingException encoding is invalid or 
unsupported.
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream, String encoding) throws 
java.io.UnsupportedEncodingException
   {
@@ -672,7 +671,7 @@ public void ReInit(java.io.InputStream dstream, String 
encoding) throws java.io.
 /** Reinitialise.
  * @param dstream the underlying data source.
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream)
   {
@@ -681,7 +680,7 @@ public void ReInit(java.io.InputStream dstream)
 
   /** Get the token timage.
    * @return token image as String */
-  
+
 @SuppressWarnings("all")
 public String GetImage()
   {
@@ -695,7 +694,7 @@ public String GetImage()
   /** Get the suffix as an array of characters.
    * @param len the length of the array to return.
    * @return suffix */
-  
+
 @SuppressWarnings("all")
 public char[] GetSuffix(int len)
   {
@@ -714,7 +713,7 @@ public char[] GetSuffix(int len)
   }
 
   /** Set buffers back to null when finished. */
-  
+
 @SuppressWarnings("all")
 public void Done()
   {
@@ -730,7 +729,7 @@ public void Done()
    * @param newLine the new line number.
    * @param newCol the new column number.
    */
-  
+
 @SuppressWarnings("all")
 public void adjustBeginLineColumn(int newLine, int newCol)
   {
diff --git 
a/jena-arq/src/main/java/org/apache/jena/sparql/lang/sparql_12/JavaCharStream.java
 
b/jena-arq/src/main/java/org/apache/jena/sparql/lang/sparql_12/JavaCharStream.java
index e47a4e5883..cc5a770079 100644
--- 
a/jena-arq/src/main/java/org/apache/jena/sparql/lang/sparql_12/JavaCharStream.java
+++ 
b/jena-arq/src/main/java/org/apache/jena/sparql/lang/sparql_12/JavaCharStream.java
@@ -13,7 +13,7 @@ public
 class JavaCharStream
 {
   /** Whether parser is static. */
-  
+
 @SuppressWarnings("all")
 public static final boolean staticFlag = false;
 
@@ -65,7 +65,7 @@ public static final boolean staticFlag = false;
   }
 
 /* Position in buffer. */
-  
+
 @SuppressWarnings("all")
 public int bufpos = -1;
   int bufsize;
@@ -90,10 +90,10 @@ public int bufpos = -1;
   protected int tabSize = 1;
   protected boolean trackLineColumn = true;
 
-  
+
 @SuppressWarnings("all")
 public void setTabSize(int i) { tabSize = i; }
-  
+
 @SuppressWarnings("all")
 public int getTabSize() { return tabSize; }
 
@@ -185,7 +185,7 @@ public int getTabSize() { return tabSize; }
   }
 
 /* @return starting character for token. */
-  
+
 @SuppressWarnings("all")
 public char BeginToken() throws java.io.IOException
   {
@@ -267,7 +267,7 @@ public char BeginToken() throws java.io.IOException
   }
 
 /* Read a character. */
-  
+
 @SuppressWarnings("all")
 public char readChar() throws java.io.IOException
   {
@@ -367,7 +367,7 @@ public char readChar() throws java.io.IOException
    * @see #getEndColumn
    */
   @Deprecated
-  
+
 @SuppressWarnings("all")
 public int getColumn() {
     return bufcolumn[bufpos];
@@ -379,7 +379,7 @@ public int getColumn() {
    * @return the line number.
    */
   @Deprecated
-  
+
 @SuppressWarnings("all")
 public int getLine() {
     return bufline[bufpos];
@@ -388,7 +388,7 @@ public int getLine() {
 /** Get end column.
  * @return the end column or -1
  */
-  
+
 @SuppressWarnings("all")
 public int getEndColumn() {
     return bufcolumn[bufpos];
@@ -397,7 +397,7 @@ public int getEndColumn() {
 /** Get end line.
  * @return the end line number or -1
  */
-  
+
 @SuppressWarnings("all")
 public int getEndLine() {
     return bufline[bufpos];
@@ -405,21 +405,21 @@ public int getEndLine() {
 
 /** Get the beginning column.
  * @return column of token start */
-  
+
 @SuppressWarnings("all")
 public int getBeginColumn() {
     return bufcolumn[tokenBegin];
   }
 
 /** @return line number of token start */
-  
+
 @SuppressWarnings("all")
 public int getBeginLine() {
     return bufline[tokenBegin];
   }
 
 /** Retreat. */
-  
+
 @SuppressWarnings("all")
 public void backup(int amount) {
 
@@ -434,7 +434,7 @@ public void backup(int amount) {
  * @param startcolumn column number of the first character of the stream.
  * @param buffersize size of the buffer
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.Reader dstream,
                  int startline, int startcolumn, int buffersize)
@@ -455,7 +455,7 @@ public JavaCharStream(java.io.Reader dstream,
  * @param startline line number of the first character of the stream, mostly 
for error messages.
  * @param startcolumn column number of the first character of the stream.
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.Reader dstream,
                                         int startline, int startcolumn)
@@ -465,16 +465,15 @@ public JavaCharStream(java.io.Reader dstream,
 
 /** Constructor.
  * @param dstream the underlying data source.
- * @param startline line number of the first character of the stream, mostly 
for error messages.
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.Reader dstream)
   {
     this(dstream, 1, 1, 4096);
   }
 /* Reinitialise. */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.Reader dstream,
                  int startline, int startcolumn, int buffersize)
@@ -497,7 +496,7 @@ public void ReInit(java.io.Reader dstream,
   }
 
 /* Reinitialise. */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.Reader dstream,
                                         int startline, int startcolumn)
@@ -506,14 +505,14 @@ public void ReInit(java.io.Reader dstream,
   }
 
 /* Reinitialise. */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.Reader dstream)
   {
     ReInit(dstream, 1, 1, 4096);
   }
 /** Constructor. */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream, String encoding, int 
startline,
   int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
@@ -527,7 +526,7 @@ public JavaCharStream(java.io.InputStream dstream, String 
encoding, int startlin
  * @param startcolumn column number of the first character of the stream.
  * @param buffersize size of the buffer
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream, int startline,
   int startcolumn, int buffersize)
@@ -540,9 +539,9 @@ public JavaCharStream(java.io.InputStream dstream, int 
startline,
  * @param encoding the character encoding of the data stream.
  * @param startline line number of the first character of the stream, mostly 
for error messages.
  * @param startcolumn column number of the first character of the stream.
- * @throws UnsupportedEncodingException encoding is invalid or unsupported.
+ * @throws java.io.UnsupportedEncodingException encoding is invalid or 
unsupported.
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream, String encoding, int 
startline,
                         int startcolumn) throws 
java.io.UnsupportedEncodingException
@@ -555,7 +554,7 @@ public JavaCharStream(java.io.InputStream dstream, String 
encoding, int startlin
  * @param startline line number of the first character of the stream, mostly 
for error messages.
  * @param startcolumn column number of the first character of the stream.
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream, int startline,
                         int startcolumn)
@@ -566,9 +565,9 @@ public JavaCharStream(java.io.InputStream dstream, int 
startline,
 /** Constructor.
  * @param dstream the underlying data source.
  * @param encoding the character encoding of the data stream.
- * @throws UnsupportedEncodingException encoding is invalid or unsupported.
+ * @throws java.io.UnsupportedEncodingException encoding is invalid or 
unsupported.
  */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream, String encoding) throws 
java.io.UnsupportedEncodingException
   {
@@ -578,7 +577,7 @@ public JavaCharStream(java.io.InputStream dstream, String 
encoding) throws java.
   /** Constructor.
    * @param dstream the underlying data source.
    */
-  
+
 @SuppressWarnings("all")
 public JavaCharStream(java.io.InputStream dstream)
   {
@@ -592,7 +591,7 @@ public JavaCharStream(java.io.InputStream dstream)
  * @param startcolumn column number of the first character of the stream.
  * @param buffersize size of the buffer
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream, String encoding, int startline,
   int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
@@ -606,7 +605,7 @@ public void ReInit(java.io.InputStream dstream, String 
encoding, int startline,
  * @param startcolumn column number of the first character of the stream.
  * @param buffersize size of the buffer
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream, int startline,
   int startcolumn, int buffersize)
@@ -618,9 +617,9 @@ public void ReInit(java.io.InputStream dstream, int 
startline,
  * @param encoding the character encoding of the data stream.
  * @param startline line number of the first character of the stream, mostly 
for error messages.
  * @param startcolumn column number of the first character of the stream.
- * @throws UnsupportedEncodingException encoding is invalid or unsupported.
+ * @throws java.io.UnsupportedEncodingException encoding is invalid or 
unsupported.
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream, String encoding, int startline,
                      int startcolumn) throws 
java.io.UnsupportedEncodingException
@@ -632,7 +631,7 @@ public void ReInit(java.io.InputStream dstream, String 
encoding, int startline,
  * @param startline line number of the first character of the stream, mostly 
for error messages.
  * @param startcolumn column number of the first character of the stream.
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream, int startline,
                      int startcolumn)
@@ -642,9 +641,9 @@ public void ReInit(java.io.InputStream dstream, int 
startline,
 /** Reinitialise.
  * @param dstream the underlying data source.
  * @param encoding the character encoding of the data stream.
- * @throws UnsupportedEncodingException encoding is invalid or unsupported.
+ * @throws java.io.UnsupportedEncodingException encoding is invalid or 
unsupported.
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream, String encoding) throws 
java.io.UnsupportedEncodingException
   {
@@ -654,7 +653,7 @@ public void ReInit(java.io.InputStream dstream, String 
encoding) throws java.io.
 /** Reinitialise.
  * @param dstream the underlying data source.
  */
-  
+
 @SuppressWarnings("all")
 public void ReInit(java.io.InputStream dstream)
   {
@@ -663,7 +662,7 @@ public void ReInit(java.io.InputStream dstream)
 
   /** Get the token timage.
    * @return token image as String */
-  
+
 @SuppressWarnings("all")
 public String GetImage()
   {
@@ -677,7 +676,7 @@ public String GetImage()
   /** Get the suffix as an array of characters.
    * @param len the length of the array to return.
    * @return suffix */
-  
+
 @SuppressWarnings("all")
 public char[] GetSuffix(int len)
   {
@@ -696,7 +695,7 @@ public char[] GetSuffix(int len)
   }
 
   /** Set buffers back to null when finished. */
-  
+
 @SuppressWarnings("all")
 public void Done()
   {
@@ -712,7 +711,7 @@ public void Done()
    * @param newLine the new line number.
    * @param newCol the new column number.
    */
-  
+
 @SuppressWarnings("all")
 public void adjustBeginLineColumn(int newLine, int newCol)
   {

Reply via email to