Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageAntlrTokenFileProvider.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

/*
 * generated by Xtext 2.14.0
 */
package ca.mcgill.ecse.dslreasoner.parser.antlr;

import java.io.InputStream;
import org.eclipse.xtext.parser.antlr.IAntlrTokenFileProvider;

public class VampireLanguageAntlrTokenFileProvider implements IAntlrTokenFileProvider {

	@Override
	public InputStream getAntlrTokenFile() {
		ClassLoader classLoader = getClass().getClassLoader();
		return classLoader.getResourceAsStream("ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens");
	}
}