Commit ddeac377 authored by berge's avatar berge
Browse files

Fixed naming conventions and coding style issues

parent c10c5dcf
Loading
Loading
Loading
Loading
+4 −4
Original line number Diff line number Diff line
@@ -22,15 +22,15 @@ module LibItsCam_Functions {
	altstep a_basicDefault() runs on ItsFa {

        [] camPort.receive(mw_camInd ( mw_camMsg_any )){ 
			setverdict(fail, "**** a_basicDefault: CAM message received in default ****");
			setverdict(fail, "*** a_basicDefault: FAIL: CAM message received in default ***");
			stop;
		}
		[] camPort.receive {
			setverdict(fail, "**** a_basicDefault: event received on CAM port in default ****");
			setverdict(fail, "*** a_basicDefault: FAIL: event received on CAM port in default ***");
			stop;
		}
       [] any timer.timeout { 
			setverdict(fail, "**** a_basicDefault: atimer expired in default ****");
			setverdict(fail, "*** a_basicDefault: FAIL: a timer expired in default ***");
			stop;
		}
	}//end altstep a_basicDefault
+2 −2
Original line number Diff line number Diff line
@@ -12,9 +12,9 @@ module LibItsCam_Templates {
	import from ASNAUX all; 
    
    
	template CamInd mw_camInd (in template CoopAwareness camMsg) := { msgIn := camMsg };
	template CamInd mw_camInd (in template CoopAwareness p_camMsg) := { msgIn := p_camMsg };

	template CamReq mw_camReq (in template CoopAwareness camMsg) := { msgOut := camMsg };
	template CamReq m_camReq (in template CoopAwareness p_camMsg) := { msgOut := p_camMsg };
	    
	template CoopAwareness mw_camMsg_any := {
		protocolVersion :=?,