Commit 29775c61 authored by berge's avatar berge
Browse files

Fixed some T3Q warnings

parent 3fd7acf6
Loading
Loading
Loading
Loading
+40 −40
Original line number Diff line number Diff line
@@ -94,7 +94,7 @@ group otherFunctions {
		var integer v_random := 0;
        v_random := float2int(int2float(p_upperbound - p_lowerbound +1)*rnd()) + p_lowerbound;
		//  Here, upperbound and lowerbound denote highest and lowest number in range.
		log("**** f_random: INFO: OK - random value = " & int2str(v_random) & " ****");
		log("*** f_random: INFO: OK - random value = " & int2str(v_random) & " ***");
        return v_random;

	} // end function f_random
@@ -113,7 +113,7 @@ group otherFunctions {
		var bitstring v_random := '00000000'B;
		
        v_random := '000000000000001'B << f_random (0, p_length);
		log("**** f_random: INFO: OK - random value = " & bit2str(v_random) & " ****");
		log("*** f_random: INFO: OK - random value = " & bit2str(v_random) & " ***");
        return v_random;

	} // end function f_random
@@ -133,7 +133,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_changeHeading: INFO: OK  ****");
		log("*** f_changeHeading: INFO: OK  ***");
            
        return v_ret;
        
@@ -150,7 +150,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_changePosition: INFO: OK  ****");
		log("*** f_changePosition: INFO: OK  ***");
            
        return v_ret;
        
@@ -167,7 +167,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_changeSpeed: INFO: OK  ****");
		log("*** f_changeSpeed: INFO: OK  ***");
            
        return v_ret;
        
@@ -184,7 +184,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setCrashSignal: INFO: OK  ****");
		log("*** f_setCrashSignal: INFO: OK  ***");
            
        return v_ret;
        
@@ -201,7 +201,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setDangerousGoodsStatus: INFO: OK  ****");
		log("*** f_setDangerousGoodsStatus: INFO: OK  ***");
            
        return v_ret;
        
@@ -219,7 +219,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setLengthWidthPrecision: INFO: OK  ****");
		log("*** f_setLengthWidthPrecision: INFO: OK  ***");
            
        return v_ret;
        
@@ -236,7 +236,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setDoorStatus: INFO: OK  ****");
		log("*** f_setDoorStatus: INFO: OK  ***");
            
        return v_ret;
        
@@ -253,7 +253,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setDistanceToStopLine: INFO: OK  ****");
		log("*** f_setDistanceToStopLine: INFO: OK  ***");
            
        return v_ret;
        
@@ -270,7 +270,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setTurnAdvice: INFO: OK  ****");
		log("*** f_setTurnAdvice: INFO: OK  ***");
            
        return v_ret;
        
@@ -287,7 +287,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setCurvatureChange: INFO: OK  ****");
		log("*** f_setCurvatureChange: INFO: OK  ***");
            
        return v_ret;
        
@@ -304,7 +304,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setOccupancy: INFO: OK  ****");
		log("*** f_setOccupancy: INFO: OK  ***");
            
        return v_ret;
        
@@ -321,7 +321,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setLightBarStatus: INFO: OK  ****");
		log("*** f_setLightBarStatus: INFO: OK  ***");
            
        return v_ret;
        
@@ -338,7 +338,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setSireneStatus: INFO: OK  ****");
		log("*** f_setSireneStatus: INFO: OK  ***");
            
        return v_ret;
        
@@ -355,7 +355,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setTrafficLightPriority: INFO: OK  ****");
		log("*** f_setTrafficLightPriority: INFO: OK  ***");
            
        return v_ret;
        
@@ -373,7 +373,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setScheduleDeviation: INFO: OK  ****");
		log("*** f_setScheduleDeviation: INFO: OK  ***");
            
        return v_ret;
        
@@ -381,20 +381,20 @@ group upperTester {
    
	/** 
	*	@desc	upper tester function to set the PT Line Description			
	* 	@param 	p_pTLineDescription<br>
	* 	@param 	p_ptLineDescription<br>
	* 	@return 	FncRetCode<br>
	*/
	function f_setPTLineDescription( PTLineDescription p_pTLineDescription ) runs on ItsFa return FncRetCode {
	function f_setPtLineDescription( PTLineDescription p_ptLineDescription ) runs on ItsFa return FncRetCode {

		//Variables
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setPTLineDescription: INFO: OK  ****");
		log("*** f_setPtLineDescription: INFO: OK  ***");
            
        return v_ret;
        
    } // end function f_setPTLineDescription
    } // end function f_setPtLineDescription
    
	/** 
	*	@desc	upper tester function to set the exterior lights status			
@@ -407,7 +407,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_setExteriorLightsStatus: INFO: OK  ****");
		log("*** f_setExteriorLightsStatus: INFO: OK  ***");
            
        return v_ret;
        
@@ -424,7 +424,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_changeReferencePosition: INFO: OK  ****");
		log("*** f_changeReferencePosition: INFO: OK  ***");
            
        return v_ret;
        
@@ -442,7 +442,7 @@ group upperTester {
        var FncRetCode v_ret := e_success;
            
        //TODO define external function
		log("**** f_checkLdmReceipt: INFO: OK  ****");
		log("*** f_checkLdmReceipt: INFO: OK  ***");
            
        return v_ret;
        
@@ -473,10 +473,10 @@ group externalFunctions {
        if (v_generationTime!=0)
        {
            return v_generationTime ;
			log("**** f_generateTime: INFO: OK - generationTime = " & int2str(v_generationTime) & " ****");
			log("*** f_generateTime: INFO: OK - generationTime = " & int2str(v_generationTime) & " ***");
		}
		else {
			log("**** f_generateTime: ERROR: timestamp could not be generated ****");
			log("*** f_generateTime: ERROR: timestamp could not be generated ***");
			setverdict( inconc ) ;
            return v_generationTime ;
			stop;
@@ -489,32 +489,32 @@ group externalFunctions {
	 * @see		PX_PTLINE_COURSE, PX_PTLINE_REF, PX_PTLINE_ROUTE
	 *
	*/
	function f_getPTLineDescription()
	function f_getPtLineDescription()
	return PTLineDescription {
		//Variables
		var PTLineDescription v_pTLineDescription := { "a", "b", "c" };
		var PTLineDescription v_ptLineDescription := { "a", "b", "c" };
		
        v_pTLineDescription :=  { PX_PTLINE_COURSE, PX_PTLINE_REF, PX_PTLINE_ROUTE };   // PIXIT used!
		log("**** f_getPTLineDescription: INFO: OK  ****");
        return v_pTLineDescription ;
        v_ptLineDescription :=  { PX_PTLINE_COURSE, PX_PTLINE_REF, PX_PTLINE_ROUTE };   // PIXIT used!
		log("*** f_getPtLineDescription: INFO: OK  ***");
        return v_ptLineDescription ;

	} // end function f_getPTLineDescription
	} // end function f_getPtLineDescription
	
	/** @desc	function to get the stationID
	 *			currently return the PIXIT value
	 * @see		PX_TESTER_STATION_ID
	 *
	*/
	function f_getStationID()
	function f_getStationId()
	return StationID {
		//Variables
		var StationID v_stationID := 0;
		var StationID v_stationId := 0;
		
        v_stationID :=  PX_TESTER_STATION_ID;   // PIXIT used!
		log("**** f_getStationID: INFO: OK - stationID = " & int2str(v_stationID) & " ****");
        return v_stationID ;
        v_stationId :=  PX_TESTER_STATION_ID;   // PIXIT used!
		log("*** f_getStationId: INFO: OK - stationId = " & int2str(v_stationId) & " ***");
        return v_stationId ;

	} // end function fx_getStationID
	} // end function fx_getStationId
	
	/**
	*	@desc 	get the stationCharacteristics of the tester
@@ -534,7 +534,7 @@ group externalFunctions {
		var CoopAwareness.stationCharacteristics v_stationCharacteristics := { true, true, true };
		
        v_stationCharacteristics := fx_getStationCharacteristics();
		log("**** f_getStationCharacteristics: INFO: OK - stationCharacteristics received ****");
		log("*** f_getStationCharacteristics: INFO: OK - stationCharacteristics received ***");
        return v_stationCharacteristics ;

	} // end function f_getStationCharacteristics
@@ -558,7 +558,7 @@ group externalFunctions {
		var ReferencePosition v_referencePosition;
		
        v_referencePosition := fx_getReferencePosition();
		log("**** f_getReferencePosition: INFO: OK - referencePosition received ****");
		log("*** f_getReferencePosition: INFO: OK - referencePosition received ***");
        return v_referencePosition ;

	} // end function f_getReferencePosition