Commit 5c9865fe authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+fix for #54 (superfluous warning for unused timer formal parameters) - pending regression testing

parent bb05beb1

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

+2 −1
Original line number Diff line number Diff line
@@ -56,6 +56,7 @@ import de.ugoe.cs.swe.tTCN3.TTCN3Reference 
import de.ugoe.cs.swe.tTCN3.TempVarList

import de.ugoe.cs.swe.tTCN3.TemplateDef

import de.ugoe.cs.swe.tTCN3.TestcaseDef

import de.ugoe.cs.swe.tTCN3.TimerRefOrAll

import de.ugoe.cs.swe.tTCN3.TimerRefOrAny

import de.ugoe.cs.swe.tTCN3.Type

import de.ugoe.cs.swe.tTCN3.TypeDef
@@ -1150,7 +1151,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 


	private def checkNoUnusedFormalParameters(EObject parent, ArrayList<TTCN3Reference> params) {

		val module = parent.findDesiredParent(TTCN3Module)

		val list = module.eAllOfType(TimerRefOrAny)

		val list = parent.eAllOfType(TimerRefOrAll)

		var referenced = true



		for (p : params) {