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

SpatialTemporalMonitoringGenerator

public class SpatialTemporalMonitoringGenerator

Constructors

SpatialTemporalMonitoringGenerator

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

Functions

public SpatialTemporalMonitorProducer eval(ExpressionContext formula)

visitAndExpression

public SpatialTemporalMonitorProducer visitAndExpression(AndExpressionContext ctx)

visitBracketExpression

public SpatialTemporalMonitorProducer visitBracketExpression(BracketExpressionContext ctx)

visitEscapeExpression

public SpatialTemporalMonitorProducer visitEscapeExpression(EscapeExpressionContext ctx)

visitEventuallyExpression

public SpatialTemporalMonitorProducer visitEventuallyExpression(EventuallyExpressionContext ctx)

visitEverywhereExpression

public SpatialTemporalMonitorProducer visitEverywhereExpression(EverywhereExpressionContext ctx)

visitFalseExpression

public SpatialTemporalMonitorProducer visitFalseExpression(FalseExpressionContext ctx)

visitGloballyExpression

public SpatialTemporalMonitorProducer visitGloballyExpression(GloballyExpressionContext ctx)

visitHistoricallyExpression

public SpatialTemporalMonitorProducer visitHistoricallyExpression(HistoricallyExpressionContext ctx)

visitImplyExpression

public SpatialTemporalMonitorProducer visitImplyExpression(ImplyExpressionContext ctx)

visitNotExpression

public SpatialTemporalMonitorProducer visitNotExpression(NotExpressionContext ctx)

visitOnceExpression

public SpatialTemporalMonitorProducer visitOnceExpression(OnceExpressionContext ctx)

visitOrExpression

public SpatialTemporalMonitorProducer visitOrExpression(OrExpressionContext ctx)

visitReachExpression

public SpatialTemporalMonitorProducer visitReachExpression(ReachExpressionContext ctx)

visitReferenceExpression

public SpatialTemporalMonitorProducer visitReferenceExpression(ReferenceExpressionContext ctx)

visitRelationExpression

public SpatialTemporalMonitorProducer visitRelationExpression(RelationExpressionContext ctx)

visitSinceExpression

public SpatialTemporalMonitorProducer visitSinceExpression(SinceExpressionContext ctx)

visitSomewhereExpression

public SpatialTemporalMonitorProducer visitSomewhereExpression(SomewhereExpressionContext ctx)

visitTrueExpression

public SpatialTemporalMonitorProducer visitTrueExpression(TrueExpressionContext ctx)

visitUntilExpression

public SpatialTemporalMonitorProducer visitUntilExpression(UntilExpressionContext ctx)