Commit a9a0104e authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ added some contexts in the code style warnings

parent 1f8fbbfe

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

+23 −0
Original line number Diff line number Diff line
@@ -158,6 +158,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				activeProfile.maximumAllowedNestingDepth + ")!"

			warning(

				message,

				alt,

				null,

				MessageClass.STYLE.toString,

				node.startLine.toString,
@@ -190,6 +191,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				maxLevel + ")!"

			warning(

				message,

				instance,

				null,

				MessageClass.STYLE.toString,

				node.startLine.toString,
@@ -210,6 +212,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
			val INode node = NodeModelUtils.getNode(list)

			warning(

				message,

				list,

				null,

				MessageClass.STYLE.toString,

				node.startLine.toString,
@@ -230,6 +233,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
			val INode node = NodeModelUtils.getNode(list)

			warning(

				message,

				list,

				null,

				MessageClass.STYLE.toString,

				node.startLine.toString,
@@ -258,6 +262,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
			val INode node = NodeModelUtils.getNode(template)

			warning(

				message,

				template,

				null,

				MessageClass.STYLE.toString,

				node.startLine.toString,
@@ -290,6 +295,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
		val message = "Keyword \"permutation\" is used!"

		warning(

			message,

			permutation,

			null,

			MessageClass.STYLE.toString,

			node.startLine.toString,
@@ -309,6 +315,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
			val message = "Keyword \"anytype\" is used!"

			warning(

				message,

				type,

				null,

				MessageClass.STYLE.toString,

				node.startLine.toString,
@@ -332,6 +339,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
					baseTemplate.base.name + "\")!"

				warning(

					message,

					template.base,

					null,

					MessageClass.STYLE.toString,

					node.startLine.toString,
@@ -485,6 +493,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				val message = "Local definition is not at the beginning!"

				warning(

					message,

					o,

					null,

					MessageClass.STYLE.toString,

					node.startLine.toString,
@@ -498,6 +507,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
						configuredOrder.eClassesToString + ")!"

					warning(

						message,

						o,

						null,

						MessageClass.STYLE.toString,

						node.startLine.toString,
@@ -561,6 +571,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
					val INode node = NodeModelUtils.getNode(d)

					warning(

						message,

						d,

						null,

						MessageClass.STYLE.toString,

						node.startLine.toString,
@@ -684,6 +695,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
			val INode node = NodeModelUtils.getNode(detailDef)

			warning(

				message,

				detailDef,

				null,

				MessageClass.STYLE.toString,

				node.startLine.toString,
@@ -817,6 +829,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
			}

			warning(

				message,

				detailDef,

				null,

				MessageClass.STYLE.toString,

				node.startLine.toString,
@@ -908,6 +921,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				statistics.incrementCountStyle

				warning(

					message,

					parent,

					null,

					MessageClass.STYLE.toString,

					node.startLine.toString,
@@ -927,6 +941,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
			val INode node = NodeModelUtils.getNode(parent)

			info(

				message,

				parent,

				null,

				MessageClass.STYLE.toString,

				node.startLine.toString,
@@ -951,6 +966,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				val INode node = NodeModelUtils.getNode(f)

				info(

					message,

					f,

					null,

					MessageClass.STYLE.toString,

					node.startLine.toString,
@@ -970,6 +986,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				val INode node = NodeModelUtils.getNode(a)

				info(

					message,

					a,

					null,

					MessageClass.STYLE.toString,

					node.startLine.toString,
@@ -1166,6 +1183,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
					val INode node = NodeModelUtils.getNode(template)

					info(

						message,

						template,

						null,

						MessageClass.STYLE.toString,

						node.startLine.toString,
@@ -1229,6 +1247,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				val INode node = NodeModelUtils.getNode(p)

				warning(

					message,

					p,

					null,

					MessageClass.STYLE.toString,

					node.startLine.toString,
@@ -1298,6 +1317,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				val INode node = NodeModelUtils.getNode(variable)

				warning(

					message,

					variable,

					null,

					MessageClass.STYLE.toString,

					node.startLine.toString,
@@ -1347,6 +1367,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				val INode node = NodeModelUtils.getNode(value)

				warning(

					message,

					value,

					null,

					MessageClass.STYLE.toString,

					node.startLine.toString,
@@ -1379,6 +1400,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
						val INode node = NodeModelUtils.getNode(d.importDef)

						info(

							message,

							d.importDef,

							null,

							MessageClass.STYLE.toString,

							node.startLine.toString,
@@ -1397,6 +1419,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
						val INode node = NodeModelUtils.getNode(d.importDef)

						warning(

							message,

							d.importDef,

							null,

							MessageClass.STYLE.toString,

							node.startLine.toString,