diff --git a/src/main/jastadd/base/io/IoPN.jadd b/src/main/jastadd/base/io/IoPN.jadd index 57dd7b14a2e2375593f76bd3c11b82e3610bb371..7c76a0092b6aa6da491dfe4ee4e0564a80070e13 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 2bcffecd6bc3fdf4b755c018bef25aa285f21332..d7095dab2a5b4ab75bb4a0209c28397efe937278 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>;