Commit b7438029 authored by pintar's avatar pintar
Browse files

constants changed into PIXIT parameters

parent b6ed4c74

LibIot/LibIot_TestInterface.ttcn

+6 −5
Original line number Diff line number Diff line
@@ -7,6 +7,7 @@ 


module LibIot_TestInterface {



	import from LibIot_PICS all;

	import from LibIot_TypesAndValues {

		const all;

		type ComponentIdList, DefaultList;
@@ -22,9 +23,9 @@ module LibIot_TestInterface { 
	* @desc 	interfaces to the SUT 

	*/	

	type component SystemInterface {

		port MonitorPort mPort[c_NUM_OF_MONITORS];

		port DeviceControllPort dcPort[c_NUM_OF_DEVICES];

		port TriggerPort tPort[c_NUM_OF_TRIGGER_POINTS];

		port MonitorPort mPort[PX_NUM_OF_MONITORS];

		port DeviceControllPort dcPort[PX_NUM_OF_DEVICES];

		port TriggerPort tPort[PX_NUM_OF_TRIGGER_POINTS];

	}

	

	group abstractTestComponents {
@@ -44,8 +45,8 @@ module LibIot_TestInterface { 
		*     Can be used as MTC.

		*/				

		type component TestOracle extends ServerSyncComp {

			port VerdictPort vPort[c_NUM_OF_MONITORS];

			var DefaultList vc_monitorDefaults[c_NUM_OF_MONITORS];

			port VerdictPort vPort[PX_NUM_OF_MONITORS];

			var DefaultList vc_monitorDefaults[PX_NUM_OF_MONITORS];

		}

    	

		/**