/** * generated by Xtext 2.12.0 */ package ca.mcgill.ecse.dslreasoner.scoping; import ca.mcgill.ecse.dslreasoner.scoping.AbstractVampireLanguageScopeProvider; /** * This class contains custom scoping description. * * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#scoping * on how and when to use it. */ @SuppressWarnings("all") public class VampireLanguageScopeProvider extends AbstractVampireLanguageScopeProvider { }