Commit a7488154 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ added PIXIT predefined annotation, and basic syntax, #190

parent e74e1ce2
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -31,6 +31,7 @@ Package TDL {
	Annotation check
	Annotation where
	Annotation PICS
	Annotation PIXIT

    //standard annotations for STO
    Annotation Initial conditions
+5 −0
Original line number Diff line number Diff line
@@ -1151,6 +1151,7 @@ AIdentifier:
    | When
    | Then
    | PICSName
    | PIXITName
    | CheckIdentifier
;

@@ -2044,6 +2045,10 @@ PICSName:
    'PICS'
;

PIXITName:
    'PIXIT'
;

When:
    'when'
;