engine/io.github.moonlightsuite.moonlight.io/FormulaJSonIO/FormulaSerialiser

FormulaSerialiser

public class FormulaSerialiser implements JsonSerializer<T>, FormulaVisitor<P, M>

Constructors

Link copied to clipboard

Functions

Link copied to clipboard
public static IllegalArgumentException generateException(Class<? extends Object> c)
Link copied to clipboard
public JsonElement serialize(Formula src, Type typeOfSrc, JsonSerializationContext context)
Link copied to clipboard
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 JsonElement visit(AtomicFormula atomicFormula, JsonSerializationContext parameters)
public JsonElement visit(AndFormula andFormula, JsonSerializationContext parameters)
public JsonElement visit(NegationFormula negationFormula, JsonSerializationContext parameters)
public JsonElement visit(OrFormula orFormula, JsonSerializationContext parameters)
public JsonElement visit(EventuallyFormula eventuallyFormula, JsonSerializationContext parameters)
public JsonElement visit(GloballyFormula globallyFormula, JsonSerializationContext parameters)
public JsonElement visit(HistoricallyFormula historicallyFormula, JsonSerializationContext parameters)
public JsonElement visit(OnceFormula onceFormula, JsonSerializationContext parameters)
public JsonElement visit(SinceFormula sinceFormula, JsonSerializationContext parameters)
public JsonElement visit(UntilFormula untilFormula, JsonSerializationContext parameters)