Package net.maswag.falcaun

Class STLVisitorImpl

java.lang.Object

org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<TemporalLogic.STLCost>

net.maswag.falcaun.STLBaseVisitor<TemporalLogic.STLCost>

net.maswag.falcaun.STLVisitorImpl

All Implemented Interfaces:

STLVisitor<TemporalLogic.STLCost>, org.antlr.v4.runtime.tree.ParseTreeVisitor<TemporalLogic.STLCost>

public class STLVisitorImpl
extends STLBaseVisitor<TemporalLogic.STLCost>

STLVisitorImpl class.

Author:

Masaki Waga <masakiwaga@gmail.com>

Field Summary

Fields

Modifier and Type	Field	Description
private List<Map<Character,Double>>	inputMapper
private List<Character>	largest
private List<Map<Character,Double>>	outputMapper

Constructor Summary

Constructors

Constructor	Description
STLVisitorImpl()

Method Summary

Modifier and Type	Method	Description
private TemporalLogic.STLCost	handleInterval(TemporalOp<List<Double>> subFml, STLParser.IntervalContext ctx)
TemporalLogic.STLCost	visitAtomic(STLParser.AtomicContext ctx)	Visit a parse tree produced by STLParser.atomic().
TemporalLogic.STLCost	visitExpr(STLParser.ExprContext ctx)	Visit a parse tree produced by STLParser.expr().

Methods inherited from class net.maswag.falcaun.STLBaseVisitor

visitBinaryOperator, visitBinaryTemporalOperator, visitComparisonOperator, visitInterval, visitUnaryOperator, visitUnaryTemporalOperator, visitValue

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

Field Details

inputMapper

private List<Map<Character,Double>> inputMapper

outputMapper

private List<Map<Character,Double>> outputMapper

largest

private List<Character> largest

Constructor Details

STLVisitorImpl

public STLVisitorImpl()

Method Details

handleInterval

private TemporalLogic.STLCost handleInterval(TemporalOp<List<Double>> subFml,
 STLParser.IntervalContext ctx)

visitExpr

public TemporalLogic.STLCost visitExpr(STLParser.ExprContext ctx)

Visit a parse tree produced by STLParser.expr().

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

Specified by:

visitExpr in interface STLVisitor<TemporalLogic.STLCost>

Overrides:

visitExpr in class STLBaseVisitor<TemporalLogic.STLCost>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitAtomic

public TemporalLogic.STLCost visitAtomic(STLParser.AtomicContext ctx)

Visit a parse tree produced by STLParser.atomic().

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

Specified by:

visitAtomic in interface STLVisitor<TemporalLogic.STLCost>

Overrides:

visitAtomic in class STLBaseVisitor<TemporalLogic.STLCost>

Parameters:

ctx - the parse tree

Returns:

the visitor result