Commit 11a5d690 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ updated method name (feedback to #8)

parent 68a190f1

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

+4 −4
Original line number Diff line number Diff line
@@ -1206,7 +1206,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
			if (type instanceof RecordDefNamed) {

				var expr = template.body.simple.expr

				if (expr instanceof FieldExpressionList) {

					checkUnreferencedFields(expr, type, template.base.name)

					checkNoUninitializedFieldsInTemplates(expr, type, template.base.name)

				}

			}

		}
@@ -1224,7 +1224,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				for (single : variable.tempList.variables) {

					var expr = single.template.simple.expr

					if (expr instanceof FieldExpressionList) {

						checkUnreferencedFields(expr, type, single.name)

						checkNoUninitializedFieldsInTemplates(expr, type, single.name)

					}

				}

			}
@@ -1243,7 +1243,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
				for (single : (variable as VarInstance).tempList.variables) {

					var expr = single.template.simple.expr

					if (expr instanceof FieldExpressionList) {

						checkUnreferencedFields(expr, type, single.name)

						checkNoUninitializedFieldsInTemplates(expr, type, single.name)

					}

				}

			}
@@ -1251,7 +1251,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
	}



	

	protected def void checkUnreferencedFields(FieldExpressionList expr, RecordDefNamed type, String template) {

	protected def void checkNoUninitializedFieldsInTemplates(FieldExpressionList expr, RecordDefNamed type, String template) {

		var referencedFields = expr.specs.map[it.fieldRef]

		for (field : type.body.defs) {

			if (!referencedFields.contains(field)) {