Package net.maswag.falcaun

Class LTLVisitorImpl

java.lang.Object

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

net.maswag.falcaun.LTLBaseVisitor<TemporalLogic.LTLFormula>

net.maswag.falcaun.LTLVisitorImpl

All Implemented Interfaces:

LTLVisitor<TemporalLogic.LTLFormula>, org.antlr.v4.runtime.tree.ParseTreeVisitor<TemporalLogic.LTLFormula>

public class LTLVisitorImpl
extends LTLBaseVisitor<TemporalLogic.LTLFormula>

LTLVisitorImpl 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
LTLVisitorImpl()

Method Summary

Modifier and Type	Method	Description
private TemporalLogic.LTLFormula	handleInterval(TemporalOp<String> subFml, LTLParser.IntervalContext ctx)
TemporalLogic.LTLFormula	visitExpr(LTLParser.ExprContext ctx)	Visit a parse tree produced by LTLParser.expr().

Methods inherited from class net.maswag.falcaun.LTLBaseVisitor

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

LTLVisitorImpl

public LTLVisitorImpl()

Method Details

handleInterval

private TemporalLogic.LTLFormula handleInterval(TemporalOp<String> subFml,
 LTLParser.IntervalContext ctx)

visitExpr

public TemporalLogic.LTLFormula visitExpr(LTLParser.ExprContext ctx)

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

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

Specified by:

visitExpr in interface LTLVisitor<TemporalLogic.LTLFormula>

Overrides:

visitExpr in class LTLBaseVisitor<TemporalLogic.LTLFormula>

Parameters:

ctx - the parse tree

Returns:

the visitor result