[4] | 1 | module checkNoOverSpecificRunsOnOverImport { |
---|
| 2 | |
---|
| 3 | import from checkNoOverSpecificRunsOn { type someComponent} |
---|
| 4 | |
---|
| 5 | const someType someGlobalConst := 21; |
---|
| 6 | |
---|
| 7 | type component someComponent2 { |
---|
| 8 | var someType someVarName := 2; |
---|
| 9 | var someType someOtherVarName := 2, someAnotherVarName := 4; |
---|
| 10 | var charstring someCharStringVar := "xyz"; |
---|
| 11 | var template someType someTemplateVarName := 3; |
---|
| 12 | const someType someConstName := 1; |
---|
| 13 | const integer someIntegerConstName := 42; |
---|
| 14 | const someOtherType someConstName2 := someModuleParameterName2, someConstName3 := someModuleParameterName3; |
---|
| 15 | timer someTimer; |
---|
| 16 | port somePortType somePortInstance; |
---|
| 17 | } |
---|
| 18 | |
---|
| 19 | function someFunction1() runs on someComponent { |
---|
| 20 | //some references to component definitions here |
---|
| 21 | someTimer.start(10.0); |
---|
| 22 | // alt{ |
---|
| 23 | // []somePortInstance.receive(integer:2) |
---|
| 24 | // { |
---|
| 25 | // somePortInstance.send(integer:3); |
---|
| 26 | // } |
---|
| 27 | // } |
---|
| 28 | } |
---|
| 29 | |
---|
| 30 | function someFunction2() runs on someComponent2 { |
---|
| 31 | //some references to component definitions here |
---|
| 32 | someTimer.start(10.0); |
---|
| 33 | } |
---|
| 34 | |
---|
| 35 | |
---|
| 36 | function someOverSpecificFunction() runs on someComponent { |
---|
| 37 | //no references to component definitions here |
---|
| 38 | } |
---|
| 39 | |
---|
| 40 | function someOverSpecificFunction2() runs on someComponent2 { |
---|
| 41 | //no references to component definitions here |
---|
| 42 | } |
---|
| 43 | |
---|
| 44 | |
---|
| 45 | function someGenericFunction2(){ |
---|
| 46 | //no relation |
---|
| 47 | |
---|
| 48 | } |
---|
| 49 | } |
---|