Commit | Line | Data |
---|---|---|
970ed795 EL |
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 | } |