Minor change. (4bf538c1) · Commits · TTCN-3 Libraries / LibIts

ttcn/CAM/LibItsCam_Functions.ttcn

+7 −7

Original line number	Original line	Diff line number	Diff line
	@@ -58,13 +58,13 @@ module LibItsCam_Functions {
	altstep a_basicDefault() runs on ItsFa {		altstep a_basicDefault() runs on ItsFa {

	[] camPort.receive(mw_camInd ( mw_camMsg_any )){		[] camPort.receive(mw_camInd ( mw_camMsg_any )){
	f_selfOrClientSyncAndVerdict("error", e_error, "* a_basicDefault: FAIL: CAM message received in default *");		f_selfOrClientSyncAndVerdict("error", e_error, "* a_basicDefault: CAM message received in default *");
	}		}
	[] camPort.receive {		[] camPort.receive {
	f_selfOrClientSyncAndVerdict("error", e_error, "* a_basicDefault: FAIL: event received on CAM port in default *");		f_selfOrClientSyncAndVerdict("error", e_error, "* a_basicDefault: event received on CAM port in default *");
	}		}
	[] any timer.timeout {		[] any timer.timeout {
	f_selfOrClientSyncAndVerdict("error", e_timeout, "* a_basicDefault: FAIL: a timer expired in default *");		f_selfOrClientSyncAndVerdict("error", e_timeout, "* a_basicDefault: a timer expired in default *");
	}		}
	}//end altstep a_basicDefault		}//end altstep a_basicDefault

	@@ -139,11 +139,11 @@ module LibItsCam_Functions {
	log("* f_utInitializeIut: PASS: IUT initialized *");		log("* f_utInitializeIut: PASS: IUT initialized *");
	}		}
	[] utPort.receive {		[] utPort.receive {
	f_selfOrClientSyncAndVerdict("error", e_error, "* f_utInitializeIut: INCONC: IUT could not be initialized *");		f_selfOrClientSyncAndVerdict("error", e_error, "* f_utInitializeIut: IUT could not be initialized *");
	stop;		stop;
	}		}
	[] tc_ac.timeout {		[] tc_ac.timeout {
	f_selfOrClientSyncAndVerdict("error", e_timeout, "* f_utInitializeIut: INCONC: IUT could not be initialized in time *");		f_selfOrClientSyncAndVerdict("error", e_timeout, "* f_utInitializeIut: IUT could not be initialized in time *");
	stop;		stop;
	}		}
	}		}
	@@ -179,11 +179,11 @@ module LibItsCam_Functions {
	v_ret := e_success;		v_ret := e_success;
	}		}
	[] utPort.receive {		[] utPort.receive {
	f_selfOrClientSyncAndVerdict("error", e_error, "* f_utCheckEvent: FAIL: Event not correctly indicated at application layer *");		f_selfOrClientSyncAndVerdict("error", e_error, "* f_utCheckEvent: Event not correctly indicated at application layer *");
	v_ret := e_error;		v_ret := e_error;
	}		}
	[] tc_ac.timeout {		[] tc_ac.timeout {
	f_selfOrClientSyncAndVerdict("error", e_timeout, "* f_utCheckEvent: INCONC: Timeout while waiting for event check result *");		f_selfOrClientSyncAndVerdict("error", e_timeout, "* f_utCheckEvent: Timeout while waiting for event check result *");
	v_ret := e_timeout;		v_ret := e_timeout;
	}		}
	}		}

Admin message