Package org.btrplace.safeplace.spec

Class MyCstrSpecVisitor

java.lang.Object

org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T>

org.btrplace.safeplace.spec.antlr.CstrSpecBaseVisitor

org.btrplace.safeplace.spec.MyCstrSpecVisitor

All Implemented Interfaces:

org.antlr.v4.runtime.tree.ParseTreeVisitor, CstrSpecVisitor

public class MyCstrSpecVisitor
extends CstrSpecBaseVisitor

Author:

Fabien Hermenier

Constructor Summary

Constructors

Constructor	Description
MyCstrSpecVisitor()

Method Summary

Modifier and Type	Method	Description
MyCstrSpecVisitor	args(List<UserVar<?>> args)
MyCstrSpecVisitor	constraints(List<Constraint> cstrs)
Proposition	getProposition(String name, org.antlr.v4.runtime.tree.ParseTree t)
UserVar	getUserVar(String name, org.antlr.v4.runtime.tree.ParseTree t)
MyCstrSpecVisitor	library(List<Function<?>> funcs)
Proposition	visitAll(CstrSpecParser.AllContext ctx)	Visit a parse tree produced by the all labeled alternative in CstrSpecParser.formula().
Term<?>	visitArrayTerm(CstrSpecParser.ArrayTermContext ctx)	Visit a parse tree produced by the arrayTerm labeled alternative in CstrSpecParser.term().
FunctionCall	visitCall(CstrSpecParser.CallContext ctx)	Visit a parse tree produced by CstrSpecParser.call().
ConstraintCall	visitCstrCall(CstrSpecParser.CstrCallContext ctx)	Visit a parse tree produced by the cstrCall labeled alternative in CstrSpecParser.formula().
Exists	visitExists(CstrSpecParser.ExistsContext ctx)	Visit a parse tree produced by the exists labeled alternative in CstrSpecParser.formula().
Proposition	visitFormulaOp(CstrSpecParser.FormulaOpContext ctx)	Visit a parse tree produced by the formulaOp labeled alternative in CstrSpecParser.formula().
Term<?>	visitIdTerm(CstrSpecParser.IdTermContext ctx)	Visit a parse tree produced by the idTerm labeled alternative in CstrSpecParser.term().
Constant	visitIntTerm(CstrSpecParser.IntTermContext ctx)	Visit a parse tree produced by the intTerm labeled alternative in CstrSpecParser.term().
ListBuilder<?>	visitListInComprehension(CstrSpecParser.ListInComprehensionContext ctx)	Visit a parse tree produced by the listInComprehension labeled alternative in CstrSpecParser.list().
Proposition	visitProtectedFormula(CstrSpecParser.ProtectedFormulaContext ctx)	Visit a parse tree produced by the protectedFormula labeled alternative in CstrSpecParser.formula().
Term	visitProtectedTerm(CstrSpecParser.ProtectedTermContext ctx)	Visit a parse tree produced by the protectedTerm labeled alternative in CstrSpecParser.term().
SetBuilder<?>	visitSetInComprehension(CstrSpecParser.SetInComprehensionContext ctx)	Visit a parse tree produced by the setInComprehension labeled alternative in CstrSpecParser.set().
ExplodedSet	visitSetInExtension(CstrSpecParser.SetInExtensionContext ctx)	Visit a parse tree produced by the setInExtension labeled alternative in CstrSpecParser.set().
Constant	visitStringTerm(CstrSpecParser.StringTermContext ctx)	Visit a parse tree produced by the stringTerm labeled alternative in CstrSpecParser.term().
Proposition	visitTermComparison(CstrSpecParser.TermComparisonContext c)	Visit a parse tree produced by the termComparison labeled alternative in CstrSpecParser.formula().
Term<?>	visitTermOp(CstrSpecParser.TermOpContext ctx)	Visit a parse tree produced by the termOp labeled alternative in CstrSpecParser.term().
List<UserVar<?>>	visitTypedef(CstrSpecParser.TypedefContext ctx)	Visit a parse tree produced by CstrSpecParser.typedef().

Methods inherited from class org.btrplace.safeplace.spec.antlr.CstrSpecBaseVisitor

visitComparison, visitListInExtension, visitListTerm, visitSetTerm, visitTermFunc

Methods inherited from class org.antlr.v4.runtime.tree.AbstractParseTreeVisitor

aggregateResult, defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeVisitor

visit, visitChildren, visitErrorNode, visitTerminal

Constructor Details

MyCstrSpecVisitor

public MyCstrSpecVisitor()

Method Details

args

public MyCstrSpecVisitor args(List<UserVar<?>> args)

library

public MyCstrSpecVisitor library(List<Function<?>> funcs)

constraints

public MyCstrSpecVisitor constraints(List<Constraint> cstrs)

getProposition

public Proposition getProposition(String name, org.antlr.v4.runtime.tree.ParseTree t)

Parameters:

name - the proposition name

t - the tree

Returns:

the parsed proposition

getUserVar

public UserVar getUserVar(String name, org.antlr.v4.runtime.tree.ParseTree t)

Parameters:

name - the variable identifier

t - the tree

Returns:

the parsed variable

visitAll

public Proposition visitAll(@NotNull CstrSpecParser.AllContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the all labeled alternative in CstrSpecParser.formula().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitAll in interface CstrSpecVisitor

Overrides:

visitAll in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitExists

public Exists visitExists(@NotNull CstrSpecParser.ExistsContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the exists labeled alternative in CstrSpecParser.formula().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitExists in interface CstrSpecVisitor

Overrides:

visitExists in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitCall

public FunctionCall visitCall(@NotNull CstrSpecParser.CallContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by CstrSpecParser.call().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitCall in interface CstrSpecVisitor

Overrides:

visitCall in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitCstrCall

public ConstraintCall visitCstrCall(@NotNull CstrSpecParser.CstrCallContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the cstrCall labeled alternative in CstrSpecParser.formula().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitCstrCall in interface CstrSpecVisitor

Overrides:

visitCstrCall in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitTypedef

public List<UserVar<?>> visitTypedef(@NotNull CstrSpecParser.TypedefContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by CstrSpecParser.typedef().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitTypedef in interface CstrSpecVisitor

Overrides:

visitTypedef in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitFormulaOp

public Proposition visitFormulaOp(@NotNull CstrSpecParser.FormulaOpContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the formulaOp labeled alternative in CstrSpecParser.formula().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitFormulaOp in interface CstrSpecVisitor

Overrides:

visitFormulaOp in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitSetInExtension

public ExplodedSet visitSetInExtension(@NotNull CstrSpecParser.SetInExtensionContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the setInExtension labeled alternative in CstrSpecParser.set().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitSetInExtension in interface CstrSpecVisitor

Overrides:

visitSetInExtension in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitProtectedTerm

public Term visitProtectedTerm(@NotNull CstrSpecParser.ProtectedTermContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the protectedTerm labeled alternative in CstrSpecParser.term().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitProtectedTerm in interface CstrSpecVisitor

Overrides:

visitProtectedTerm in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitSetInComprehension

public SetBuilder<?> visitSetInComprehension(@NotNull CstrSpecParser.SetInComprehensionContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the setInComprehension labeled alternative in CstrSpecParser.set().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitSetInComprehension in interface CstrSpecVisitor

Overrides:

visitSetInComprehension in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitListInComprehension

public ListBuilder<?> visitListInComprehension(@NotNull CstrSpecParser.ListInComprehensionContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the listInComprehension labeled alternative in CstrSpecParser.list().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitListInComprehension in interface CstrSpecVisitor

Overrides:

visitListInComprehension in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitProtectedFormula

public Proposition visitProtectedFormula(@NotNull CstrSpecParser.ProtectedFormulaContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the protectedFormula labeled alternative in CstrSpecParser.formula().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitProtectedFormula in interface CstrSpecVisitor

Overrides:

visitProtectedFormula in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitArrayTerm

public Term<?> visitArrayTerm(@NotNull CstrSpecParser.ArrayTermContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the arrayTerm labeled alternative in CstrSpecParser.term().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitArrayTerm in interface CstrSpecVisitor

Overrides:

visitArrayTerm in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitIdTerm

public Term<?> visitIdTerm(@NotNull CstrSpecParser.IdTermContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the idTerm labeled alternative in CstrSpecParser.term().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitIdTerm in interface CstrSpecVisitor

Overrides:

visitIdTerm in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitIntTerm

public Constant visitIntTerm(@NotNull CstrSpecParser.IntTermContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the intTerm labeled alternative in CstrSpecParser.term().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitIntTerm in interface CstrSpecVisitor

Overrides:

visitIntTerm in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitStringTerm

public Constant visitStringTerm(@NotNull CstrSpecParser.StringTermContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the stringTerm labeled alternative in CstrSpecParser.term().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitStringTerm in interface CstrSpecVisitor

Overrides:

visitStringTerm in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitTermComparison

public Proposition visitTermComparison(@NotNull CstrSpecParser.TermComparisonContext c)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the termComparison labeled alternative in CstrSpecParser.formula().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitTermComparison in interface CstrSpecVisitor

Overrides:

visitTermComparison in class CstrSpecBaseVisitor

Parameters:

c - the parse tree

Returns:

the visitor result

visitTermOp

public Term<?> visitTermOp(@NotNull CstrSpecParser.TermOpContext ctx)

Description copied from class: CstrSpecBaseVisitor

Visit a parse tree produced by the termOp labeled alternative in CstrSpecParser.term().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitTermOp in interface CstrSpecVisitor

Overrides:

visitTermOp in class CstrSpecBaseVisitor

Parameters:

ctx - the parse tree

Returns:

the visitor result