SemiFormalProofParser.java

/*
* generated by Xtext
*/
package net.certware.argument.sfp.parser.antlr;

import com.google.inject.Inject;

import org.eclipse.xtext.parser.antlr.XtextTokenStream;
import net.certware.argument.sfp.services.SemiFormalProofGrammarAccess;

public class SemiFormalProofParser extends org.eclipse.xtext.parser.antlr.AbstractAntlrParser {
	
	@Inject
	private SemiFormalProofGrammarAccess grammarAccess;
	
	@Override
	protected void setInitialHiddenTokens(XtextTokenStream tokenStream) {
		tokenStream.setInitialHiddenTokens("RULE_WS", "RULE_ML_COMMENT", "RULE_SL_COMMENT");
	}
	
	@Override
	protected net.certware.argument.sfp.parser.antlr.internal.InternalSemiFormalProofParser createParser(XtextTokenStream stream) {
		return new net.certware.argument.sfp.parser.antlr.internal.InternalSemiFormalProofParser(stream, getGrammarAccess());
	}
	
	@Override 
	protected String getDefaultRuleName() {
		return "Proof";
	}
	
	public SemiFormalProofGrammarAccess getGrammarAccess() {
		return this.grammarAccess;
	}
	
	public void setGrammarAccess(SemiFormalProofGrammarAccess grammarAccess) {
		this.grammarAccess = grammarAccess;
	}
	
}