From 5770e150836b69e11a6113d4e6f4e2da57b65579 Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Tue, 26 Jul 2022 12:21:49 +0200
Subject: [PATCH] use incremental eval, add dumpAst

---
 src/main/jastadd/base/io/IoPN.jadd   | 4 ++--
 src/main/jastadd/base/io/IoPN.relast | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/main/jastadd/base/io/IoPN.jadd b/src/main/jastadd/base/io/IoPN.jadd
index 57dd7b1..7c76a00 100644
--- a/src/main/jastadd/base/io/IoPN.jadd
+++ b/src/main/jastadd/base/io/IoPN.jadd
@@ -40,7 +40,7 @@ aspect IoPnExtension{
         }
 
         // updates automatically based on dependencies to the corresponding place
-        syn String OutputSignalBinding.getOutputSignalValue(){
+        syn String OutputSignalBinding.outputSignalValue(){
 
             OutputSignalPlace osp = this.containingPlace().asOutputSignalPlace();
             BalloonMarking marking = osp.balloonMarking();
@@ -142,4 +142,4 @@ aspect IoPnExtension{
 
             return output;
         }
-}
\ No newline at end of file
+}
diff --git a/src/main/jastadd/base/io/IoPN.relast b/src/main/jastadd/base/io/IoPN.relast
index 2bcffec..d7095da 100644
--- a/src/main/jastadd/base/io/IoPN.relast
+++ b/src/main/jastadd/base/io/IoPN.relast
@@ -1,5 +1,5 @@
 InputSignalBinding : PnObject ::= <TransitionID:String> <InputSignalID:String> <InputSignalValue:int>;
-OutputSignalBinding : PnObject ::= <PlaceID:String> <OutputSignalID:String> /<OutputSignalValue:String>/ EqualityOM:EqualityOutputMapping* ThresholdOM:ThresholdOutputMapping* RangeOM:RangeOutputMapping*;
+OutputSignalBinding : PnObject ::= <PlaceID:String> <OutputSignalID:String> EqualityOM:EqualityOutputMapping* ThresholdOM:ThresholdOutputMapping* RangeOM:RangeOutputMapping*;
 
 abstract TransitionInformation ::= <Location:String> <Type:String> <InputLimit:java.lang.Integer> <OutputLimit:java.lang.Integer> <SubNet:String> <Instance:String>;
 TopicTransitionInformation : TransitionInformation ::= <Topic:String>;
@@ -15,4 +15,4 @@ OutputMapping;
 
 EqualityOutputMapping : OutputMapping ::= <Value:java.lang.Integer> <Result:java.lang.Integer>;
 ThresholdOutputMapping : OutputMapping ::= <Value:java.lang.Integer> <Result:java.lang.Integer>;
-RangeOutputMapping : OutputMapping ::= <UpperBound:java.lang.Integer> <LowerBound:java.lang.Integer> <Result:java.lang.Integer>;
\ No newline at end of file
+RangeOutputMapping : OutputMapping ::= <UpperBound:java.lang.Integer> <LowerBound:java.lang.Integer> <Result:java.lang.Integer>;
-- 
GitLab