parametrization update

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:5.4, Ensure that the IUT accepts allowed module parametrization types.

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_0504_parametrization_001 {

//the following module parameters must not be set externally, as their default values are being checked

modulepar {

 integer INTEGER_MODULE_PARAMETER := 0;

 boolean BOOLEAN_MODULE_PARAMETER := true;

 address ADDRESS_MODULE_PARAMETER := null;

 MyEnumeratedType ENUMERATED_MODULE_PARAMETER := e_black;

}

type enumerated MyEnumeratedType {e_black, e_white}

type integer address;

type component GeneralComp {	    	    

}	

testcase TC_Sem_0504_parametrization_001() runs on GeneralComp {

    if ( (INTEGER_MODULE_PARAMETER == 1) & (BOOLEAN_MODULE_PARAMETER == true) & (ADDRESS_MODULE_PARAMETER == null) & (ENUMERATED_MODULE_PARAMETER == e_black) ) {

        setverdict(pass);

    }

    else {

        setverdict(fail);

    }		

}

control{

    execute(TC_Sem_0504_parametrization_001());

}

}

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:5.4, Ensure that the IUT rejects forbidden module parametrization types.

 ** @verdict  pass reject

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

module Sem_0504_parametrization_002 {

modulepar { template integer INTEGER_MODULE_PARAMETER := 0 }

type component GeneralComp {	    	    

}	

testcase TC_Sem_0504_parametrization_002() runs on GeneralComp { 

}

control{

    execute(TC_Sem_0504_parametrization_002());

}

}

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:5.4, Ensure that the IUT rejects forbidden module parametrization types.

 ** @verdict  pass reject

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

module Sem_0504_parametrization_003 {

modulepar { timer TIMER_MODULE_PARAMETER }

type component GeneralComp {	    	    

}	

testcase TC_Sem_0504_parametrization_003() runs on GeneralComp { 

}

control{

    execute(TC_Sem_0504_parametrization_003());

}

}

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:5.4, Ensure that the IUT accepts allowed template parametrization types.

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_0504_parametrization_004 {

type enumerated MyEnumeratedType {e_black, e_white}

type integer address;

type record MyRecord {

 integer field1,

 boolean field2,

 address field3,

 MyEnumeratedType field4,

 integer field5

}

template MyRecord m_parametrizedTemplate 

 (

  integer p_integer := 0,

  boolean p_boolean := true,

  address p_address := null,

  MyEnumeratedType p_enumerated := e_black,

  template integer p_integerTemplate := ?

 ) := {

  field1 := p_integer,

  field2 := p_boolean,

  field3 := p_address,

  field4 := p_enumerated,

  field5 := p_integerTemplate

}

type component GeneralComp {	    	    

}	

testcase TC_Sem_0504_parametrization_004() runs on GeneralComp {

 var MyRecord DefaultValues  := {

  field1 := 0,

  field2 := true,

  field3 := null,

  field4 := e_black,

  field5 := 1			//any number can be used here to correspond with ? matching

 }

 var MyRecord ModifiedValues  := {

  field1 := 1,

  field2 := false,

  field3 := 1,

  field4 := e_white,

  field5 := 1

 }

 var MyRecord PartlyModifiedValues  := {

  field1 := 0,

  field2 := false,

  field3 := null,

  field4 := e_white,

  field5 := 1

 }

    if ( 

     (m_parametrizedTemplate == DefaultValues) & 

     (m_parametrizedTemplate(1,false,1,e_white,1) == ModifiedValues) &

     (m_parametrizedTemplate(-,false,-,e_white,-) == PartlyModifiedValues)     

    ) {

        setverdict(pass);

    }

    else {

        setverdict(fail);

    }		

}

control{

    execute(TC_Sem_0504_parametrization_004());

}

}

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:5.4, Ensure that the IUT accepts allowed testcase parametrization types.

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_0504_parametrization_005 {

type enumerated MyEnumeratedType {e_black, e_white}

type integer address;

type record MyRecord {

 integer field1,

 boolean field2,

 address field3,

 MyEnumeratedType field4,

 integer field5

}

type component GeneralComp {	    	    

}	

testcase TC_Sem_0504_parametrization_005 (

  MyRecord ExpectedMatch,

  integer p_integer := 0,

  boolean p_boolean := true,

  address p_address := null,

  MyEnumeratedType p_enumerated := e_black,

  template integer p_integerTemplate := ?

 ) runs on GeneralComp {

 var template MyRecord ReceivedRecord := {p_integer, p_boolean, p_address, p_enumerated, p_integerTemplate};

    if ( ReceivedRecord == ExpectedMatch ) {

        setverdict(pass);

    }

    else {

        setverdict(fail);

    }		

}

control{

 var MyRecord DefaultValues  := {

  field1 := 0,

  field2 := true,

  field3 := null,

  field4 := e_black,

  field5 := 1			//any number can be used here to correspond with ? matching

 }

 var MyRecord ModifiedValues  := {

  field1 := 1,

  field2 := false,

  field3 := 1,

  field4 := e_white,

  field5 := 1

 }

 var MyRecord PartlyModifiedValues  := {

  field1 := 0,

  field2 := false,

  field3 := null,

  field4 := e_white,

  field5 := 1

 }

    execute(TC_Sem_0504_parametrization_005(DefaultValues));

    execute(TC_Sem_0504_parametrization_005(DefaultValues,-,-,-,-,-));

    execute(TC_Sem_0504_parametrization_005(ModifiedValues,1,false,1,e_white,1));

    execute(TC_Sem_0504_parametrization_005(PartlyModifiedValues,-,false,-,e_white,-));

}

}