Skip to content
Snippets Groups Projects
Commit 5770e150 authored by René Schöne's avatar René Schöne
Browse files

use incremental eval, add dumpAst

parent c6083649
No related branches found
No related tags found
No related merge requests found
...@@ -40,7 +40,7 @@ aspect IoPnExtension{ ...@@ -40,7 +40,7 @@ aspect IoPnExtension{
} }
// updates automatically based on dependencies to the corresponding place // updates automatically based on dependencies to the corresponding place
syn String OutputSignalBinding.getOutputSignalValue(){ syn String OutputSignalBinding.outputSignalValue(){
OutputSignalPlace osp = this.containingPlace().asOutputSignalPlace(); OutputSignalPlace osp = this.containingPlace().asOutputSignalPlace();
BalloonMarking marking = osp.balloonMarking(); BalloonMarking marking = osp.balloonMarking();
...@@ -142,4 +142,4 @@ aspect IoPnExtension{ ...@@ -142,4 +142,4 @@ aspect IoPnExtension{
return output; return output;
} }
} }
\ No newline at end of file
InputSignalBinding : PnObject ::= <TransitionID:String> <InputSignalID:String> <InputSignalValue:int>; 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>; abstract TransitionInformation ::= <Location:String> <Type:String> <InputLimit:java.lang.Integer> <OutputLimit:java.lang.Integer> <SubNet:String> <Instance:String>;
TopicTransitionInformation : TransitionInformation ::= <Topic:String>; TopicTransitionInformation : TransitionInformation ::= <Topic:String>;
...@@ -15,4 +15,4 @@ OutputMapping; ...@@ -15,4 +15,4 @@ OutputMapping;
EqualityOutputMapping : OutputMapping ::= <Value:java.lang.Integer> <Result:java.lang.Integer>; EqualityOutputMapping : OutputMapping ::= <Value:java.lang.Integer> <Result:java.lang.Integer>;
ThresholdOutputMapping : 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>; RangeOutputMapping : OutputMapping ::= <UpperBound:java.lang.Integer> <LowerBound:java.lang.Integer> <Result:java.lang.Integer>;
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment