module checkLogFormatModule {

    function f_1 ()
    runs on myComponent {

        //incorrect
        log ( "***" )
        
        test();
        //correct
        log("*** f_1: INFO: OK - random value = " & bit2str(v_random) & " ***");
        
        test();
        //correct - function calls are ignored
        log("*** f_1: " & getMyStatus() & "INFO: OK - random value = " & bit2str(v_random) & " ***");
        
        test();
        //incorrect - charstring function call parameters are taken into consideration resulting in
        //an incorrect log statement format
        log("*** f_1: " & getMyStatus("1") & "INFO: OK - random value = " & bit2str(v_random) & " ***");
        
    }


    const integer c_1 := 1;

    testcase t_sendMsg ()
    runs on myComponent {

		//this should also be correct
		log("*** t_sendMsg: INFO: Unknown component " & p_variable & " ***");
		f_2 ();

        // correct
        log ( "*** t_sendMsg: INFO: Wrong message has been received ***" )
        f_1 (); //if this statement were absent 
                //and subsequent log processing enabled
                //the above log sattement will be analyzed
                //together with the following split log statements

        // also correct, given subsequent log processing is enabled 
        log ( "*** t_sendMsg: " );
        log ( "INFO: " );
        log ( "Wrong message has been received ***" );
        f_1 ();

        //correct , given subsequent log processing is enabled
        log ( "*** t_sendMsg: " );
        log ( "INFO: " );
        log ( f_2 () );
        log ( "Wrong message has been received ***" );
        f_1 ();

        // some simple malformed log statements
        //will be combined as one if subsequent log processing is enabled
        log ( "*** : INFORMATION: Wrong message has been received ***" )
        log ( "** t_sendMsg: INFO: Wrong message has been received **" )
        log ( "*** t_sendMsg22: INFO: Wrong message has been received ***" )
        log ( "*** t_sendMsg: INFORMATION: Wrong message has been received ***" )

        //correct under different configuration / not combined with the above
        log ( "*** INFO: Wrong message has been received ***" );
    }

    control {

        //incorrect
        log ( ".." );

        //correct, if not combined with the above
        log ( "*** t_sendMsg22: INFO: Wrong message has been received ***" )
    }
}