* restored validator stub

				// Generates checks for @Deprecated grammar annotations, an IssueProvider and a corresponding PropertyPage

				generateDeprecationValidation = true

				generateStub = false

				generateStub = true

			}

			generator = {

/*

 * generated by Xtext 2.36.0

 */

package de.ugoe.cs.swe.validation;

/**

 * This class contains custom validation rules. 

 *

 * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation

 */

public class TTCN3Validator extends AbstractTTCN3Validator {

//	public static final String INVALID_NAME = "invalidName";

//

//	@Check

//	public void checkGreetingStartsWithCapital(Greeting greeting) {

//		if (!Character.isUpperCase(greeting.getName().charAt(0))) {

//			warning("Name should start with a capital",

//					TTCN3Package.Literals.GREETING__NAME,

//					INVALID_NAME);

//		}

//	}

}