From c6083649efe79d4845eddbf458af2a5b4c77b463 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Mon, 25 Jul 2022 14:23:50 +0200
Subject: [PATCH] current fix state
---
src/main/jastadd/base/io/IoPN.jadd | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/main/jastadd/base/io/IoPN.jadd b/src/main/jastadd/base/io/IoPN.jadd
index 9d6671d..57dd7b1 100644
--- a/src/main/jastadd/base/io/IoPN.jadd
+++ b/src/main/jastadd/base/io/IoPN.jadd
@@ -60,24 +60,24 @@ aspect IoPnExtension{
}
// tom
- if (result > -1) {
+ // if (result > -1) {
for (ThresholdOutputMapping tom : tomList) {
if (tom.getValue() <= markedPlace.getNumBalloonMarking()) {
result = tom.getResult();
break;
}
}
- }
+ // }
// rom
- if (result > -1) {
+ // if (result > -1) {
for (RangeOutputMapping rom : romList) {
if ((rom.getLowerBound() <= markedPlace.getNumBalloonMarking()) && (rom.getUpperBound() >= markedPlace.getNumBalloonMarking())) {
result = rom.getResult();
break;
}
}
- }
+ // }
// 0 (disabled Signal) is default
if (result == -1) {
--
GitLab