No commit message

/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.1, Ensure that a "plain" module definition is accepted.

 ** @verdict  pass accept, noexecution

 *****************************************************************/

module Syn_0801_DefinitionOfAModule_001 {

}

/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.1, Ensure that a module definition with language specification is accepted.

 ** @verdict  pass accept, noexecution

 *****************************************************************/

module Syn_0801_DefinitionOfAModule_002 language "TTCN-3:2005" {

}

/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.1, Ensure that a module definition with multiple language specifications is accepted.

 ** @verdict  pass accept, noexecution

 *****************************************************************/

module Syn_0801_DefinitionOfAModule_002 language "TTCN-3:2005", "TTCN-3:2009", "TTCN-3:2010" {

}

/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.1, Ensure that a reference to plain module parameter with a default value delivers the default value unless it is overwritten.

 ** @verdict  pass accept, ttcn3verdict:pass

 *****************************************************************/

module Sem_080201_ModuleParameters_001 {

modulepar integer MY_INTEGER_MODULE_PARAMETER := 2;

type component GeneralComp {	    	    

}

testcase TC_Sem_080201_ModuleParameters_001() runs on GeneralComp {

	if (MY_INTEGER_MODULE_PARAMETER == 2) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}

control{

    execute(TC_Sem_080201_ModuleParameters_001());

}

}

/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.1, Ensure that plain module parameters are accepted.

 ** @verdict  pass accept, noexecution

 *****************************************************************/

module Syn_080201_ModuleParameters_001 {

	modulepar integer MY_INTEGER_MODULE_PARAMETER;

}