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

comprehensive tests for grammar

parent bc5dc3c8
Loading
Loading
Loading
Loading
+47 −0
Original line number Diff line number Diff line
Package: TDL
  Annotation
  ConstraintType: length
  ConstraintType: minLength
  ConstraintType: maxLength
  ConstraintType: range
  ConstraintType: format
  ConstraintType: union
  ConstraintType: uniontype
  SimpleDataType: Boolean
  SimpleDataType: Integer
  SimpleDataType: String
  SimpleDataType: Verdict
  SimpleDataInstance: True
  SimpleDataInstance: False
  SimpleDataInstance: pass
  SimpleDataInstance: fail
  SimpleDataInstance: inconclusive
  Time: second
  AnnotationType: Master
  AnnotationType: MappingName
  AnnotationType: Version
  AnnotationType: check
  AnnotationType: where
  AnnotationType: PICS
  AnnotationType: Initial conditions
  AnnotationType: Expected behaviour
  AnnotationType: Final conditions
  AnnotationType: Test Purpose Description
  AnnotationType: when
  AnnotationType: then
  PredefinedFunction: ==
  PredefinedFunction: !=
  PredefinedFunction: and
  PredefinedFunction: or
  PredefinedFunction: xor
  PredefinedFunction: not
  PredefinedFunction: <
  PredefinedFunction: >
  PredefinedFunction: <=
  PredefinedFunction: >=
  PredefinedFunction: +
  PredefinedFunction: -
  PredefinedFunction: *
  PredefinedFunction: /
  PredefinedFunction: mod
  PredefinedFunction: size
+57 −0
Original line number Diff line number Diff line
@Version: "1.8.1"
Package TDL {
	Constraint length
	Constraint minLength
	Constraint maxLength
	Constraint range
	Constraint format
	Constraint union
	Constraint uniontype
	
	Type Boolean
	Type Integer
	Type String
	Type Verdict
	
	Boolean True
	Boolean False
	
	Verdict pass
	Verdict fail
	Verdict inconclusive
	
	Time second
	
	Annotation Master
	Annotation MappingName
	Annotation Version
	Annotation check
	Annotation where
	Annotation PICS

    //standard annotations for STO
    Annotation Initial conditions
    Annotation Expected behaviour
    Annotation Final conditions
    Annotation Test Purpose Description
    Annotation when
    Annotation then
	
	Predefined == returns Boolean
	Predefined != returns Boolean
	Predefined and returns Boolean
	Predefined or returns Boolean
	Predefined xor returns Boolean
	Predefined not returns Boolean
	Predefined < returns Boolean
	Predefined > returns Boolean
	Predefined <= returns Boolean
	Predefined >= returns Boolean
	Predefined +
	Predefined -
	Predefined *
	Predefined /
	Predefined mod
	Predefined size returns Integer
	
}
 No newline at end of file
+1 −0
Original line number Diff line number Diff line
Package: testP
  SimpleDataType: Dummy
  ElementImport
+1 −0
Original line number Diff line number Diff line
Package testP { 
    Import all from TDL
    Type Dummy
}
 No newline at end of file
+3 −0
Original line number Diff line number Diff line
@@ -18,5 +18,8 @@ Package: testP
          ConditionalBehaviour
            Block
              Stop
              LocalExpression
                DataElementUse
            Block
              Stop
  ElementImport
Loading