module checkLogFormatModule {

    function f_1 ()
    runs on myComponent {

        //incorrect
        log ( "***" )
    }


    const integer c_1 := 1;

    testcase t_sendMsg ()
    runs on myComponent {

        // 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 ***" )
    }
}