}
}
- public PetriNet read() throws IOException {
- PetriNet result = null;
+ public Petrinet read() throws IOException {
+ Petrinet result = null;
String input;
int line = 0;
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");
}
}
@Override
- public void close() throws Exception {
+ public void close() throws IOException {
reader.close();
}
}