regression_test/defaultOper/TdefaultOper.ttcn

   1 /******************************************************************************
   2  * Copyright (c) 2000-2014 Ericsson Telecom AB
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Eclipse Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/epl-v10.html
   7  ******************************************************************************/
   8 module TdefaultOper
   9 {
  10 type component defaultOper_comptype { };
  11
  12 altstep A1() runs on defaultOper_comptype
  13 {
  14   [] any timer.timeout { setverdict(inconc);}
  15 }
  16
  17 testcase defaultIsvalue() runs on defaultOper_comptype
  18 {
  19   var default v0;
  20   var default v1 := null;
  21   var template default tdf0;
  22   template default tdf1 := null;
  23   var default d1 := activate( A1() );
  24
  25   if ( isvalue(v0) ) { setverdict(fail); } else { setverdict(pass); };
  26   if ( isvalue(v1) ) { setverdict(pass); } else { setverdict(fail); };
  27   if ( isvalue(tdf0) ) { setverdict(fail); } else { setverdict(pass); };
  28   if ( isvalue(tdf1) ) { setverdict(pass); } else { setverdict(fail); };
  29   if ( isvalue(d1) ) { setverdict(pass); } else { setverdict(fail); };
  30 }
  31
  32   altstep as_empty() runs on defaultOper_comptype {
  33     [] any timer.timeout { }
  34   };
  35
  36   function f_empty() runs on defaultOper_comptype { }
  37
  38   testcase tc_special_default_value_unbound() runs on defaultOper_comptype {
  39     var default vl_default;
  40     if(ispresent(vl_default)){setverdict(fail)}else {setverdict(pass)};
  41   }
  42
  43   testcase tc_special_default_value_null() runs on defaultOper_comptype {
  44     var default vl_default := null;
  45     if(ispresent(vl_default)) {setverdict(pass)} else {setverdict(fail)}
  46   }
  47   testcase tc_special_default_value_isvalue() runs on defaultOper_comptype {
  48     var default vl_default := activate(as_empty());
  49     if(ispresent(vl_default)){setverdict(pass)}else {setverdict(fail)};
  50
  51     deactivate(vl_default);
  52     if(ispresent(vl_default)){setverdict(pass)}else {setverdict(fail)};
  53   }
  54
  55   testcase tc_special_compref_unbound() runs on defaultOper_comptype {
  56     var defaultOper_comptype vc_myComp;
  57     if(ispresent(vc_myComp)){setverdict(fail)}else {setverdict(pass)};
  58   }
  59
  60   testcase tc_special_compref_isvalue() runs on defaultOper_comptype {
  61     var defaultOper_comptype vc_myComp:= defaultOper_comptype.create("hali");
  62     if(ispresent(vc_myComp)){setverdict(pass)}else {setverdict(fail)};
  63
  64     vc_myComp.start(f_empty());
  65     if(ispresent(vc_myComp)){setverdict(pass)}else {setverdict(fail)};
  66
  67     vc_myComp.done;
  68     if(ispresent(vc_myComp)){setverdict(pass)}else {setverdict(fail)};
  69   }
  70
  71 testcase tc_special_default_value() runs on defaultOper_comptype {
  72   var default vl_default;
  73   if(isbound(vl_default)){setverdict(fail)}else {setverdict(pass)};
  74
  75   vl_default := null;
  76   if(isbound(vl_default)) {setverdict(pass)} else {setverdict(fail)}
  77
  78   vl_default := activate(as_empty());
  79   if(isbound(vl_default)){setverdict(pass)}else {setverdict(fail)};
  80
  81   deactivate(vl_default);
  82   if(isbound(vl_default)){setverdict(pass)}else {setverdict(fail)};
  83 }
  84
  85 testcase tc_special_compref() runs on defaultOper_comptype {
  86   var defaultOper_comptype vc_myComp;
  87   if(isbound(vc_myComp)){setverdict(fail)}else {setverdict(pass)};
  88
  89   vc_myComp:= defaultOper_comptype.create("hali");
  90   if(isbound(vc_myComp)){setverdict(pass)}else {setverdict(fail)};
  91
  92   vc_myComp.start(f_empty());
  93   if(isbound(vc_myComp)){setverdict(pass)}else {setverdict(fail)};
  94
  95   vc_myComp.done;
  96   if(isbound(vc_myComp)){setverdict(pass)}else {setverdict(fail)};
  97 }
  98
  99 control {
 100   execute(defaultIsvalue());
 101   execute(tc_special_default_value_unbound());
 102   execute(tc_special_default_value_null());
 103   execute(tc_special_default_value_isvalue());
 104   execute(tc_special_compref_unbound());
 105   execute(tc_special_compref_isvalue());
 106   execute(tc_special_default_value());
 107   execute(tc_special_compref());
 108 }
 109 }