Commit a9499178 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 28c5bd8d

15_templates/1509_match_operation/Sem_1509_MatchOperation_003.ttcn

0 → 100644
+39 −0
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.9, Ensure that the match operation works correctly on records in the positive case.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_1509_MatchOperation_003 {



type component GeneralComp { }



type record MyRecord {

	charstring field1,

	boolean field2

}



template MyRecord m_receiveTemplate := {

	field1 := "ab*de",

	field2 := *

}



testcase TC_Sem_1509_MatchOperation_003() runs on GeneralComp {

	var MyRecord v_value := {

		field1 := "abcde",

		field2 := true

	}



	if (match(v_value, m_receiveTemplate)) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_1509_MatchOperation_003());

}



}
 
 No newline at end of file

15_templates/1509_match_operation/Sem_1509_MatchOperation_004.ttcn

0 → 100644
+39 −0
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.9, Ensure that the match operation works correctly on records in the negative case.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_1509_MatchOperation_004 {



type component GeneralComp { }



type record MyRecord {

	charstring field1,

	boolean field2

}



template MyRecord m_receiveTemplate := {

	field1 := "ab*de",

	field2 := *

}



testcase TC_Sem_1509_MatchOperation_004() runs on GeneralComp {

	var MyRecord v_value := {

		field1 := "abc",

		field2 := true

	}



	if (match(v_value, m_receiveTemplate)) {

		setverdict(fail);

	} else {

		setverdict(pass);

	}

}



control{

    execute(TC_Sem_1509_MatchOperation_004());

}



}
 
 No newline at end of file

15_templates/1509_match_operation/Sem_1509_MatchOperation_005.ttcn

0 → 100644
+36 −0
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.9, Ensure that the match operation works correctly if the types are incompatible.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_1509_MatchOperation_005 {



type component GeneralComp { }



type record MyRecord {

	charstring field1,

	boolean field2

}



template MyRecord m_receiveTemplate := {

	field1 := "ab*de",

	field2 := *

}



testcase TC_Sem_1509_MatchOperation_005() runs on GeneralComp {

	var integer v_value := 20;



	if (match(v_value, m_receiveTemplate)) {

		setverdict(fail);

	} else {

		setverdict(pass);

	}

}



control{

    execute(TC_Sem_1509_MatchOperation_005());

}



}
 
 No newline at end of file