[deliverable/titan.core.git] / regression_test / text2ttcn / bitstring_test.ttcn

/******************************************************************************
 * Copyright (c) 2000-2015 Ericsson Telecom AB
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 ******************************************************************************/
module bitstring_test {\r
\r
//=========================================================================\r
// Import Part\r
//=========================================================================\r
import from types all;\r
import from functions all;\r
//=========================================================================\r
// Module Parameters\r
//=========================================================================\r
modulepar template boolean tspt_b_t := true;\r
\r
modulepar {\r
  //modulepar bitstrings not modified from cfg file\r
  template bitstring tspt_bs_v := '01101'B;\r
  template bitstring tspt_bs_o := omit;\r
  template bitstring tspt_bs_a := *;\r
  template bitstring tspt_bs_q := ?;\r
  template bitstring tspt_bs_al1 := * length(2); //length restriction\r
  template bitstring tspt_bs_al2 := * length(2..4);\r
  template bitstring tspt_bs_ql1 := ? length(2);\r
  template bitstring tspt_bs_ql2 := ? length(2..4);\r
  template bitstring tspt_bs_vl1 := ('01101'B);\r
  template bitstring tspt_bs_vl2 := ('01101'B,'1010'B);\r
  template bitstring tspt_bs_vl3 := ('01101'B,'1010'B,'101'B);\r
  template bitstring tspt_bs_c1 := complement('01101'B)\r
  template bitstring tspt_bs_c2 := complement('01101'B,'1010'B);\r
  template bitstring tspt_bs_c3 := complement('01101'B,'1010'B,'101'B);\r
  //template bitstring tspt_bs_r1 := ('A'B..'B'B); //range not allowed\r
  //template bitstring tspt_bs_r2 := ('a'B..'c'B);\r
  template bitstring tspt_bs_pa := '000*111'B\r
  template bitstring tspt_bs_pq := '000?111'B\r
  \r
  template bitstring tspt_bs_vifp := '01101'B ifpresent;\r
  template bitstring tspt_bs_oifp := omit ifpresent;\r
  template bitstring tspt_bs_aifp := * ifpresent;\r
  template bitstring tspt_bs_qifp := ? ifpresent;\r
  template bitstring tspt_bs_al1ifp := * length(2) ifpresent; //length restriction\r
  template bitstring tspt_bs_al2ifp := * length(2..4) ifpresent;\r
  template bitstring tspt_bs_ql1ifp := ? length(2) ifpresent;\r
  template bitstring tspt_bs_ql2ifp := ? length(2..4) ifpresent;\r
  template bitstring tspt_bs_vl1ifp := ('01101'B) ifpresent;\r
  template bitstring tspt_bs_vl2ifp := ('01101'B,'1010'B) ifpresent;\r
  template bitstring tspt_bs_vl3ifp := ('01101'B,'1010'B,'101'B) ifpresent;\r
  template bitstring tspt_bs_c1ifp := complement('01101'B) ifpresent\r
  template bitstring tspt_bs_c2ifp := complement('01101'B,'1010'B) ifpresent;\r
  template bitstring tspt_bs_c3ifp := complement('01101'B,'1010'B,'101'B) ifpresent;\r
  //template bitstring tspt_bs_r1ifp := ('A'B..'B'B) ifpresent; //range not allowed\r
  //template bitstring tspt_bs_r2ifp := ('a'B..'c'B) ifpresent; //range not allowed\r
  template bitstring tspt_bs_paifp := '000*111'B  ifpresent\r
  template bitstring tspt_bs_pqifp := '000?111'B  ifpresent  \r
  \r
  //modulepar bitstrings modified from cfg file\r
  template bitstring tspt_bs_mod4v := * //after mod:'01101';\r
  template bitstring tspt_bs_mod4o := * //omit;\r
  template bitstring tspt_bs_mod4a := '0'B //*;\r
  template bitstring tspt_bs_mod4q := ''B //?;\r
  template bitstring tspt_bs_mod4al1 := '1'B //* length(2); //length restriction\r
  template bitstring tspt_bs_mod4al2 := '1010010001'B //mofified for: * length(2..4);\r
  template bitstring tspt_bs_mod4ql1 := '1010010001'B //mofified for:? length(2);\r
  template bitstring tspt_bs_mod4ql2 := '1010010001'B //mofified for:? length(2..4);\r
  template bitstring tspt_bs_mod4vl1 := ('01101'B) //TODO: Adam //It should be mofified for: ('01101'B);\r
  template bitstring tspt_bs_mod4vl2 := '1010010001'B //mofified for:('01101'B,'1010'B);\r
  template bitstring tspt_bs_mod4vl3 := '1010010001'B //mofified for:('01101'B,'1010'B,'B12'B);\r
  template bitstring tspt_bs_mod4c1 := '1010010001'B //mofified for:complement('01101')\r
  template bitstring tspt_bs_mod4c2 := '1010010001'B //mofified for:complement('01101','1010');\r
  template bitstring tspt_bs_mod4c3 := '1010010001'B //mofified for:complement('01101','1010','101');\r
  template bitstring tspt_bs_mod4r1 := '1010010001'B //mofified for:('A'..'B'); //range\r
  template bitstring tspt_bs_mod4r2 := '1010010001'B //mofified for:('a'..'c');\r
  template bitstring tspt_bs_mod4pa := '1010010001'B //mofified for:pattern 'abc*123'\r
  template bitstring tspt_bs_mod4pq := '1010010001'B //mofified for:pattern 'abc?123'\r
  \r
  template bitstring tspt_bs_mod4vifp := '1010010001'B //mofified for:'01101' ifpresent;\r
  template bitstring tspt_bs_mod4oifp := '1010010001'B //mofified for:omit ifpresent;\r
  template bitstring tspt_bs_mod4aifp := '1010010001'B //mofified for:* ifpresent;\r
  template bitstring tspt_bs_mod4qifp := '1010010001'B //mofified for:? ifpresent;\r
  template bitstring tspt_bs_mod4al1ifp := '1010010001'B //mofified for:* length(2) ifpresent; //length restriction\r
  template bitstring tspt_bs_mod4al2ifp := '1010010001'B //mofified for:* length(2..4) ifpresent;\r
  template bitstring tspt_bs_mod4ql1ifp := '1010010001'B //mofified for:? length(2) ifpresent;\r
  template bitstring tspt_bs_mod4ql2ifp := '1010010001'B //mofified for:? length(2..4) ifpresent;\r
  template bitstring tspt_bs_mod4vl1ifp :=  ('01101'B) ifpresent //TODO: Adam //It should be mofified for: ('01101'B);\r
  template bitstring tspt_bs_mod4vl2ifp := '1010010001'B //mofified for:('01101','1010') ifpresent;\r
  template bitstring tspt_bs_mod4vl3ifp := '1010010001'B //mofified for:('01101','1010','B12') ifpresent;\r
  template bitstring tspt_bs_mod4c1ifp := '1010010001'B //mofified for:complement('01101') ifpresent\r
  template bitstring tspt_bs_mod4c2ifp := '1010010001'B //mofified for:complement('01101','1010') ifpresent;\r
  template bitstring tspt_bs_mod4c3ifp := '1010010001'B //mofified for:complement('01101','1010','101') ifpresent;\r
  //template bitstring tspt_bs_mod4r1ifp := '1010010001'B //mofified for:('0'B..'1'B) ifpresent; //range\r
  //template bitstring tspt_bs_mod4r2ifp := '1010010001'B //mofified for:('0'B..'1'B) ifpresent;\r
  template bitstring tspt_bs_mod4paifp := '1010010001'B //mofified for:pattern 'abc*xyz'B  ifpresent\r
  template bitstring tspt_bs_mod4pqifp := '1010010001'B //mofified for:pattern 'abc?xyz'B  ifpresent  \r
  \r
}\r
\r
//=========================================================================\r
// Functions\r
//=========================================================================\r
\r
function f_string2ttcn_RBS_t(in charstring pl_rbs, in template RBS pl_expected_result) {\r
	var template RBS vl_result;\r
	@try {\r
	 string2ttcn(pl_rbs,vl_result);\r
	 setverdict(pass) \r
	}\r
	@catch(err_str) {\r
    log("string2ttcn() failed: ",err_str);\r
    setverdict(fail);\r
  }\r
  log(pl_expected_result);\r
  log(vl_result);\r
  if( log2str(pl_expected_result) == log2str(vl_result) ) { setverdict(pass) } else { setverdict(fail) }\r
}\r
\r
function f_string2ttcn_RBS_t_str(in charstring pl_rec, in charstring pl_expected_result) {\r
	var template RBS vl_result;\r
	@try {\r
	 string2ttcn(pl_rec,vl_result);\r
	 setverdict(pass) \r
	}\r
	@catch(err_str) {\r
    log("str2ttcn() failed: ",err_str);\r
    setverdict(fail);\r
  }\r
  log("Expected result: ", pl_expected_result);\r
  log("Result: ", vl_result);\r
  if( pl_expected_result == log2str(vl_result) ) { setverdict(pass) } else { setverdict(fail) }\r
}\r
\r
//template string -> variable conversion\r
//expected result: error\r
function f_string2ttcn_RBS_v(in charstring pl_cs, in template RBS pl_expected_result, in boolean pl_ok_expected) {\r
  var RBS vl_result;\r
  if( pl_ok_expected ) {\r
    @try {\r
      string2ttcn(pl_cs, vl_result);\r
      setverdict(pass);\r
    }\r
    @catch(err_str) {\r
      log("string2ttcn() failed: ",err_str);\r
      setverdict(fail);\r
    }\r
    if( log2str(pl_expected_result) == log2str(vl_result) ) { setverdict(pass) } else { setverdict(fail) }\r
  } \r
  else \r
  {\r
    @try {\r
      string2ttcn(pl_cs, vl_result);\r
      setverdict(fail);\r
    }\r
    @catch(err_str) {\r
      log("string2ttcn() conversion error: ",err_str);\r
      setverdict(pass,"Expected error, ok");\r
    }\r
    \r
  }\r
  log("Expected result: ",pl_expected_result );\r
  log("Result: ", vl_result);\r
}\r
\r
//this function is the same but uses\r
function f_string2ttcn_RBS_v_str(in charstring pl_cs, charstring pl_expected_result, in boolean pl_ok_expected) {\r
  var RBS vl_result;\r
  if( pl_ok_expected ) {\r
    @try {\r
      string2ttcn(pl_cs, vl_result);\r
      setverdict(pass);\r
    }\r
    @catch(err_str) {\r
      log("str2ttcn() failed: ",err_str);\r
      setverdict(fail);\r
    }\r
    if( pl_expected_result == log2str(vl_result) ) { setverdict(pass) } else { setverdict(fail) }\r
  } \r
  else \r
  {\r
    @try {\r
      string2ttcn(pl_cs, vl_result);\r
      setverdict(fail);\r
    }\r
    @catch(err_str) {\r
      log("str2ttcn() conversion error: ",err_str);\r
      setverdict(pass,"Expected error, ok");\r
    }\r
    \r
  }\r
  log("Expected result: ", pl_expected_result );\r
  log("Result: ", vl_result);\r
}\r
\r
//=========================================================================\r
// Testcases\r
//=========================================================================\r
\r
\r
testcase tc_bs_1() runs on MC {\r
  var template BitStrings_1_2 vlt_bs := ?;\r
  log(vlt_bs);\r
}\r
\r
testcase tc_bs_ModulePar_emb() runs on MC {\r
  log(t_rbs(tspt_bs_mod4v));\r
  if(log2str(t_rbs(tspt_bs_mod4v)) != "{ bs := \'01101\'B }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4o));\r
  if(log2str(t_rbs(tspt_bs_mod4o)) != "{ bs := omit }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4a));\r
  if(log2str(t_rbs(tspt_bs_mod4a)) != "{ bs := * }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4q));\r
  if(log2str(t_rbs(tspt_bs_mod4q)) != "{ bs := ? }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4al1));\r
  if(log2str(t_rbs(tspt_bs_mod4al1)) != "{ bs := * length (2) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4al2));\r
  if(log2str(t_rbs(tspt_bs_mod4al2)) != "{ bs := * length (2 .. 4) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4ql1));\r
  if(log2str(t_rbs(tspt_bs_mod4ql1)) != "{ bs := ? length (2) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4ql2));\r
  if(log2str(t_rbs(tspt_bs_mod4ql2)) != "{ bs := ? length (2 .. 4) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(">",t_rbs(tspt_bs_mod4vl1),"<");\r
  if(log2str(t_rbs(tspt_bs_mod4vl1)) != "{ bs := \'01101\'B }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4vl2));\r
  if(log2str(t_rbs(tspt_bs_mod4vl2)) != "{ bs := (\'01101\'B, \'1010\'B) }") {setverdict(fail)} else {setverdict(pass)};\r
  \r
  log(t_rbs(tspt_bs_mod4vl3));\r
  if(log2str(t_rbs(tspt_bs_mod4vl3)) != "{ bs := (\'01101\'B, \'1010\'B, \'101\'B) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c1));\r
  if(log2str(t_rbs(tspt_bs_mod4c1)) != "{ bs := complement (\'01101\'B) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c2));\r
  if(log2str(t_rbs(tspt_bs_mod4c2)) != "{ bs := complement (\'01101\'B, \'1010\'B) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c3));\r
  if(log2str(t_rbs(tspt_bs_mod4c3)) != "{ bs := complement (\'01101\'B, \'1010\'B, \'101\'B) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4pa));\r
  if(log2str(t_rbs(tspt_bs_mod4pa)) != "{ bs := \'000*111\'B }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4pq));\r
  if(log2str(t_rbs(tspt_bs_mod4pq)) != "{ bs := \'000?111\'B }") {setverdict(fail)} else {setverdict(pass)};\r
  //==\r
  log(t_rbs(tspt_bs_mod4vifp));\r
  if(log2str(t_rbs(tspt_bs_mod4vifp)) != "{ bs := \'01101\'B ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4oifp));\r
  if(log2str(t_rbs(tspt_bs_mod4oifp)) != "{ bs := omit ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4aifp));\r
  if(log2str(t_rbs(tspt_bs_mod4aifp)) != "{ bs := * ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4qifp));\r
  if(log2str(t_rbs(tspt_bs_mod4qifp)) != "{ bs := ? ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4al1ifp));\r
  if(log2str(t_rbs(tspt_bs_mod4al1ifp)) != "{ bs := * length (2) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4al2ifp));\r
  if(log2str(t_rbs(tspt_bs_mod4al2ifp)) != "{ bs := * length (2 .. 4) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4ql1ifp));\r
  if(log2str(t_rbs(tspt_bs_mod4ql1ifp)) != "{ bs := ? length (2) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4ql2ifp));\r
  if(log2str(t_rbs(tspt_bs_mod4ql2ifp)) != "{ bs := ? length (2 .. 4) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4vl1ifp));\r
  if(log2str(t_rbs(tspt_bs_mod4vl1ifp)) != "{ bs := \'01101\'B ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4vl2ifp));\r
  if(log2str(t_rbs(tspt_bs_mod4vl2ifp)) != "{ bs := (\'01101\'B, \'1010\'B) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4vl3ifp));\r
  if(log2str(t_rbs(tspt_bs_mod4vl3ifp)) != "{ bs := (\'01101\'B, \'1010\'B, \'101\'B) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c1ifp));\r
  if(log2str(t_rbs(tspt_bs_mod4c1ifp)) != "{ bs := complement (\'01101\'B) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c2ifp));\r
  if(log2str(t_rbs(tspt_bs_mod4c2ifp)) != "{ bs := complement (\'01101\'B, \'1010\'B) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c3ifp));\r
  if(log2str(t_rbs(tspt_bs_mod4c3ifp)) != "{ bs := complement (\'01101\'B, \'1010\'B, \'101\'B) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4paifp));\r
  if(log2str(t_rbs(tspt_bs_mod4paifp)) != "{ bs := \'000*111'B ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4pqifp));\r
  if(log2str(t_rbs(tspt_bs_mod4pqifp)) != "{ bs := \'000?111\'B ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
}\r
\r
testcase tc_bs_ttcn2string_emb() runs on MC {\r
  log(t_rbs(tspt_bs_mod4v));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4v)) != "{ bs := \'01101\'B }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4o));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4o)) != "{ bs := omit }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4a));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4a)) != "{ bs := * }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4q));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4q)) != "{ bs := ? }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4al1));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4al1)) != "{ bs := * length (2) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4al2));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4al2)) != "{ bs := * length (2 .. 4) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4ql1));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4ql1)) != "{ bs := ? length (2) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4ql2));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4ql2)) != "{ bs := ? length (2 .. 4) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(">",t_rbs(tspt_bs_mod4vl1),"<");\r
  if(ttcn2string(t_rbs(tspt_bs_mod4vl1)) != "{ bs := \'01101\'B }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4vl2));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4vl2)) != "{ bs := (\'01101\'B, \'1010\'B) }") {setverdict(fail)} else {setverdict(pass)};\r
  \r
  log(t_rbs(tspt_bs_mod4vl3));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4vl3)) != "{ bs := (\'01101\'B, \'1010\'B, \'101\'B) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c1));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4c1)) != "{ bs := complement (\'01101\'B) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c2));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4c2)) != "{ bs := complement (\'01101\'B, \'1010\'B) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c3));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4c3)) != "{ bs := complement (\'01101\'B, \'1010\'B, \'101\'B) }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4pa));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4pa)) != "{ bs := \'000*111\'B }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4pq));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4pq)) != "{ bs := \'000?111\'B }") {setverdict(fail)} else {setverdict(pass)};\r
  //==\r
  log(t_rbs(tspt_bs_mod4vifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4vifp)) != "{ bs := \'01101\'B ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4oifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4oifp)) != "{ bs := omit ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4aifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4aifp)) != "{ bs := * ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4qifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4qifp)) != "{ bs := ? ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4al1ifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4al1ifp)) != "{ bs := * length (2) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4al2ifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4al2ifp)) != "{ bs := * length (2 .. 4) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4ql1ifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4ql1ifp)) != "{ bs := ? length (2) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4ql2ifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4ql2ifp)) != "{ bs := ? length (2 .. 4) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4vl1ifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4vl1ifp)) != "{ bs := \'01101\'B ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4vl2ifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4vl2ifp)) != "{ bs := (\'01101\'B, \'1010\'B) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4vl3ifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4vl3ifp)) != "{ bs := (\'01101\'B, \'1010\'B, \'101\'B) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c1ifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4c1ifp)) != "{ bs := complement (\'01101\'B) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c2ifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4c2ifp)) != "{ bs := complement (\'01101\'B, \'1010\'B) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4c3ifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4c3ifp)) != "{ bs := complement (\'01101\'B, \'1010\'B, \'101\'B) ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4paifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4paifp)) != "{ bs := \'000*111'B ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
  log(t_rbs(tspt_bs_mod4pqifp));\r
  if(ttcn2string(t_rbs(tspt_bs_mod4pqifp)) != "{ bs := \'000?111\'B ifpresent }") {setverdict(fail)} else {setverdict(pass)};\r
}\r
\r
//=============== string2ttcn ==============================\r
\r
testcase tc_bs_string2ttcn_mod4v() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4v)),t_rbs(tspt_bs_mod4v))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4v)),t_rbs(tspt_bs_mod4v),true)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4o() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4o)),t_rbs(tspt_bs_mod4o))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4o)),t_rbs(tspt_bs_mod4o),true) \r
}\r
\r
testcase tc_bs_string2ttcn_mod4a() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4a)),t_rbs(tspt_bs_mod4a))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4a)),t_rbs(tspt_bs_mod4a),false)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4q() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4q)),t_rbs(tspt_bs_mod4q))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4q)),t_rbs(tspt_bs_mod4q),false) \r
}\r
\r
testcase tc_bs_string2ttcn_mod4al1() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4al1)),t_rbs(tspt_bs_mod4al1))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4al1)),t_rbs(tspt_bs_mod4al1),false)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4al2() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4al2)),t_rbs(tspt_bs_mod4al2))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4al2)),t_rbs(tspt_bs_mod4al2),false)  \r
}\r
\r
\r
testcase tc_bs_string2ttcn_mod4ql1() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4ql1)),t_rbs(tspt_bs_mod4ql1))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4ql1)),t_rbs(tspt_bs_mod4ql1),false)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4ql2() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4ql2)),t_rbs(tspt_bs_mod4ql2))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4ql2)),t_rbs(tspt_bs_mod4ql2),false)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4vl1() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4vl1)),t_rbs(tspt_bs_mod4vl1))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4vl1)),t_rbs(tspt_bs_mod4vl1),true)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4vl2() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4vl2)),t_rbs(tspt_bs_mod4vl2))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4vl2)),t_rbs(tspt_bs_mod4vl2),false)  \r
}\r
\r
\r
testcase tc_bs_string2ttcn_mod4vifp() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4vifp)),t_rbs(tspt_bs_mod4vifp))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4vifp)),t_rbs(tspt_bs_mod4vifp),false)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4oifp() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4oifp)),t_rbs(tspt_bs_mod4oifp))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4oifp)),t_rbs(tspt_bs_mod4oifp),false) \r
}\r
\r
testcase tc_bs_string2ttcn_mod4aifp() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4aifp)),t_rbs(tspt_bs_mod4aifp))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4aifp)),t_rbs(tspt_bs_mod4aifp),false)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4qifp() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4qifp)),t_rbs(tspt_bs_mod4qifp))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4qifp)),t_rbs(tspt_bs_mod4qifp),false) \r
}\r
\r
testcase tc_bs_string2ttcn_mod4al1ifp() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4al1ifp)),t_rbs(tspt_bs_mod4al1ifp))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4al1ifp)),t_rbs(tspt_bs_mod4al1ifp),false)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4al2ifp() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4al2ifp)),t_rbs(tspt_bs_mod4al2ifp))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4al2ifp)),t_rbs(tspt_bs_mod4al2ifp),false)  \r
}\r
\r
\r
testcase tc_bs_string2ttcn_mod4ql1ifp() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4ql1ifp)),t_rbs(tspt_bs_mod4ql1ifp))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4ql1ifp)),t_rbs(tspt_bs_mod4ql1ifp),false)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4ql2ifp() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4ql2ifp)),t_rbs(tspt_bs_mod4ql2ifp))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4ql2ifp)),t_rbs(tspt_bs_mod4ql2ifp),false)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4vl1ifp() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4vl1ifp)),t_rbs(tspt_bs_mod4vl1ifp))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4vl1ifp)),t_rbs(tspt_bs_mod4vl1ifp),false)  \r
}\r
\r
testcase tc_bs_string2ttcn_mod4vl2ifp() runs on MC {\r
  f_string2ttcn_RBS_t(ttcn2string(t_rbs(tspt_bs_mod4vl2ifp)),t_rbs(tspt_bs_mod4vl2ifp))\r
  f_string2ttcn_RBS_v(ttcn2string(t_rbs(tspt_bs_mod4vl2ifp)),t_rbs(tspt_bs_mod4vl2ifp),false)  \r
}\r
\r
//=========================================================================\r
// Control\r
//=========================================================================\r
\r
\r
control {\r
  log("***bitstring tests****");\r
  execute(tc_bs_ModulePar_emb());\r
  execute(tc_bs_ttcn2string_emb());\r
  execute(tc_bs_string2ttcn_mod4v());\r
  execute(tc_bs_string2ttcn_mod4o());\r
  execute(tc_bs_string2ttcn_mod4a());\r
  execute(tc_bs_string2ttcn_mod4q());\r
  execute(tc_bs_string2ttcn_mod4al1());\r
  execute(tc_bs_string2ttcn_mod4al2());\r
  execute(tc_bs_string2ttcn_mod4ql1());\r
  execute(tc_bs_string2ttcn_mod4ql2());\r
  execute(tc_bs_string2ttcn_mod4vl1());\r
  execute(tc_bs_string2ttcn_mod4vl2());\r
  //execute(tc_bs_string2ttcn_mod4vl3());  \r
  \r
  execute(tc_bs_string2ttcn_mod4vifp());\r
  execute(tc_bs_string2ttcn_mod4oifp());\r
  execute(tc_bs_string2ttcn_mod4aifp());\r
  execute(tc_bs_string2ttcn_mod4qifp());\r
  execute(tc_bs_string2ttcn_mod4al1ifp());\r
  execute(tc_bs_string2ttcn_mod4al2ifp());\r
  execute(tc_bs_string2ttcn_mod4ql1ifp());\r
  execute(tc_bs_string2ttcn_mod4ql2ifp());\r
  execute(tc_bs_string2ttcn_mod4vl1ifp());\r
  execute(tc_bs_string2ttcn_mod4vl2ifp());\r
}\r
\r
}