renames PetriNet to Petrinet and uses the parser as a resource in Main

[petrinet.git] / src / main / java / de / yasc / example / petrinet / Main.java

diff --git a/src/main/java/de/yasc/example/petrinet/Main.java b/src/main/java/de/yasc/example/petrinet/Main.java
index 8788f76..a3b5ca3 100644 (file)
--- a/src/main/java/de/yasc/example/petrinet/Main.java
+++ b/src/main/java/de/yasc/example/petrinet/Main.java
@@ -5,12 +5,11 @@ import java.util.Arrays;
 
 public class Main {
     public static void main(String arg[]) {
-        try {
-            var parser = new PetrinetParser(System.in);
+        try (var parser = new PetrinetParser(System.in)) {
             var net = parser.read();
             
+            // test code
             net.step(2);
-            
             System.out.println(Arrays.asList(net.getMarking()).toString());
         } catch (IOException ex) {
             System.err.println("Error: "+ex.getMessage());