engine/io.github.moonlightsuite.moonlight.core.formula/FormulaVisitor

FormulaVisitor

@Deprecated(since = "adoption of java17 pattern matching makes this useless")
public interface FormulaVisitor<P, M>

Deprecated

Since version adoption of java17 pattern matching makes this useless

Visitor interface to interpret a formula and, recursively, its subformulae.

Deprecated

Author

loreti

Parameters

<P>

Monitoring parameters Type

<M>

Monitoring type, based on some semantic interpretation type

See also

implementations to see how the visitor is accepted

Inheritors

Functions

Link copied to clipboard
public static IllegalArgumentException generateException(Class<? extends Object> c)
Link copied to clipboard
public M visit(AtomicFormula atomicFormula, P parameters)
public M visit(AndFormula andFormula, P parameters)
public M visit(NegationFormula negationFormula, P parameters)
public M visit(OrFormula orFormula, P parameters)
public M visit(EscapeFormula escapeFormula, P parameters)
public M visit(EverywhereFormula everywhereFormula, P parameters)
public M visit(ReachFormula reachFormula, P parameters)
public M visit(SomewhereFormula somewhereFormula, P parameters)
public M visit(EventuallyFormula eventuallyFormula, P parameters)
public M visit(GloballyFormula globallyFormula, P parameters)
public M visit(HistoricallyFormula historicallyFormula, P parameters)
public M visit(OnceFormula onceFormula, P parameters)
public M visit(SinceFormula sinceFormula, P parameters)
public M visit(UntilFormula untilFormula, P parameters)