Commit 553bae9a authored by Daniel Honsel's avatar Daniel Honsel
Browse files

bugfix

parent ab7a3ec8

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

+3 −0
Original line number Diff line number Diff line
@@ -563,6 +563,9 @@ class TTCN3Validator extends AbstractTTCN3Validator { 


	@Check

	def checkNoAllKeywordInPortDefinitions(PortDef port) {

		if (!activeProfile.checkNoAllKeywordInPortDefinitions)

			return;



		val INode node = NodeModelUtils.getNode(port)

		var allIsUsed = false;

		val procOrTypeList = port.body.attribs.getAllContentsOfType(ProcOrTypeList)