ogicng-parser-j11.2.6.0.source-code.LogicNGPropositionalBaseListener Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of logicng-parser-j11 Show documentation
An ANTLR Parser for LogicNG
The newest version!
// Generated from LogicNGPropositional.g4 by ANTLR 4.13.1

  package org.logicng.io.parsers;

  import java.util.LinkedHashSet;
  import org.logicng.formulas.*;


import org.antlr.v4.runtime.ParserRuleContext;
import org.antlr.v4.runtime.tree.ErrorNode;
import org.antlr.v4.runtime.tree.TerminalNode;

/**
 * This class provides an empty implementation of {@link LogicNGPropositionalListener},
 * which can be extended to create a listener which only needs to handle a subset
 * of the available methods.
 */
@SuppressWarnings("CheckReturnValue")
public class LogicNGPropositionalBaseListener implements LogicNGPropositionalListener {
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void enterFormula(LogicNGPropositionalParser.FormulaContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void exitFormula(LogicNGPropositionalParser.FormulaContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void enterConstant(LogicNGPropositionalParser.ConstantContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void exitConstant(LogicNGPropositionalParser.ConstantContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void enterSimp(LogicNGPropositionalParser.SimpContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void exitSimp(LogicNGPropositionalParser.SimpContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void enterLit(LogicNGPropositionalParser.LitContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void exitLit(LogicNGPropositionalParser.LitContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void enterConj(LogicNGPropositionalParser.ConjContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void exitConj(LogicNGPropositionalParser.ConjContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void enterDisj(LogicNGPropositionalParser.DisjContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void exitDisj(LogicNGPropositionalParser.DisjContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void enterImpl(LogicNGPropositionalParser.ImplContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void exitImpl(LogicNGPropositionalParser.ImplContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void enterEquiv(LogicNGPropositionalParser.EquivContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void exitEquiv(LogicNGPropositionalParser.EquivContext ctx) { }

	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void enterEveryRule(ParserRuleContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void exitEveryRule(ParserRuleContext ctx) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void visitTerminal(TerminalNode node) { }
	/**
	 * {@inheritDoc}
	 *
	 * The default implementation does nothing.
	 */
	@Override public void visitErrorNode(ErrorNode node) { }
}