/** * generated by Xtext 2.12.0 */ package ca.mcgill.ecse.dslreasoner.validation; import ca.mcgill.ecse.dslreasoner.validation.AbstractVampireLanguageValidator; /** * This class contains custom validation rules. * * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation */ @SuppressWarnings("all") public class VampireLanguageValidator extends AbstractVampireLanguageValidator { }