Line | |
---|
1 | module checkTypesAndValuesModuleContainmentCheckBad {
|
---|
2 | import from LibCommon_time all;
|
---|
3 |
|
---|
4 | // good part
|
---|
5 | type record MyRecordType {
|
---|
6 | integer field1 optional,
|
---|
7 | charstring field2,
|
---|
8 | boolean field3
|
---|
9 | }
|
---|
10 |
|
---|
11 | type integer myInt;
|
---|
12 |
|
---|
13 | const myInt myIntValue := 2;
|
---|
14 | // bad part
|
---|
15 |
|
---|
16 | template MyRecordType MyTemplate1 := {
|
---|
17 | field1 := 123,
|
---|
18 | field2 := "A string",
|
---|
19 | field3 := true
|
---|
20 | }
|
---|
21 |
|
---|
22 | testcase t_sendMsg() runs on myComponent {
|
---|
23 | }
|
---|
24 |
|
---|
25 | function myfunc() {
|
---|
26 | }
|
---|
27 | group g_1{
|
---|
28 |
|
---|
29 | function f_1(){
|
---|
30 | }
|
---|
31 | }
|
---|
32 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.