TypeEnvironment

Constructors

public void TypeEnvironment(Map<String, Array<String>> customTypes, Map<String, MoonLightType> typeEnvironment, Map<String, Array<MoonLightType>> formulas, Set<String> edges, Set<String> signal, Set<String> location, Set<String> constants)

public synchronized void add(String name, MoonLightType type)

public synchronized void addConstant(String name, MoonLightType type)

public synchronized void addEdge(String name, MoonLightType type)

public synchronized void addFormula(String name, Array<MoonLightType> args)

public synchronized void addLocation(String name, MoonLightType type)

public synchronized void addSignal(String name, MoonLightType type)

public boolean exists(String name)

public boolean isValidIn(String name, TypeChecker.EvaluationContext evaluationContext)

public synchronized void recordType(ScriptTypeContext scriptTypeContext)