de.be4.classicalb.core.parser.ParseOptions Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of bparser Show documentation
Part of the ProB Parser library
The newest version!
package de.be4.classicalb.core.parser;

import de.be4.classicalb.core.parser.grammars.DefaultGrammar;
import de.be4.classicalb.core.parser.grammars.IGrammar;

public class ParseOptions {

	/**
	 * if true the parser will throw a LexerException when unrecognised pragmas appear
	 */
	private boolean strictPragmaChecking = false;

	/**
	 * if true the parser will ignore checking valid combinations
	 */
	private boolean ignoreCheckingValidCombinations = false;

	/**
	 * if true the lexer will ignore certain tokens (typically ignored tokens).
	 * This option does nothing anymore and will be removed in the future.
	 */
	@Deprecated
	private boolean ignoreUselessTokens = true;

	/**
	 * if true the parser will collect definitions.
	 * 

	 * when disabled some checks/transformations will no longer work!
	 * 
	 * @deprecated Use only {@link #applyASTTransformations} instead,
	 *     which now controls all post-processing of the AST,
	 *     including collecting definitions.
	 */
	@Deprecated
	private boolean collectDefinitions = true;

	/**
	 * if true, AST transformations are enabled.
	 * 

	 * when disabled the AST is unusable because a lot of assumptions no longer hold!
	 */
	private boolean applyASTTransformations = true;

	/**
	 * if true the parser will apply some semantic checks.
	 * 

	 * when disabled some errors will not be caught!
	 * 
	 * @deprecated Use only {@link #applyASTTransformations} instead,
	 *     which now controls all post-processing of the AST,
	 *     including semantic checks.
	 */
	@Deprecated
	private boolean applySemanticChecks = true;

	private IGrammar grammar = new DefaultGrammar();

	public IGrammar getGrammar() {
		return grammar;
	}

	public void setGrammar(IGrammar grammar) {
		this.grammar = grammar;
	}

	public boolean isStrictPragmaChecking() {
		return strictPragmaChecking;
	}

	public void setStrictPragmaChecking(boolean newVal) {
		this.strictPragmaChecking = newVal;
	}

	public boolean isIgnoreCheckingValidCombinations() {
		return ignoreCheckingValidCombinations;
	}

	public void setIgnoreCheckingValidCombinations(boolean ignoreCheckingValidCombinations) {
		this.ignoreCheckingValidCombinations = ignoreCheckingValidCombinations;
	}

	/**
	 * @return whether ignoring useless tokens is enabled
	 * @deprecated This option does nothing anymore and will be removed in the future.
	 */
	@Deprecated
	public boolean isIgnoreUselessTokens() {
		return ignoreUselessTokens;
	}

	/**
	 * @param ignoreUselessTokens whether to ignore useless tokens
	 * @deprecated This option does nothing anymore and will be removed in the future.
	 */
	@Deprecated
	public void setIgnoreUselessTokens(boolean ignoreUselessTokens) {
		this.ignoreUselessTokens = ignoreUselessTokens;
	}

	@Deprecated
	public boolean isCollectDefinitions() {
		return collectDefinitions;
	}

	@Deprecated
	public void setCollectDefinitions(boolean collectDefinitions) {
		this.collectDefinitions = collectDefinitions;
	}

	public boolean isApplyASTTransformations() {
		return applyASTTransformations;
	}

	public void setApplyASTTransformations(boolean applyASTTransformations) {
		this.applyASTTransformations = applyASTTransformations;
	}

	@Deprecated
	public boolean isApplySemanticChecks() {
		return applySemanticChecks;
	}

	@Deprecated
	public void setApplySemanticChecks(boolean applySemanticChecks) {
		this.applySemanticChecks = applySemanticChecks;
	}
}