Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/SmtLanguageAntlrTokenFileProvider.java


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

/*
* generated by Xtext
*/
package hu.bme.mit.inf.dslreasoner.parser.antlr;

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

public class SmtLanguageAntlrTokenFileProvider implements IAntlrTokenFileProvider {
	
	public InputStream getAntlrTokenFile() {
		ClassLoader classLoader = getClass().getClassLoader();
    	return classLoader.getResourceAsStream("hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.tokens");
	}
}