Standard.tdltx

Package Standard {
	//TODO: extract to standard library
	Constraint length
	Constraint minLength
	Constraint maxLength
	Constraint range
	Constraint format
	Constraint union
	Constraint uniontype
	
	Type Boolean
	Type Integer
	Type String
	Type Verdict
	
	//TODO: these do not work at present -> literal values take precedence?
//	Boolean true
//	Boolean false
	Boolean True
	Boolean False
	
	Verdict pass
	Verdict fail
	Verdict inconclusive
	
	Time second
	
	Annotation Master
	Annotation MappingName

  //standard annotations for STO
  Annotation Initial conditions
  Annotation Expected behaviour
  Annotation Final conditions
  Annotation Test Purpose Description
  Annotation when
  Annotation then
  Annotation PICS
	
	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
	
}