Commit d1bf2eed authored by Martti Käärik's avatar Martti Käärik
Browse files

Added missing annotation.

parent a8faa056
Loading
Loading
Loading
Loading
Loading
+7 −3
Original line number Diff line number Diff line
Package Tdl {
	//TODO: extract to standard library
@Version: "1.8.1"
Package TDL {

	Constraint length
	Constraint minLength
	Constraint maxLength
@@ -13,7 +14,6 @@ Package Tdl {
	Type String
	Type Verdict
	
	//TODO: these do not work at present -> literal values take precedence?
	Boolean ^true
	Boolean ^false
	Boolean True
@@ -27,6 +27,10 @@ Package Tdl {
	
	Annotation Master
	Annotation MappingName
	Annotation Version
	Annotation check
	Annotation where
	Annotation PICS

    //standard annotations for STO
    Annotation Initial conditions
+3 −4
Original line number Diff line number Diff line
@Version: "1.8.1"
Package TDL {
	//TODO: extract to standard library
	Constraint length
	Constraint minLength
	Constraint maxLength
@@ -14,9 +13,8 @@ Package TDL {
	Type String
	Type Verdict
	
	//TODO: these do not work at present -> literal values take precedence?
//	Boolean true
//	Boolean false
	Boolean ^true
	Boolean ^false
	Boolean True
	Boolean False
	
@@ -31,6 +29,7 @@ Package TDL {
	Annotation Version
	Annotation check
	Annotation where
	Annotation PICS

    //standard annotations for STO
    Annotation Initial conditions