Commit 29777cdb authored by Daniel Honsel's avatar Daniel Honsel
Browse files

minor fix: checkZeroReferencedModuleDefinitions

parent f35cf2e1

de.ugoe.cs.swe.TTCN3/src/de/ugoe/cs/swe/validation/CodeStyleValidator.xtend

+4 −0
Original line number Diff line number Diff line
@@ -80,6 +80,7 @@ import static extension de.ugoe.cs.swe.common.TTCN3ReferenceHelper.* 
import static extension de.ugoe.cs.swe.common.TTCN3ScopeHelper.*

import static extension org.eclipse.xtext.EcoreUtil2.*

import de.ugoe.cs.swe.tTCN3.PortElement

import de.ugoe.cs.swe.tTCN3.ExtFunctionDef



class CheckDefinitionComeFirstParameter {

	public boolean hasOtherDefinitions
@@ -686,6 +687,9 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
		} else if (definition.def instanceof FunctionDef) {

			notReferenced = definition.def.isUnreferenced(parentModule)

			detailDef = definition.def as FunctionDef

		} else if (definition.def instanceof ExtFunctionDef) {

			notReferenced = definition.def.isUnreferenced(parentModule)

			detailDef = definition.def as ExtFunctionDef			

		} else if (definition.def instanceof TemplateDef) {

			notReferenced = (definition.def as TemplateDef).base.isUnreferenced(parentModule)

			detailDef = (definition.def as TemplateDef).base