info.scce.addlib.parser.XDDLanguageVisitor Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of addlib Show documentation
The Java Library for Algebraic Decision Diagrams, Code Generation, and Layouting
There is a newer version: 3.1.0
// Generated from info/scce/addlib/parser/XDDLanguage.g4 by ANTLR 4.5
package info.scce.addlib.parser;
import org.antlr.v4.runtime.misc.NotNull;
import org.antlr.v4.runtime.tree.ParseTreeVisitor;

/**
 * This interface defines a complete generic visitor for a parse tree produced
 * by {@link XDDLanguageParser}.
 *
 * @param  The return type of the visit operation. Use {@link Void} for
 * operations with no return type.
 */
public interface XDDLanguageVisitor extends ParseTreeVisitor {
	/**
	 * Visit a parse tree produced by {@link XDDLanguageParser#start}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitStart(XDDLanguageParser.StartContext ctx);
	/**
	 * Visit a parse tree produced by the {@code complExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitComplExpr(XDDLanguageParser.ComplExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code terminalExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitTerminalExpr(XDDLanguageParser.TerminalExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code intersectExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitIntersectExpr(XDDLanguageParser.IntersectExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code orExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitOrExpr(XDDLanguageParser.OrExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code unionExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitUnionExpr(XDDLanguageParser.UnionExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code multExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitMultExpr(XDDLanguageParser.MultExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code meetExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitMeetExpr(XDDLanguageParser.MeetExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code notExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitNotExpr(XDDLanguageParser.NotExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code joinExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitJoinExpr(XDDLanguageParser.JoinExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code inverseExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitInverseExpr(XDDLanguageParser.InverseExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code addExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitAddExpr(XDDLanguageParser.AddExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code infExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitInfExpr(XDDLanguageParser.InfExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code supExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitSupExpr(XDDLanguageParser.SupExprContext ctx);
	/**
	 * Visit a parse tree produced by the {@code andExpr}
	 * labeled alternative in {@link XDDLanguageParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitAndExpr(XDDLanguageParser.AndExprContext ctx);
}