Commit 599dda1e authored by Daniel Honsel's avatar Daniel Honsel
Browse files

fixed minor issue

parent 7bdb5454

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

+6 −5
Original line number Diff line number Diff line
@@ -25,7 +25,7 @@ class TTCN3Validator extends AbstractTTCN3Validator { 
			for (SingleConstDef d : constDefList.list) {

				if (d != variable && d.name == variable.name) {

					// TODO: TTCN3Package$Literals::SINGLE_CONST_DEF__NAME

					error('Name clash with constant variable definition in parent module!', null, -1);

					error('Name clash with constant variable definition in this scope!', null, -1);

					return;

				}				

			}
@@ -43,10 +43,11 @@ class TTCN3Validator extends AbstractTTCN3Validator { 
	

	@Check

	def checkModuleStartsWithM(TTCN3Module module) {

		// TODO: module.name.toString.charAt(0) --> module.name.charAt(0)

		if (module.name.toString.charAt(0) != 'M') {

			//TODO: TTCN3Package$Literals::TTCN3_MODULE__NAME

			warning('Module names should start with M!', null, -1);

		val char pattern = 'M';

		

		if (module.name.charAt(0) != pattern) {

			//TODO: TTCN3Package$Literals::TTCN3_MODULE__NAME or get EStructuralFeature from somewhere else

			warning('Module names should start with M!', null, TTCN3Package.TTCN3_MODULE__NAME);

		}

	}