code: // Generated from MITLI.g4 by ANTLR 4.6
  
  package formulae.mitli.parser;
  
  import java.util.HashMap;
  import formulae.*;
  import formulae.mitli.*;
  import java.io.FileOutputStream;
  import java.io.OutputStream;
  import java.io.PrintStream;
  import java.io.FileNotFoundException;
  import java.util.Collections;
  import formulae.mitli.atoms.*;
  
  
  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 MITLIListener},
   * which can be extended to create a listener which only needs to handle a subset
   * of the available methods.
   */
  public class MITLIBaseListener implements MITLIListener {
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void enterMitli(MITLIParser.MitliContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void exitMitli(MITLIParser.MitliContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void enterLogic(MITLIParser.LogicContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void exitLogic(MITLIParser.LogicContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void enterDeclaration(MITLIParser.DeclarationContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void exitDeclaration(MITLIParser.DeclarationContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void enterFmla(MITLIParser.FmlaContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void exitFmla(MITLIParser.FmlaContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void enterConjuncts_list(MITLIParser.Conjuncts_listContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void exitConjuncts_list(MITLIParser.Conjuncts_listContext ctx) { }
  
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void enterEveryRule(ParserRuleContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void exitEveryRule(ParserRuleContext ctx) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void visitTerminal(TerminalNode node) { }
  	/**
  	 * {@inheritDoc}
  	 *
  	 * <p>The default implementation does nothing.</p>
  	 */
  	@Override public void visitErrorNode(ErrorNode node) { }
  }