script/io.github.moonlightsuite.moonlight.script/SpatialTemporalMonitoringGenerator

SpatialTemporalMonitoringGenerator

public class SpatialTemporalMonitoringGenerator extends MoonLightScriptBaseVisitor<T>

Constructors

public void SpatialTemporalMonitoringGenerator(Map<String, SpatialTemporalMonitorProducer> producers, NameResolver resolver, Map<String, RecordHandler> formulaParameters, RecordHandler inputHandler, RecordHandler signalHandler, RecordHandler edgeHandler)

Functions

eval

public SpatialTemporalMonitorProducer eval(MoonLightScriptParser.ExpressionContext formula)

visit

public T visit(ParseTree tree)

visitAndExpression

public SpatialTemporalMonitorProducer visitAndExpression(MoonLightScriptParser.AndExpressionContext ctx)

Visit a parse tree produced by the andExpression} labeled alternative in MoonLightScriptParser#expression.

visitBinaryMathCallExpression

public T visitBinaryMathCallExpression(MoonLightScriptParser.BinaryMathCallExpressionContext ctx)

Visit a parse tree produced by the binaryMathCallExpression} labeled alternative in MoonLightScriptParser#expression.

visitBinaryMathFunction

public T visitBinaryMathFunction(MoonLightScriptParser.BinaryMathFunctionContext ctx)

Visit a parse tree produced by MoonLightScriptParser#binaryMathFunction.

visitBooleanSemiring

public T visitBooleanSemiring(MoonLightScriptParser.BooleanSemiringContext ctx)

Visit a parse tree produced by the booleanSemiring} labeled alternative in MoonLightScriptParser#semiringExpression.

visitBooleanType

public T visitBooleanType(MoonLightScriptParser.BooleanTypeContext ctx)

Visit a parse tree produced by the booleanType} labeled alternative in MoonLightScriptParser#basicType.

visitBracketExpression

public SpatialTemporalMonitorProducer visitBracketExpression(MoonLightScriptParser.BracketExpressionContext ctx)

Visit a parse tree produced by the bracketExpression} labeled alternative in MoonLightScriptParser#expression.

visitChildren

public T visitChildren(RuleNode node)

visitErrorNode

public T visitErrorNode(ErrorNode node)

visitEscapeExpression

public SpatialTemporalMonitorProducer visitEscapeExpression(MoonLightScriptParser.EscapeExpressionContext ctx)

Visit a parse tree produced by the escapeExpression} labeled alternative in MoonLightScriptParser#expression.

visitEventuallyExpression

public SpatialTemporalMonitorProducer visitEventuallyExpression(MoonLightScriptParser.EventuallyExpressionContext ctx)

Visit a parse tree produced by the eventuallyExpression} labeled alternative in MoonLightScriptParser#expression.

visitEverywhereExpression

public SpatialTemporalMonitorProducer visitEverywhereExpression(MoonLightScriptParser.EverywhereExpressionContext ctx)

Visit a parse tree produced by the everywhereExpression} labeled alternative in MoonLightScriptParser#expression.

visitFalseExpression

public SpatialTemporalMonitorProducer visitFalseExpression(MoonLightScriptParser.FalseExpressionContext ctx)

Visit a parse tree produced by the falseExpression} labeled alternative in MoonLightScriptParser#expression.

visitGloballyExpression

public SpatialTemporalMonitorProducer visitGloballyExpression(MoonLightScriptParser.GloballyExpressionContext ctx)

Visit a parse tree produced by the globallyExpression} labeled alternative in MoonLightScriptParser#expression.

visitHistoricallyExpression

public SpatialTemporalMonitorProducer visitHistoricallyExpression(MoonLightScriptParser.HistoricallyExpressionContext ctx)

Visit a parse tree produced by the historicallyExpression} labeled alternative in MoonLightScriptParser#expression.

visitIfThenElseExpression

public T visitIfThenElseExpression(MoonLightScriptParser.IfThenElseExpressionContext ctx)

Visit a parse tree produced by the ifThenElseExpression} labeled alternative in MoonLightScriptParser#expression.

visitImplyExpression

public SpatialTemporalMonitorProducer visitImplyExpression(MoonLightScriptParser.ImplyExpressionContext ctx)

Visit a parse tree produced by the implyExpression} labeled alternative in MoonLightScriptParser#expression.

visitInfinityExpression

public T visitInfinityExpression(MoonLightScriptParser.InfinityExpressionContext ctx)

Visit a parse tree produced by the infinityExpression} labeled alternative in MoonLightScriptParser#expression.

visitIntegerType

public T visitIntegerType(MoonLightScriptParser.IntegerTypeContext ctx)

Visit a parse tree produced by the integerType} labeled alternative in MoonLightScriptParser#basicType.

visitInterval

public T visitInterval(MoonLightScriptParser.IntervalContext ctx)

Visit a parse tree produced by MoonLightScriptParser#interval.

visitIntExpression

public T visitIntExpression(MoonLightScriptParser.IntExpressionContext ctx)

Visit a parse tree produced by the intExpression} labeled alternative in MoonLightScriptParser#expression.

visitMinMaxSemiring

public T visitMinMaxSemiring(MoonLightScriptParser.MinMaxSemiringContext ctx)

Visit a parse tree produced by the minMaxSemiring} labeled alternative in MoonLightScriptParser#semiringExpression.

visitModel

public T visitModel(MoonLightScriptParser.ModelContext ctx)

Visit a parse tree produced by MoonLightScriptParser#model.

visitMulDivExpression

public T visitMulDivExpression(MoonLightScriptParser.MulDivExpressionContext ctx)

Visit a parse tree produced by the mulDivExpression} labeled alternative in MoonLightScriptParser#expression.

visitNextExpression

public T visitNextExpression(MoonLightScriptParser.NextExpressionContext ctx)

Visit a parse tree produced by the nextExpression} labeled alternative in MoonLightScriptParser#expression.

visitNotExpression

public SpatialTemporalMonitorProducer visitNotExpression(MoonLightScriptParser.NotExpressionContext ctx)

Visit a parse tree produced by the notExpression} labeled alternative in MoonLightScriptParser#expression.

visitOnceExpression

public SpatialTemporalMonitorProducer visitOnceExpression(MoonLightScriptParser.OnceExpressionContext ctx)

Visit a parse tree produced by the onceExpression} labeled alternative in MoonLightScriptParser#expression.

visitOrExpression

public SpatialTemporalMonitorProducer visitOrExpression(MoonLightScriptParser.OrExpressionContext ctx)

Visit a parse tree produced by the orExpression} labeled alternative in MoonLightScriptParser#expression.

visitReachExpression

public SpatialTemporalMonitorProducer visitReachExpression(MoonLightScriptParser.ReachExpressionContext ctx)

Visit a parse tree produced by the reachExpression} labeled alternative in MoonLightScriptParser#expression.

visitRealExpression

public T visitRealExpression(MoonLightScriptParser.RealExpressionContext ctx)

Visit a parse tree produced by the realExpression} labeled alternative in MoonLightScriptParser#expression.

visitRealType

public T visitRealType(MoonLightScriptParser.RealTypeContext ctx)

Visit a parse tree produced by the realType} labeled alternative in MoonLightScriptParser#basicType.

visitReferenceExpression

public SpatialTemporalMonitorProducer visitReferenceExpression(MoonLightScriptParser.ReferenceExpressionContext ctx)

Visit a parse tree produced by the referenceExpression} labeled alternative in MoonLightScriptParser#expression.

visitReferenceType

public T visitReferenceType(MoonLightScriptParser.ReferenceTypeContext ctx)

Visit a parse tree produced by the referenceType} labeled alternative in MoonLightScriptParser#basicType.

visitRelationExpression

public SpatialTemporalMonitorProducer visitRelationExpression(MoonLightScriptParser.RelationExpressionContext ctx)

Visit a parse tree produced by the relationExpression} labeled alternative in MoonLightScriptParser#expression.

visitScriptConstant

public T visitScriptConstant(MoonLightScriptParser.ScriptConstantContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptConstant.

visitScriptDomain

public T visitScriptDomain(MoonLightScriptParser.ScriptDomainContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptDomain.

visitScriptFormula

public T visitScriptFormula(MoonLightScriptParser.ScriptFormulaContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptFormula.

visitScriptSignal

public T visitScriptSignal(MoonLightScriptParser.ScriptSignalContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptSignal.

visitScriptSpace

public T visitScriptSpace(MoonLightScriptParser.ScriptSpaceContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptSpace.

visitScriptType

public T visitScriptType(MoonLightScriptParser.ScriptTypeContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptType.

visitSinceExpression

public SpatialTemporalMonitorProducer visitSinceExpression(MoonLightScriptParser.SinceExpressionContext ctx)

Visit a parse tree produced by the sinceExpression} labeled alternative in MoonLightScriptParser#expression.

visitSomewhereExpression

public SpatialTemporalMonitorProducer visitSomewhereExpression(MoonLightScriptParser.SomewhereExpressionContext ctx)

Visit a parse tree produced by the somewhereExpression} labeled alternative in MoonLightScriptParser#expression.

visitSumDifExpression

public T visitSumDifExpression(MoonLightScriptParser.SumDifExpressionContext ctx)

Visit a parse tree produced by the sumDifExpression} labeled alternative in MoonLightScriptParser#expression.

visitTerminal

public T visitTerminal(TerminalNode node)

visitTrueExpression

public SpatialTemporalMonitorProducer visitTrueExpression(MoonLightScriptParser.TrueExpressionContext ctx)

Visit a parse tree produced by the trueExpression} labeled alternative in MoonLightScriptParser#expression.

visitTypeElement

public T visitTypeElement(MoonLightScriptParser.TypeElementContext ctx)

Visit a parse tree produced by MoonLightScriptParser#typeElement.

visitUnaryExpression

public T visitUnaryExpression(MoonLightScriptParser.UnaryExpressionContext ctx)

Visit a parse tree produced by the unaryExpression} labeled alternative in MoonLightScriptParser#expression.

visitUnaryMathCallExpression

public T visitUnaryMathCallExpression(MoonLightScriptParser.UnaryMathCallExpressionContext ctx)

Visit a parse tree produced by the unaryMathCallExpression} labeled alternative in MoonLightScriptParser#expression.

visitUnaryMathFunction

public T visitUnaryMathFunction(MoonLightScriptParser.UnaryMathFunctionContext ctx)

Visit a parse tree produced by MoonLightScriptParser#unaryMathFunction.

visitUntilExpression

public SpatialTemporalMonitorProducer visitUntilExpression(MoonLightScriptParser.UntilExpressionContext ctx)

Visit a parse tree produced by the untilExpression} labeled alternative in MoonLightScriptParser#expression.

visitVariableDeclaration

public T visitVariableDeclaration(MoonLightScriptParser.VariableDeclarationContext ctx)

Visit a parse tree produced by MoonLightScriptParser#variableDeclaration.