/*
 * generated by Xtext 2.12.0
 */
package ca.mcgill.ecse.dslreasoner.validation


/**
 * This class contains custom validation rules. 
 *
 * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation
 */
class VampireLanguageValidator extends AbstractVampireLanguageValidator {
	
//	public static val INVALID_NAME = 'invalidName'
//
//	@Check
//	def checkGreetingStartsWithCapital(Greeting greeting) {
//		if (!Character.isUpperCase(greeting.name.charAt(0))) {
//			warning('Name should start with a capital', 
//					VampireLanguagePackage.Literals.GREETING__NAME,
//					INVALID_NAME)
//		}
//	}
	
}