Fix EOFException in CustomTokenizer #813

owlcs · Feb 18, 2019 · e14adb0 · e14adb0
1 parent b6cf6d8
commit e14adb0
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/parsers/src/main/java/org/semanticweb/owlapi/functional/parser/CustomTokenizer.java b/parsers/src/main/java/org/semanticweb/owlapi/functional/parser/CustomTokenizer.java
@@ -60,15 +60,18 @@ public Token getNextToken() {
                     default:
                         return readTextualToken(c);
                 }
+            } catch (@SuppressWarnings("unused") EOFException e) {
+                return makeToken(EOF, "");
             } catch (IOException e) {
-                LOGGER.warn("Error reading from functional stream", e);
+                LOGGER.warn("IOException reading from functioanl stream", e);
                 return makeToken(EOF, "");
             }
         }
     }
 
     private void skipComment() throws IOException {
         for (char c = readChar(); c != '\n'; c = readChar()) {
+            // read to end of line
         }
     }
 
@@ -107,7 +110,7 @@ private Token readFullIRI() {
                 }
             }
         } catch (IOException e) {
-            LOGGER.warn("Error reading from functional stream", e);
+            LOGGER.warn("IOException reading from functioanl stream", e);
             return makeToken(ERROR, "<");
         }
     }
@@ -147,15 +150,12 @@ private Token readTextualToken(char input) throws IOException {
                     default:
                         buf.append(c);
                 }
-            } catch (EOFException e) {
-                LOGGER.trace("End of file reached", e);
+            } catch (@SuppressWarnings("unused") EOFException eof) {
                 break;
             }
         }
         String s = buf.toString();
         if (colonIndex >= 0) {
-            // System.out.println("colonIndex >=0 - so expect abbreviated IRI from "
-            // + buf);
             if (colonIndex == s.length() - 1) {
                 return makeToken(PNAME_NS, s);
             } else {