module checkNoOverSpecificRunsOnOverImport { import from checkNoOverSpecificRunsOn { type someComponent} const someType someGlobalConst := 21; type component someComponent2 { var someType someVarName := 2; var someType someOtherVarName := 2, someAnotherVarName := 4; var charstring someCharStringVar := "xyz"; var template someType someTemplateVarName := 3; const someType someConstName := 1; const integer someIntegerConstName := 42; const someOtherType someConstName2 := someModuleParameterName2, someConstName3 := someModuleParameterName3; timer someTimer; port somePortType somePortInstance; } function someFunction1() runs on someComponent { //some references to component definitions here someTimer.start(10.0); // alt{ // []somePortInstance.receive(integer:2) // { // somePortInstance.send(integer:3); // } // } } function someFunction2() runs on someComponent2 { //some references to component definitions here someTimer.start(10.0); } function someOverSpecificFunction() runs on someComponent { //no references to component definitions here } function someOverSpecificFunction2() runs on someComponent2 { //no references to component definitions here } function someGenericFunction2(){ //no relation } }