X-Git-Url: https://develop.uap-core.de/gitweb/petrinet.git/blobdiff_plain/df5d936c9357bec642391c1cd58dd952c67c5e8f..685b0bc0c29700edd27a1ae148b75b417947b8ac:/src/main/java/de/yasc/example/petrinet/PetrinetParser.java diff --git a/src/main/java/de/yasc/example/petrinet/PetrinetParser.java b/src/main/java/de/yasc/example/petrinet/PetrinetParser.java index 9a70a42..21d63a8 100644 --- a/src/main/java/de/yasc/example/petrinet/PetrinetParser.java +++ b/src/main/java/de/yasc/example/petrinet/PetrinetParser.java @@ -112,8 +112,8 @@ public final class PetrinetParser implements AutoCloseable { } } - public PetriNet read() throws IOException { - PetriNet result = null; + public Petrinet read() throws IOException { + Petrinet result = null; String input; int line = 0; @@ -125,7 +125,7 @@ public final class PetrinetParser implements AutoCloseable { case COMMENT: break; case PLACES: if (result == null) { - result = new PetriNet(parsedLine.val0); + result = new Petrinet(parsedLine.val0); } else { throw new IOException("places command must occur once"); } @@ -154,7 +154,7 @@ public final class PetrinetParser implements AutoCloseable { } @Override - public void close() throws Exception { + public void close() throws IOException { reader.close(); } }