initial commit of the TDL-TO Test Purposes

Package NGAP_Common {

	Import all from TDL

	// Configurations

	Entity UE

	Entity GNB

	Entity AMF

	Entity IUT

    Type NgapMessage

	Message Gate Ngap_Port accepts NgapMessage

    Component node {

		gate Ngap_Port g

	}

    Configuration CF_AMF_N2 {

		node GNB as Tester,

		node IUT as SUT,

		connect GNB::g to IUT::g

	}

	Configuration CF_GNB_N2 {

		node AMF as Tester,

		node IUT as SUT,

		connect AMF::g to IUT::g

	}

	// Common events

	Event send

	Event sends

	Event receives

	Event accepts

	Event aborts

	//TP_AMF NGAP events

	Event isInCM_CONNECTED

	Event hasActiveUeNgapContext

	Event hasNoPduSessionResourceEstablishedForTheConcernedPduSessionId

	Event hasSentPDU_SESSION_RESOURCE_SETUP_REQUEST

	Event hasEstablishedPduSessionResourceForTheConcernedPduSessionId

	Event hasSentPDU_SESSION_RESOURCE_RELEASE_COMMAND

	Event isNotRegisteredToAMF

	Event hasEstablishedInitialContext

	Event hasEstablished_NG_C_AssociationToAMF

	Event hasNotEstablished_NG_C_AssociationToAMF

	Event hasEstablishedTNL_AssociationToAMF

	Event isRegisteredToAMF

	Event initiatesPduSessionResourceModificationToAddQoSFlow

	Event processTheUENasDeregistration

	//TP_GNB NGAP events

	Event isRegisteredToAMF

	Event havingSentPDUSessionEstablishment

	Event hasEstablishedPDUsession

	Event hasEstablished_NG_C_AssociationToAMF

	Event u_Plane_inactivity_timer_expires

	Event hasSuccessfullyEstablishedTNLconnection

	// NGAP messages

	//Table 8.1-1     

	NgapMessage AMF_CONFIGURATION_UPDATE

	NgapMessage AMF_CONFIGURATION_UPDATE_ACKNOWLEDGE

	NgapMessage AMF_CONFIGURATION_UPDATE_FAILURE

	NgapMessage RAN_CONFIGURATION_UPDATE

	NgapMessage RAN_CONFIGURATION_UPDATE_ACKNOWLEDGE

	NgapMessage RAN_CONFIGURATION_UPDATE_FAILURE

	NgapMessage HANDOVER_CANCEL

	NgapMessage HANDOVER_CANCEL_ACKNOWLEDGE

	NgapMessage HANDOVER_REQUIRED

	NgapMessage HANDOVER_COMMAND

	NgapMessage HANDOVER_PREPARATION_FAILURE

	NgapMessage HANDOVER_REQUEST 

	NgapMessage HANDOVER_REQUEST_ACKNOWLEDGE

	NgapMessage HANDOVER_FAILURE

	NgapMessage INITIAL_CONTEXT_SETUP_REQUEST

	NgapMessage INITIAL_CONTEXT_SETUP_RESPONSE

	NgapMessage INITIAL_CONTEXT_SETUP_FAILURE

	NgapMessage NG_RESET

	NgapMessage NG_RESET_ACKNOWLEDGE

	NgapMessage NG_SETUP_REQUEST

	NgapMessage NG_SETUP_RESPONSE 

	NgapMessage NG_SETUP_FAILURE

	NgapMessage PATH_SWITCH_REQUEST

	NgapMessage PATH_SWITCH_REQUEST_ACKNOWLEDGE

	NgapMessage PATH_SWITCH_REQUEST_FAILURE

	NgapMessage PDU_SESSION_RESOURCE_MODIFY_REQUEST

	NgapMessage PDU_SESSION_RESOURCE_MODIFY_RESPONSE

	NgapMessage PDU_SESSION_RESOURCE_MODIFY_INDICATION

	NgapMessage PDU_SESSION_RESOURCE_MODIFY_CONFIRM

	NgapMessage PDU_SESSION_RESOURCE_RELEASE_COMMAND

	NgapMessage PDU_SESSION_RESOURCE_RELEASE_RESPONSE

	NgapMessage PDU_SESSION_RESOURCE_SETUP_REQUEST

	NgapMessage PDU_SESSION_RESOURCE_SETUP_RESPONSE

	NgapMessage UE_CONTEXT_MODIFICATION_REQUEST

	NgapMessage UE_CONTEXT_MODIFICATION_RESPONSE

	NgapMessage UE_CONTEXT_MODIFICATION_FAILURE

	NgapMessage UE_CONTEXT_RELEASE_COMMAND

	NgapMessage UE_CONTEXT_RELEASE_COMPLETE

	NgapMessage WRITE_REPLACE_WARNING_REQUEST

	NgapMessage WRITE_REPLACE_WARNING_RESPONSE

	NgapMessage PWS_CANCEL_REQUEST

	NgapMessage PWS_CANCEL_RESPONSE

	NgapMessage UE_RADIO_CAPABILITY_CHECK_REQUEST

	NgapMessage UE_RADIO_CAPABILITY_CHECK_RESPONSE

	NgapMessage UE_CONTEXT_SUSPEND_REQUEST

	NgapMessage UE_CONTEXT_SUSPEND_RESPONSE

	NgapMessage UE_CONTEXT_SUSPEND_FAILURE

	NgapMessage UE_CONTEXT_RESUME_REQUEST

	NgapMessage UE_CONTEXT_RESUME_RESPONSE

	NgapMessage UE_CONTEXT_RESUME_FAILURE

	NgapMessage UE_RADIO_CAPABILITY_ID_MAPPING_REQUEST

	NgapMessage UE_RADIO_CAPABILITY_ID_MAPPING_RESPONSE

	//Table 8.1-2

	NgapMessage DOWNLINK_RAN_CONFIGURATION_TRANSFER

	NgapMessage DOWNLINK_RAN_STATUS_TRANSFER

	NgapMessage DOWNLINK_NAS_TRANSPORT

	NgapMessage ERROR_INDICATION

	NgapMessage UPLINK_RAN_CONFIGURATION_TRANSFER

	NgapMessage UPLINK_RAN_STATUS_TRANSFER

	NgapMessage HANDOVER_NOTIFY

	NgapMessage INITIAL_UE_MESSAGE

	NgapMessage NAS_NON_DELIVERY_INDICATION

	NgapMessage PAGING

	NgapMessage PDU_SESSION_RESOURCE_NOTIFY

	NgapMessage REROUTE_NAS_REQUEST

	NgapMessage UE_CONTEXT_RELEASE_REQUEST

	NgapMessage UPLINK_NAS_TRANSPORT

	NgapMessage AMF_STATUS_INDICATION

	NgapMessage PWS_RESTART_INDICATION

	NgapMessage PWS_FAILURE_INDICATION

	NgapMessage DOWNLINK_UE_ASSOCIATED_NRPPA_TRANSPORT

	NgapMessage UPLINK_UE_ASSOCIATED_NRPPA_TRANSPORT

	NgapMessage DOWNLINK_NON_UE_ASSOCIATED_NRPPA_TRANSPORT

	NgapMessage UPLINK_NON_UE_ASSOCIATED_NRPPA_TRANSPORT

	NgapMessage TRACE_START

	NgapMessage TRACE_FAILURE_INDICATION

	NgapMessage DEACTIVATE_TRACE

	NgapMessage CELL_TRAFFIC_TRACE

	NgapMessage LOCATION_REPORTING_CONTROL

	NgapMessage LOCATION_REPORTING_FAILURE_INDICATION

	NgapMessage LOCATION_REPORT

	NgapMessage UE_TNLA_BINDING_RELEASE_REQUEST

	NgapMessage UE_RADIO_CAPABILITY_INFO_INDICATION

	NgapMessage RRC_INACTIVE_TRANSITION_REPORT

	NgapMessage OVERLOAD_START

	NgapMessage OVERLOAD_STOP

	NgapMessage SECONDARY_RAT_DATA_USAGE_REPORT

	NgapMessage UPLINK_RIM_INFORMATION_TRANSFER

	NgapMessage DOWNLINK_RIM_INFORMATION_TRANSFER

	NgapMessage RETRIEVE_UE_INFORMATION

	NgapMessage UE_INFORMATION_TRANSFER

	NgapMessage RAN_CP_RELOCATION_INDICATION

	NgapMessage CONNECTION_ESTABLISHMENT_INDICATION

	NgapMessage AMF_CP_RELOCATION_INDICATION

	NgapMessage HANDOVER_SUCCESS

	NgapMessage UPLINK_RAN_EARLY_STATUS_TRANSFER

	NgapMessage DOWNLINK_RAN_EARLY_STATUS_TRANSFER

	NgapMessage SECURITY_MODE_COMPLETE

	NgapMessage SECURITY_MODE_REJECT

	// PICS

	PICS PICS_A2_1		//NG RAN

    PICS PICS_A2_1_1	//gNB

    PICS PICS_A2_1_2	//ng-eNB

    PICS PICS_A2_2		//AMF

    PICS PICS_A3_1_1	//gNB - PDU session management procedure - PDU SESSION RESOURCE SETUP REQUEST 

    PICS PICS_A3_1_2	//gNB - PDU session management procedure - PDU SESSION RESOURCE RELEASE COMMAND

    PICS PICS_A3_1_3	//gNB - PDU session management procedure - PDU SESSION RESOURCE MODIFY REQUEST 

    PICS PICS_A3_1_4	//gNB - PDU session management procedure - PDU SESSION RESOURCE MODIFY NOTIFY 

    PICS PICS_A3_1_5	//gNB - PDU session management procedure - PDU SESSION RESOURCE MODIFY INDICATION

    PICS PICS_A3_2_1	//gnB - UE Context Management Procedures - INITIAL CONTEXT SETUP REQUEST

    PICS PICS_A3_2_2	//gnB - UE Context Management Procedures - UE CONTEXT RELEASE REQUEST

    PICS PICS_A3_2_3	//gnB - UE Context Management Procedures - UE CONTEXT RELEASE COMMAND

    PICS PICS_A3_2_4	//gnB - UE Context Management Procedures - UE CONTEXT MODIFICATION REQUEST

    PICS PICS_A3_2_5	//gnB - UE Context Management Procedures - RRC INACTIVE TRANSITION REPORT

    PICS PICS_A3_2_8	//gnB - UE Context Management Procedures - RAN CP Relocation Indication

    PICS PICS_A3_2_11	//gnB - UE Context Management Procedures - UE CONTEXT SUSPEND REQUEST

    PICS PICS_A3_2_12	//gnB - UE Context Management Procedures - UE CONTEXT RESUME REQUEST

    PICS PICS_A3_3_1	//gnB - UE Mobility Management Procedures - HANDOVER REQUIRED

    PICS PICS_A3_3_2	//gnB - UE Mobility Management Procedures - HANDOVER REQUEST

    PICS PICS_A3_3_3	//gnB - UE Mobility Management Procedures - HANDOVER NOTIFY

    PICS PICS_A3_3_4	//gnB - UE Mobility Management Procedures - PATH SWITCH REQUEST

    PICS PICS_A3_3_5	//gnB - UE Mobility Management Procedures - HANDOVER CANCEL

    PICS PICS_A3_3_6	//gnB - UE Mobility Management Procedures - UPLINK RAN STATUS TRANSFER

    PICS PICS_A3_3_8	//gnB - UE Mobility Management Procedures - HANDOVER SUCCESS

    PICS PICS_A3_3_9	//gnB - UE Mobility Management Procedures - UPLINK RAN EARLY STATUS TRANSFER

    PICS PICS_A3_5_1	//gNB - Transport of NAS Messages Procedures - INITIAL UE MESSAGE

    PICS PICS_A3_5_3	//gNB - Transport of NAS Messages Procedures - UPLINK NAS TRANSPORT

    PICS PICS_A3_5_4	//gNB - Transport of NAS Messages Procedures -  NAS NON DELIVERY INDICATION

    PICS PICS_A3_6_1	//gNB - Interface Management Procedures - NG SETUP REQUEST

    PICS PICS_A3_6_2	//gNB - Interface Management Procedures - RAN CONFIGURATION UPDATE

    PICS PICS_A3_6_3	//gNB - Interface Management Procedures - AMF CONFIGURATION UPDATE

    PICS PICS_A3_6_4	//gNB - Interface Management Procedures - NG RESET

    PICS PICS_A3_6_5	//gNB - Interface Management Procedures - ERROR INDICATION

    PICS PICS_A3_7_1	//gNB - Configuration Transfer Procedures -  UPLINK RAN CONFIGURATION TRANSFER

    PICS PICS_A3_8_1	//gNB - Warning Message Transmission procedure - WRITE-REPLACE WARNING REQUEST

    PICS PICS_A3_8_2	//gNB - Warning Message Transmission procedure - PWS CANCEL REQUEST

    PICS PICS_A3_8_3	//gNB - Warning Message Transmission procedure - PWS RESTART INDICATION

    PICS PICS_A3_8_4	//gNB - Warning Message Transmission procedure - PWS FAILURE INDICATION

    PICS PICS_A3_9_1	//gNB - NRPPa Transport procedure - DOWNLINK UE ASSOCIATED NRPPA TRANSPORT messages

    PICS PICS_A3_9_2	//gNB - NRPPa Transport procedure - UPLINK UE ASSOCIATED NRPPA TRANSPORT messages

    PICS PICS_A3_9_3	//gNB - NRPPa Transport procedure - DOWNLINK NON UE ASSOCIATED NRPPA TRANSPORT messages

    PICS PICS_A3_9_4	//gNB - NRPPa Transport procedure - UPLINK NON UE ASSOCIATED NRPPA TRANSPORT messages

    PICS PICS_A3_10_1	//gNB - Trace procedure - TRACE START messages

    PICS PICS_A3_10_2	//gNB - Trace procedure - TRACE FAILURE INDICATION messages

    PICS PICS_A3_10_3	//gNB - Trace procedure - DEACTIVATE TRACE messages

    PICS PICS_A3_10_4	//gNB - Trace procedure - CELL TRAFFIC TRACE messages

    PICS PICS_A3_11_1	//gNB - Location Reporting Procedures - LOCATION REPORTING CONTROL

    PICS PICS_A3_11_2	//gNB - Location Reporting Procedures - LOCATION REPORTING FAILURE INDICATION

    PICS PICS_A3_11_3	//gNB - Location Reporting Procedures - LOCATION REPORT

    PICS PICS_A3_12_1	//gNB - TNLA procedure - UE TNLA BINDING RELEASE REQUEST messages

    PICS PICS_A3_13_1	//gNB - UE Radio Capability Management procedure - UE RADIO CAPABILITY INFO INDICATION messages

    PICS PICS_A3_13_2	//gNB - UE Radio Capability Management procedure - UE RADIO CAPABILITY CHECK REQUEST messages

    PICS PICS_A3_13_3	//gNB - UE Radio Capability Management procedure - UE RADIO CAPABILITY ID MAPPING REQUEST messages

    PICS PICS_A3_14_1  //gNB - Data Usage Reporting Procedures - SECONDARY RAT DATA USAGE REPORT 

    PICS PICS_A3_15_1  //gNB - RIM information Transfer procedure - UPLINK RIM INFORMATION TRANSFER

    PICS PICS_A3_15_2  //gNB - RIM information Transfer procedure - DOWNLINK RIM INFORMATION TRANSFER

    PICS PICS_A4_1_1	//AMF - PDU session management procedure - PDU SESSION RESOURCE SETUP REQUEST 

    PICS PICS_A4_1_2	//AMF - PDU session management procedure - PDU SESSION RESOURCE RELEASE COMMAND

    PICS PICS_A4_1_3	//AMF - PDU session management procedure - PDU SESSION RESOURCE MODIFY REQUEST

    PICS PICS_A4_1_4	//AMF - PDU session management procedure - PDU SESSION RESOURCE MODIFY NOTIFY

    PICS PICS_A4_1_5	//AMF - PDU session management procedure - PDU SESSION RESOURCE MODIFY INDICATION

    PICS PICS_A4_2_1	//AMF - UE Context Management Procedures - INITIAL CONTEXT SETUP REQUEST

    PICS PICS_A4_2_3	//AMF - UE Context Management Procedures - UE CONTEXT RELEASE COMMAND

    PICS PICS_A4_2_4	//AMF - UE Context Management Procedures - UE CONTEXT MODIFICATION REQUEST

    PICS PICS_A4_2_6	//AMF - UE Context Management Procedures - CONNECTION ESTABLISHMENT INDICATION

    PICS PICS_A4_2_7	//AMF - UE Context Management Procedures - AMF CP RELOCATION INDICATION

    PICS PICS_A4_2_9	//AMF - UE Context Management Procedures - RETRIEVE UE INFORMATION

    PICS PICS_A4_2_10	//AMF - UE Context Management Procedures - UE INFORMATION TRANSFER

    PICS PICS_A4_2_11	//AMF - UE Context Management Procedures - UE CONTEXT SUSPEND REQUEST

    PICS PICS_A4_2_12	//AMF - UE Context Management Procedures - UE CONTEXT RESUME REQUEST

    PICS PICS_A4_3_1	//AMF - UE Mobility Management Procedures - HANDOVER REQUIRED

    PICS PICS_A4_3_2	//AMF - UE Mobility Management Procedures - HANDOVER REQUEST

    PICS PICS_A4_3_4	//AMF - UE Mobility Management Procedures - PATH SWITCH REQUESTS

    PICS PICS_A4_3_5	//AMF - UE Mobility Management Procedures - HANDOVER CANCEL

    PICS PICS_A4_3_6	//AMF - UE Mobility Management Procedures - UPLINK RAN STATUS TRANSFER

    PICS PICS_A4_3_9	//AMF - UE Mobility Management Procedures - UPLINK RAN EARLY STATUS TRANSFER

    PICS PICS_A4_4_1	//AMF - Paging procedures - Paging

    PICS PICS_A4_5_2	//AMF - Transport of NAS Messages Procedures - DOWNLINK NAS TRANSPORT

    PICS PICS_A4_5_5	//AMF - Transport of NAS Messages Procedures - REROUTE NAS REQUEST

    PICS PICS_A4_6_1	//AMF - Interface Management Procedures - NG SETUP REQUEST

    PICS PICS_A4_6_1_1 //AMF - Rejection of an unacceptable NG SETUP REQUEST message with an NG SETUP FAILURE message

    PICS PICS_A4_6_1_2 //AMF - IAB

    PICS PICS_A4_6_2	//AMF - Interface Management Procedures - RAN CONFIGURATION UPDATE

    PICS PICS_A4_6_3	//AMF - Interface Management Procedures - AMF CONFIGURATION UPDATE

    PICS PICS_A4_6_4	//AMF - Interface Management Procedures - NG RESET

    PICS PICS_A4_6_5	//AMF - Interface Management Procedures - ERROR INDICATION

    PICS PICS_A4_6_6	//AMF - Interface Management Procedures - AMF STATUS INDICATION

    PICS PICS_A4_6_7	//AMF - Interface Management Procedures - OVERLOAD START

    PICS PICS_A4_6_8	//AMF - Interface Management Procedures - OVERLOAD STOP

    PICS PICS_A4_7_2	//AMF - Configuration Transfer Procedures - DOWNLINK RAN CONFIGURATION TRANSFER

    PICS PICS_A4_8_1	//AMF - Warning Message Transmission procedure - WRITE-REPLACE WARNING REQUEST

    PICS PICS_A4_8_2	//AMF - Warning Message Transmission procedure - PWS CANCEL REQUEST

    PICS PICS_A4_8_3	//AMF - Warning Message Transmission procedure - PWS RESTART INDICATION

    PICS PICS_A4_8_4	//AMF - Warning Message Transmission procedure - PWS FAILURE INDICATION

    PICS PICS_A4_9_1	//AMF - NRPPa Transport procedure - DOWNLINK UE ASSOCIATED NRPPA TRANSPORT messages

    PICS PICS_A4_9_2	//AMF - NRPPa Transport procedure - UPLINK UE ASSOCIATED NRPPA TRANSPORT messages

    PICS PICS_A4_9_3	//AMF - NRPPa Transport procedure - DOWNLINK NON UE ASSOCIATED NRPPA TRANSPORT messages

    PICS PICS_A4_9_4	//AMF - NRPPa Transport procedure - UPLINK NON UE ASSOCIATED NRPPA TRANSPORT messages

    PICS PICS_A4_10_1	//AMF - Trace procedure - TRACE START messages

    PICS PICS_A4_10_2	//AMF - Trace procedure - TRACE FAILURE INDICATION messages

    PICS PICS_A4_10_3	//AMF - Trace procedure - DEACTIVATE TRACE messages

    PICS PICS_A4_10_4	//AMF - Trace procedure - CELL TRAFFIC TRACE messages

    PICS PICS_A4_11_1	//AMF - Location Reporting Procedures - LOCATION REPORTING CONTROL

    PICS PICS_A4_11_2	//AMF - Location Reporting Procedures - LOCATION REPORTING FAILURE INDICATION

    PICS PICS_A4_11_3	//AMF - Location Reporting Procedures - LOCATION REPORT

    PICS PICS_A4_12_1	//AMF - TNLA procedure - UE TNLA BINDING RELEASE REQUEST messages

    PICS PICS_A4_13_1	//AMF - UE Radio Capability Management procedure - UE RADIO CAPABILITY INFO INDICATION messages

    PICS PICS_A4_13_2	//AMF - UE Radio Capability Management procedure - UE RADIO CAPABILITY CHECK REQUEST messages

    PICS PICS_A4_13_3	//AMF - UE Radio Capability Management procedure - UE RADIO CAPABILITY ID MAPPING REQUEST messages

    PICS PICS_A4_14_1  //AMF - Data Usage Reporting Procedures - SECONDARY RAT DATA USAGE REPORT 

    PICS PICS_A4_15_1  //AMF - RIM information Transfer procedure - UPLINK RIM INFORMATION TRANSFER

    PICS PICS_A4_15_2  //AMF - RIM information Transfer procedure - DOWNLINK RIM INFORMATION TRANSFER

    //PIXIT

    PIXIT NgapMessage PX_RAN_UE_NGAP_ID

	PIXIT NgapMessage PX_PDU_SessionId

	PIXIT NgapMessage PX_PLMN_Identity

	PIXIT NgapMessage PX_TAC

	PIXIT NgapMessage PX_SST

	PIXIT NgapMessage PX_SD

	PIXIT NgapMessage PX_QFI

	PIXIT NgapMessage PX_5QI

	PIXIT NgapMessage PX_Cause

	PIXIT NgapMessage PX_2nd_5QI

	PIXIT NgapMessage PX_N3_GNB_IP_ADDRESS

	PIXIT NgapMessage PX_N3_AMF_IP_ADDRESS

	PIXIT NgapMessage PX_QFI_Wrong

	PIXIT NgapMessage PX_AMF_Region_ID

	PIXIT NgapMessage PX_AMF_Set_ID

	PIXIT NgapMessage PX_AMF_Pointer_ID

	PIXIT NgapMessage PX_SST_Allowed

	PIXIT NgapMessage PX_SD_Allowed

	PIXIT NgapMessage PX_NR_Encryption_Algorithms

	PIXIT NgapMessage PX_NR_Integrity_Protection_Algorithms

	PIXIT NgapMessage PX_E_UTRA_Encryption_Algorithms

	PIXIT NgapMessage PX_E_UTRA_Integrity_Protection_Algorithms

	PIXIT NgapMessage PX_VA_Cause

	PIXIT NgapMessage PX_gNB_ID

	PIXIT NgapMessage PX_AMF_Name

	PIXIT NgapMessage PX_NOTSUPPORTED_PLMN_Identity

	PIXIT NgapMessage PX_RAN_NODE_NAME

	PIXIT NgapMessage PX_NID

	PIXIT NgapMessage PX_SST_EXTENDED

	PIXIT NgapMessage PX_SD_EXTENDED

	PIXIT NgapMessage PX_RAN_NODE_NAME_VISIBLE

	PIXIT NgapMessage PX_RAN_Node_Name

	PIXIT NgapMessage PX_Extended_RAN_Node_Name

	PIXIT NgapMessage PX_SST_NEW

	PIXIT NgapMessage PX_SD_NEW

	PIXIT NgapMessage PX_SST_UNSUPPORTED

	PIXIT NgapMessage PX_CAUSE

	PIXIT NgapMessage PX_AMF_UE_NGAP_ID

	PIXIT NgapMessage PX_N3_ENDPOINT_IP_ADDRESS

	PIXIT NgapMessage PX_GTP_TEID

	PIXIT NgapMessage PX_GNB_DEF_DRX

}

 No newline at end of file

@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

	Type Bitstring

	Boolean ^true

	Boolean ^false

	Boolean True

	Boolean False

	Verdict pass

	Verdict fail

	Verdict inconclusive

	Time second

	Annotation Master

	Annotation MappingName

	Annotation Version

	Annotation check

	Annotation where

	Annotation PICS

	Annotation PIXIT

    //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

}