From d5b61e5bb23544d1c21f5e230b30f17314977f46 Mon Sep 17 00:00:00 2001 From: Mikkel Date: Tue, 30 Jan 2024 16:58:39 +0100 Subject: [PATCH] Fixed incorrect hyperltl trace --- .../VerifyTAPN/VerifyTAPNTraceParser.java | 34 +++++++++---------- 1 file changed, 17 insertions(+), 17 deletions(-) diff --git a/src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNTraceParser.java b/src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNTraceParser.java index 5720e26b6..1aa1632a4 100644 --- a/src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNTraceParser.java +++ b/src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNTraceParser.java @@ -48,23 +48,23 @@ public TimedArcPetriNetTrace parseTrace(BufferedReader reader) { if(traceNameToParse != null) { NodeList childNodes = null; - try { - childNodes = document.getElementsByTagName("trace-list").item(0).getChildNodes(); - } catch (NullPointerException ex) { - // This just means the trace list is empty, i.e., there is no trace except the initial marking - // So we send this back - trace.setTraceName(traceNameToParse); - return trace; - } - for(int i = 0; i < childNodes.getLength(); i++) { - NamedNodeMap nodeAttribute = childNodes.item(i).getAttributes(); - - if(nodeAttribute != null && nodeAttribute.item(0).getNodeValue().equals(traceNameToParse)) { - nodeList = childNodes.item(i).getChildNodes(); - trace.setTraceName(traceNameToParse); - break; - } - } + Node traceListNode = document.getElementsByTagName("trace-list").item(0); + + if (traceListNode != null) { + childNodes = traceListNode.getChildNodes(); + } + + if (childNodes != null) { + for(int i = 0; i < childNodes.getLength(); i++) { + NamedNodeMap nodeAttribute = childNodes.item(i).getAttributes(); + + if(nodeAttribute != null && nodeAttribute.item(0).getNodeValue().equals(traceNameToParse)) { + nodeList = childNodes.item(i).getChildNodes(); + trace.setTraceName(traceNameToParse); + break; + } + } + } } if(nodeList == null) {