conformance_test/positive_tests/B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010501_set_expression/NegSem_B010501_set_expression_001.ttcn

   1 /***************************************************
   2  * @author STF 409
   3  * @version 0.0.1
   4  * @purpose 1:B.1.5.1, Ensure that the IUT correctly handles template matching of character pattern set expressions
   5  * @verdict pass reject
   6  ***************************************************/
   7 module NegSem_B010501_set_expression_001 {
   8         type record MessageType {
   9                 charstring field1
  10         }
  11
  12         type port loopbackPort message {
  13                 inout MessageType;
  14         } with {extension "internal"}
  15
  16         type component GeneralComp {
  17                 port loopbackPort messagePort;
  18         }
  19
  20         testcase TC_NegSem_B010501_set_expression_001() runs on GeneralComp {
  21
  22                 var boolean m_res := match( "test", pattern "te[p[q-t]x]t");   // embedded set is not allowed
  23
  24                 setverdict(fail);
  25
  26         }
  27         control {
  28                 execute(TC_NegSem_B010501_set_expression_001());
  29         }
  30 }
  31