Recovered missing files (2c08c9f8) · Commits · TTCN-3 Libraries / LibIts

BTP/LibItsBtp_TestSystem.ttcn

0 → 100644

+107 −0

Original line number	Diff line number	Diff line
		/**
		* @author ETSI / STF405
		* @version $URL: svn+ssh://vcs.etsi.org/TTCN3/LIB/LibIts/trunk/ttcn/LibIts_TestSystem.ttcn $
		* $Id: LibIts_TestSystem.ttcn 408 2012-02-28 13:49:56Z garciay $
		* @desc Test System module for ITS BTP
		*
		*/
		module LibItsBtp_TestSystem {

		// LibCommon
		import from LibCommon_Time {modulepar all};
		import from LibCommon_Sync all;

		// LibIts
		import from LibItsCommon_TestSystem all;
		import from LibItsBtp_TypesAndValues all;

		group portDefinitions {

		/**
		* @desc Upper Tester port
		*/
		type port UpperTesterPort message {
		out
		UtInitialize, UtTrigger, UtCheck;
		in
		UtResult;
		} // end UpperTesterPort

		} // end portDefinitions

		group interfacePorts {

		group networkAndTransportPorts {

		group nt1Ports {

		/**
		* @desc NT1 BTP Port (BTP/GeoNet/G5)
		*/
		type port BtpPort message {
		in BtpInd;
		out BtpReq;
		} // end BtpPort

		} // End of group nt1Ports

		} // End of group networkAndTransportPorts

		} // End of group interfacePorts

		group componentDefinitions {

		/**
		* @desc ITS System Adapter
		*/
		type component ItsBtpSystem {

		port UpperTesterPort utPort;

		// NT1 ports
		port BtpPort btpPort;

		} // end component ItsAdapter

		} // End of group componentDefinitions

		/**
		* @desc Test component for ITS Network and Transport layer
		*/
		type component ItsBtp extends ItsBaseComponent {

		port UpperTesterPort utPort;

		// NT1 ports
		port BtpPort btpPort;

		// timers

		} // End of component ItsBtp

		group networkAndTransportPrimitives {

		group nt1Primitives {

		/**
		* @desc NT1 BTP Indication Primitive
		*/
		type record BtpInd {
		BtpPacket msgIn
		}

		/**
		* @desc NT1 BTP Request Primitive
		*/
		type record BtpReq {
		BtpPacket msgOut
		}

		} // end nt1Primitives

		} // End of group networkAndTransportPrimitives
		with {
		encode "LibIts_Interface"
		} // end interfacePrimitives

		} // End of module LibItsBtp_TestSystem

CAM/LibItsCam_TestSystem.ttcn

0 → 100644

+125 −0

Original line number	Diff line number	Diff line
		/**
		* @author ETSI / STF405
		* @version $URL: svn+ssh://vcs.etsi.org/TTCN3/LIB/LibIts/trunk/ttcn/LibIts_TestSystem.ttcn $
		* $Id: LibIts_TestSystem.ttcn 408 2012-02-28 13:49:56Z garciay $
		* @desc Test System module for ITS CAM
		*
		*/
		module LibItsCam_TestSystem {

		// LibCommon
		import from LibCommon_Time {modulepar all};
		import from LibCommon_Sync all;

		// LibIts
		import from LibItsCommon_TestSystem all;
		import from LibItsCam_TypesAndValues all;

		import from CAM_PDU_Descriptions language "ASN.1:1997" all;
		import from DENM_PDU_Descriptions language "ASN.1:1997" all;

		group portDefinitions {

		/**
		* @desc Upper Tester port
		*/
		type port UpperTesterPort message {
		out
		UtInitialize, UtTrigger, UtCheck;
		in
		UtResult;
		} // end UpperTesterPort

		} // end portDefinitions

		group interfacePorts {

		group facilityPorts {

		group fa1Ports {

		/**
		* @desc FA1 CAM Port (CAM/BTP/GeoNet/G5)
		*/
		type port CamPort message {
		in CamInd;
		out CamReq;
		} // End of port CamPort

		} // end fa1Ports

		} // End of group facilityPorts

		} // End of group interfacePorts

		group componentDefinitions {

		/**
		* @desc ITS System Adapter
		*/
		type component ItsCamSystem {

		port UpperTesterPort utPort;

		// FA1 ports
		port CamPort camPort;

		} // end component ItsAdapter

		} // End of group componentDefinitions

		/**
		* @desc Test component for ITS Facility layer
		*/
		type component ItsCam extends ItsBaseComponent {

		port UpperTesterPort utPort;

		// FA1 ports
		port CamPort camPort;
		//timers

		//component variables
		var CamInd vc_camMsg;

		//default
		var default vc_default := null;

		//global variables
		var SequenceNo vc_sequenceNo := 0;
		var boolean vc_camReceived := false;

		} // End of component ItsCam

		group facilityPrimitives {

		group fa1Primitives {

		/**
		* @desc FA1 CAM Indication Primitive
		*/
		type record CamInd {
		CamPdu msgIn
		}
		with {
		encode (msgIn) "LibItsCam_asn1"
		}

		/**
		* @desc FA1 CAM Request Primitive
		*/
		type record CamReq {
		CamPdu msgOut
		}
		with {
		encode (msgOut) "LibItsCam_asn1"
		}

		} // end fa1Primitives

		} // End of group facilityPrimitives
		with {
		encode "LibIts_Interface"
		} // end interfacePrimitives

		} // End of module LibIts_TestSystem

DENM/LibItsDenm_TestSystem.ttcn

0 → 100644

+129 −0

Original line number	Diff line number	Diff line
		/**
		* @author ETSI / STF405
		* @version $URL: svn+ssh://vcs.etsi.org/TTCN3/LIB/LibIts/trunk/ttcn/LibIts_TestSystem.ttcn $
		* $Id: LibIts_TestSystem.ttcn 408 2012-02-28 13:49:56Z garciay $
		* @desc Test System module for ITS DENM
		*
		*/
		module LibItsDenm_TestSystem {

		// LibCommon
		import from LibCommon_Time {modulepar all};
		import from LibCommon_Sync all;

		// LibIts
		import from LibItsCommon_TestSystem all;
		import from LibItsDenm_TypesAndValues all;

		import from CAM_PDU_Descriptions language "ASN.1:1997" all;
		import from DENM_PDU_Descriptions language "ASN.1:1997" all;

		group portDefinitions {

		/**
		* @desc Upper Tester port
		*/
		type port UpperTesterPort message {
		out
		UtInitialize, UtTrigger, UtCheck;
		in
		UtResult;
		} // end UpperTesterPort

		} // end portDefinitions
		group interfacePorts {

		group facilityPorts {

		group fa1Ports {

		/**
		* @desc FA1 DENM Port (DENM/BTP/GeoNet/G5)
		*/
		type port DenmPort message {
		in DenmInd;
		out DenmReq;
		} // End of port DenmPort

		} // End of group fa1Ports

		} // End of group facilityPorts

		} // End of group interfacePorts

		group componentDefinitions {

		/**
		* @desc ITS System Adapter
		*/
		type component ItsDenmSystem {

		port UpperTesterPort utPort;

		// FA1 ports
		port DenmPort denmPort;

		} // end component ItsAdapter

		} // End of group componentDefinitions

		/**
		* @desc Test component for ITS Facility layer
		*/
		type component ItsDenm extends ItsBaseComponent {

		port UpperTesterPort utPort;

		// FA1 ports
		port DenmPort denmPort;

		//timers

		//component variables

		//default
		var default vc_default := null;

		//global variables
		var SequenceNo vc_sequenceNo := 0;
		var boolean vc_denmReceived := false;

		} // End of component ItsDenm

		group facilityPrimitives {

		group fa1Primitives {

		/**
		* @desc FA1 DENM Indication Primitive
		*
		* @member denmMsg
		*/
		type record DenmInd {
		DenmPdu msgIn,
		TimeStamp receptionTime
		}
		with {
		encode (msgIn) "LibItsDenm_asn1"
		}

		/**
		* @desc FA1 DENM Request Primitive
		*
		* @member denmMsg
		*/
		type record DenmReq {
		DenmPdu msgOut
		}
		with {
		encode (msgOut) "LibItsDenm_asn1"
		}

		} // End of group fa1Primitives

		} // End of group facilityPrimitives
		with {
		encode "LibIts_Interface"
		} // end interfacePrimitives

		} // End of module LibItsDenm_TestSystem

GeoNetworking/LibItsGeoNetworking_TestSystem.ttcn

0 → 100644

+145 −0

Original line number	Diff line number	Diff line
		/**
		* @author ETSI / STF405
		* @version $URL: svn+ssh://vcs.etsi.org/TTCN3/LIB/LibIts/trunk/ttcn/LibIts_TestSystem.ttcn $
		* $Id: LibIts_TestSystem.ttcn 408 2012-02-28 13:49:56Z garciay $
		* @desc Test System module for ITS GeoNetworking
		*
		*/
		module LibItsGeoNetworking_TestSystem {

		// LibCommon
		import from LibCommon_Time {modulepar all};
		import from LibCommon_Sync all;
		import from LibCommon_BasicTypesAndValues {
		type UInt16
		};

		// LibIts
		import from LibItsCommon_TestSystem all;
		import from LibItsGeoNetworking_TypesAndValues all;
		import from LibItsIpv6OverGeoNetworking_TypesAndValues all;
		import from LibItsExternal_TypesAndValues all;

		group portDefinitions {

		/**
		* @desc Adapter control port
		*/
		type port AdapterControlPort message {
		out
		AcGnPrimitive, AcGn6Primitive;
		in
		AcGnResponse, AcGn6Response;
		} // end AdapterControlPort

		/**
		* @desc Upper Tester port
		*/
		type port UpperTesterPort message {
		out
		UtInitialize, UtTrigger, UtCheck;
		in
		UtResult;
		} // end UpperTesterPort

		} // end portDefinitions

		group interfacePorts {

		group networkAndTransportPorts {

		group nt2Ports {

		/**
		* @desc NT2 GeoNetworking Port (GeoNetworking/G5)
		*/
		type port GeoNetworkingPort message {
		in GeoNetworkingInd;
		out GeoNetworkingReq;
		} // end GeoNetworkingPort

		} // End of group nt2Ports

		} // End of group networkAndTransportPorts

		} // End of group interfacePorts

		group componentDefinitions {

		/**
		* @desc ITS Main Test Component
		*/
		type component ItsMtc extends ItsBaseMtc, ServerSyncComp {

		port UpperTesterPort utPort;
		port AdapterControlPort acPort;

		} // end ItsMtc

		/**
		* @desc ITS System Adapter
		*/
		type component ItsGeoNetworkingSystem {

		port UpperTesterPort utPort;
		port AdapterControlPort acPort;

		// NT2 ports
		port GeoNetworkingPort geoNetworkingPort;

		} // end ItsGeoNetworkingSystem

		} // End of group componentDefinitions

		type component ItsBaseGeoNetworking extends ItsBaseComponent {

		port UpperTesterPort utPort;
		port AdapterControlPort acPort;

		}

		/**
		* @desc Test component for ITS Network and Transport layer
		*/
		type component ItsGeoNetworking extends ItsBaseGeoNetworking {

		// NT2 ports
		port GeoNetworkingPort geoNetworkingPort;

		//variables for Gn
		var UInt16 vc_localSeqNumber := 0;
		var PositionTable vc_positionTable := {};
		var GeoAreaTable vc_areaTable := {};
		var charstring vc_componentName := "";
		var default vc_neighbourDefault;

		} // End of component ItsGeoNetworking

		group networkAndTransportPrimitives {

		group nt2Primitives {

		/**
		* @desc NT2 GeoNetworking Indication Primitive
		*/
		type record GeoNetworkingInd {
		GeoNetworkingPacket msgIn,
		MacAddress macDestinationAddress
		}

		/**
		* @desc NT2 GeoNetworking Request Primitive
		*/
		type record GeoNetworkingReq {
		GeoNetworkingPacket msgOut,
		MacAddress macDestinationAddress
		}

		} // end nt2Primitives

		} // End of group networkAndTransportPrimitives
		with {
		encode "LibIts_Interface"
		} // end interfacePrimitives

		} // End of module LibItsGeoNetworking_TestSystem

Ipv6OverGeoNetworking/LibItsIpv6OverGeoNetworking_TestSystem.ttcn

0 → 100644

+101 −0

Original line number	Diff line number	Diff line
		/**
		* @author ETSI / STF405
		* @version $URL: svn+ssh://vcs.etsi.org/TTCN3/LIB/LibIts/trunk/ttcn/LibIts_TestSystem.ttcn $
		* $Id: LibIts_TestSystem.ttcn 408 2012-02-28 13:49:56Z garciay $
		* @desc Test System module for ITS Ipv6OverGeoNetworking
		*
		*/
		module LibItsIpv6OverGeoNetworking_TestSystem {

		// LibCommon
		import from LibCommon_Time {modulepar all};
		import from LibCommon_Sync all;

		// LibIts
		import from LibItsGeoNetworking_TestSystem all;
		import from LibItsIpv6OverGeoNetworking_TypesAndValues all;
		import from LibItsExternal_TypesAndValues all;

		group componentDefinitions {

		/**
		* @desc ITS System Adapter
		*/
		type component ItsIpv6OverGeoNetworkingSystem extends ItsGeoNetworkingSystem {

		// NT2 ports
		port IPv6OverGeoNetworkingPort ipv6OverGeoNetworkingPort;

		} // end component ItsAdapter

		} // End of group componentDefinitions

		group interfacePorts {

		group networkAndTransportPorts {

		group nt2Ports {

		/**
		* @desc NT2 IPv6 over GeoNetworking Port (IPv6/GeoNetworking/G5)
		*/
		type port IPv6OverGeoNetworkingPort message {
		in IPv6OverGeoNetworkingInd;
		out IPv6OverGeoNetworkingReq;
		} // end IPv6OverGeoNetworkingPort

		} // End of group nt2Ports

		} // End of group networkAndTransportPorts

		} // End of group interfacePorts

		/**
		* @desc Test component for ITS Network and Transport layer
		*/
		type component ItsIpv6OverGeoNetworking extends ItsGeoNetworking {

		// NT2 ports
		port IPv6OverGeoNetworkingPort ipv6OverGeoNetworkingPort;

		// timers

		//variables for Gn6
		var GvlTable vc_gvlTable := {};
		var AddressTable vc_addressTable := {};


		} // End of component Ipv6OverGeoNetworking

		group networkAndTransportPrimitives {

		group nt2Primitives {

		/**
		* @desc NT2 IPv6 over GeoNetworking Indication Primitive
		*/
		type record IPv6OverGeoNetworkingInd {
		charstring interface,
		MacAddress macSourceAddress,
		MacAddress macDestinationAddress,
		Ipv6Packet ipv6Packet
		}

		/**
		* @desc NT2 IPv6 over GeoNetworking Request Primitive
		*/
		type record IPv6OverGeoNetworkingReq {
		charstring interface,
		MacAddress macSourceAddress,
		MacAddress macDestinationAddress,
		Ipv6Packet ipv6Packet
		}

		} // end nt2Primitives

		} // End of group networkAndTransportPrimitives
		with {
		encode "LibIts_Interface"
		} // end interfacePrimitives

		} // End of module LibItsIpv6OverGeoNetworking_TestSystem

Admin message