nl.uu.cs.ape.parserSLTLx.sltlx2cnf.SLTLxBaseVisitor Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of APE Show documentation
APE is a command line tool and an API for the automated exploration of possible computational pipelines (workflows) from large collections of computational tools.
There is a newer version: 2.3.0
Show newest version
// Generated from SLTLx.g4 by ANTLR 4.10.1
package nl.uu.cs.ape.parserSLTLx.sltlx2cnf;

import org.antlr.v4.runtime.tree.AbstractParseTreeVisitor;

/**
 * This class provides an empty implementation of {@link SLTLxVisitor},
 * which can be extended to create a visitor which only needs to handle a subset
 * of the available methods.
 *
 * @param  The return type of the visit operation. Use {@link Void} for
 *            operations with no return type.
 */
public class SLTLxBaseVisitor extends AbstractParseTreeVisitor implements SLTLxVisitor {
	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitCondition(SLTLxParser.ConditionContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitToolRef(SLTLxParser.ToolRefContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitUnaryModal(SLTLxParser.UnaryModalContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitNegUnary(SLTLxParser.NegUnaryContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitR_relation(SLTLxParser.R_relationContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitBinaryBool(SLTLxParser.BinaryBoolContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitFunction(SLTLxParser.FunctionContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitForall(SLTLxParser.ForallContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitTrue(SLTLxParser.TrueContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitExists(SLTLxParser.ExistsContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitBinaryModal(SLTLxParser.BinaryModalContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitBrackets(SLTLxParser.BracketsContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitVarEq(SLTLxParser.VarEqContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitModule(SLTLxParser.ModuleContext ctx) {
		return visitChildren(ctx);
	}

	/**
	 * {@inheritDoc}
	 *
	 * 
	 * The default implementation returns the result of calling
	 * {@link #visitChildren} on {@code ctx}.
	 * 
	 */
	@Override
	public T visitVars(SLTLxParser.VarsContext ctx) {
		return visitChildren(ctx);
	}
}