• Home
• hu.bme.mit.theta
• theta-sts
• 6.8.1
• source code
• StsDslVisitor.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

hu.bme.mit.theta.sts.dsl.gen.StsDslVisitor Maven / Gradle / Ivy

// Generated from StsDsl.g4 by ANTLR 4.9.2
package hu.bme.mit.theta.sts.dsl.gen;
import org.antlr.v4.runtime.tree.ParseTreeVisitor;

/**
 * This interface defines a complete generic visitor for a parse tree produced
 * by {@link StsDslParser}.
 *
 * @param  The return type of the visit operation. Use {@link Void} for
 * operations with no return type.
 */
public interface StsDslVisitor extends ParseTreeVisitor {
	/**
	 * Visit a parse tree produced by {@link StsDslParser#stsSpec}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitStsSpec(StsDslParser.StsSpecContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#constDecl}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitConstDecl(StsDslParser.ConstDeclContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#varDecl}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitVarDecl(StsDslParser.VarDeclContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#propDecl}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitPropDecl(StsDslParser.PropDeclContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#stsDecl}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitStsDecl(StsDslParser.StsDeclContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#sts}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitSts(StsDslParser.StsContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#defSts}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitDefSts(StsDslParser.DefStsContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#invarConstr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitInvarConstr(StsDslParser.InvarConstrContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#initConstr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitInitConstr(StsDslParser.InitConstrContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#transConstr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitTransConstr(StsDslParser.TransConstrContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#refSts}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitRefSts(StsDslParser.RefStsContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#decl}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitDecl(StsDslParser.DeclContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#declList}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitDeclList(StsDslParser.DeclListContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#type}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitType(StsDslParser.TypeContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#typeList}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitTypeList(StsDslParser.TypeListContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#boolType}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitBoolType(StsDslParser.BoolTypeContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#intType}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitIntType(StsDslParser.IntTypeContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#ratType}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitRatType(StsDslParser.RatTypeContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#funcType}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitFuncType(StsDslParser.FuncTypeContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#arrayType}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitArrayType(StsDslParser.ArrayTypeContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#expr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitExpr(StsDslParser.ExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#exprList}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitExprList(StsDslParser.ExprListContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#funcLitExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitFuncLitExpr(StsDslParser.FuncLitExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#iteExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitIteExpr(StsDslParser.IteExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#iffExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitIffExpr(StsDslParser.IffExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#implyExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitImplyExpr(StsDslParser.ImplyExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#quantifiedExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitQuantifiedExpr(StsDslParser.QuantifiedExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#forallExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitForallExpr(StsDslParser.ForallExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#existsExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitExistsExpr(StsDslParser.ExistsExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#orExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitOrExpr(StsDslParser.OrExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#xorExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitXorExpr(StsDslParser.XorExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#andExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitAndExpr(StsDslParser.AndExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#notExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitNotExpr(StsDslParser.NotExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#equalityExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitEqualityExpr(StsDslParser.EqualityExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#relationExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitRelationExpr(StsDslParser.RelationExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#additiveExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitAdditiveExpr(StsDslParser.AdditiveExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#multiplicativeExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitMultiplicativeExpr(StsDslParser.MultiplicativeExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#negExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitNegExpr(StsDslParser.NegExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#accessorExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitAccessorExpr(StsDslParser.AccessorExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#access}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitAccess(StsDslParser.AccessContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#funcAccess}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitFuncAccess(StsDslParser.FuncAccessContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#arrayAccess}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitArrayAccess(StsDslParser.ArrayAccessContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#primeAccess}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitPrimeAccess(StsDslParser.PrimeAccessContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#primaryExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitPrimaryExpr(StsDslParser.PrimaryExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#trueExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitTrueExpr(StsDslParser.TrueExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#falseExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitFalseExpr(StsDslParser.FalseExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#intLitExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitIntLitExpr(StsDslParser.IntLitExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#ratLitExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitRatLitExpr(StsDslParser.RatLitExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#idExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitIdExpr(StsDslParser.IdExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#parenExpr}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitParenExpr(StsDslParser.ParenExprContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#stmt}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitStmt(StsDslParser.StmtContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#stmtList}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitStmtList(StsDslParser.StmtListContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#assignStmt}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitAssignStmt(StsDslParser.AssignStmtContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#havocStmt}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitHavocStmt(StsDslParser.HavocStmtContext ctx);
	/**
	 * Visit a parse tree produced by {@link StsDslParser#assumeStmt}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitAssumeStmt(StsDslParser.AssumeStmtContext ctx);
}