| 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.