Commit 5e03afe6 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ added PICS as guards to TPDs (#27)

parent 2efbe3f9

plugins/org.etsi.mts.tdl.tx/src/org/etsi/mts/tdl/TDLtx.xtext

+2 −1
Original line number Diff line number Diff line
@@ -1755,7 +1755,8 @@ ThenBehaviour returns tdl::CompoundBehaviour: 
;



TPDBlock returns tdl::Block:

    //NOTE: No guard

    //NOTE: No guard -> guard is PICS

    ('PICS:' guard+=LocalExpression)?

    (behaviour+=InitialConditionsBehaviour)? 

    (behaviour+=ExpectedBehaviourBehaviour)? 

    (behaviour+=FinalConditionsBehaviour)?