script/io.github.moonlightsuite.moonlight.script/TemporalMonitoringGenerator

TemporalMonitoringGenerator

public class TemporalMonitoringGenerator

Constructors

TemporalMonitoringGenerator

public void TemporalMonitoringGenerator(Map<String, TemporalMonitorProducer> producers, NameResolver resolver, Map<String, RecordHandler> formulaParameters, RecordHandler inputHandler, RecordHandler signalHandler)

Functions

public TemporalMonitorProducer eval(ExpressionContext formula)

visitAndExpression

public TemporalMonitorProducer visitAndExpression(AndExpressionContext ctx)

visitBracketExpression

public TemporalMonitorProducer visitBracketExpression(BracketExpressionContext ctx)

visitEventuallyExpression

public TemporalMonitorProducer visitEventuallyExpression(EventuallyExpressionContext ctx)

visitFalseExpression

public TemporalMonitorProducer visitFalseExpression(FalseExpressionContext ctx)

visitGloballyExpression

public TemporalMonitorProducer visitGloballyExpression(GloballyExpressionContext ctx)

visitHistoricallyExpression

public TemporalMonitorProducer visitHistoricallyExpression(HistoricallyExpressionContext ctx)

visitImplyExpression

public TemporalMonitorProducer visitImplyExpression(ImplyExpressionContext ctx)

visitNotExpression

public TemporalMonitorProducer visitNotExpression(NotExpressionContext ctx)

visitOnceExpression

public TemporalMonitorProducer visitOnceExpression(OnceExpressionContext ctx)

visitOrExpression

public TemporalMonitorProducer visitOrExpression(OrExpressionContext ctx)

visitReferenceExpression

public TemporalMonitorProducer visitReferenceExpression(ReferenceExpressionContext ctx)

visitRelationExpression

public TemporalMonitorProducer visitRelationExpression(RelationExpressionContext ctx)

visitSinceExpression

public TemporalMonitorProducer visitSinceExpression(SinceExpressionContext ctx)

visitTrueExpression

public TemporalMonitorProducer visitTrueExpression(TrueExpressionContext ctx)

visitUntilExpression

public TemporalMonitorProducer visitUntilExpression(UntilExpressionContext ctx)