script/io.github.moonlightsuite.moonlight.script/TypeChecker

TypeChecker

public class TypeChecker extends MoonLightScriptBaseVisitor<T>

Constructors

public void TypeChecker(List<MoonLightParseError> errors, TypeEnvironment typeEnvironment, TypeChecker.EvaluationContext evaluationContext, boolean isSpatial)

Types

EvaluationContext

public enum EvaluationContext

Functions

checkBoolean

public void checkBoolean(ParserRuleContext ctx)

checkReal

public void checkReal(ParserRuleContext ctx)

checkType

public boolean checkType(MoonLightType expected, ParserRuleContext ctx)

public static boolean checkType(List<MoonLightParseError> errors, TypeEnvironment typeEnvironment, MoonLightType expected, MoonLightScriptParser.ExpressionContext value)

infer

public MoonLightType infer(MoonLightScriptParser.ExpressionContext value)

inferType

public static MoonLightType inferType(List<MoonLightParseError> errors, TypeEnvironment typeEnvironment, MoonLightScriptParser.ExpressionContext value)

visit

public T visit(ParseTree tree)

visitAndExpression

public MoonLightType visitAndExpression(MoonLightScriptParser.AndExpressionContext ctx)

Visit a parse tree produced by the andExpression} labeled alternative in MoonLightScriptParser#expression.

visitBinaryMathCallExpression

public MoonLightType visitBinaryMathCallExpression(MoonLightScriptParser.BinaryMathCallExpressionContext ctx)

Visit a parse tree produced by the binaryMathCallExpression} labeled alternative in MoonLightScriptParser#expression.

visitBinaryMathFunction

public T visitBinaryMathFunction(MoonLightScriptParser.BinaryMathFunctionContext ctx)

Visit a parse tree produced by MoonLightScriptParser#binaryMathFunction.

visitBooleanSemiring

public T visitBooleanSemiring(MoonLightScriptParser.BooleanSemiringContext ctx)

Visit a parse tree produced by the booleanSemiring} labeled alternative in MoonLightScriptParser#semiringExpression.

visitBooleanType

public T visitBooleanType(MoonLightScriptParser.BooleanTypeContext ctx)

Visit a parse tree produced by the booleanType} labeled alternative in MoonLightScriptParser#basicType.

visitBracketExpression

public MoonLightType visitBracketExpression(MoonLightScriptParser.BracketExpressionContext ctx)

Visit a parse tree produced by the bracketExpression} labeled alternative in MoonLightScriptParser#expression.

visitChildren

public T visitChildren(RuleNode node)

visitErrorNode

public T visitErrorNode(ErrorNode node)

visitEscapeExpression

public MoonLightType visitEscapeExpression(MoonLightScriptParser.EscapeExpressionContext ctx)

Visit a parse tree produced by the escapeExpression} labeled alternative in MoonLightScriptParser#expression.

visitEventuallyExpression

public MoonLightType visitEventuallyExpression(MoonLightScriptParser.EventuallyExpressionContext ctx)

Visit a parse tree produced by the eventuallyExpression} labeled alternative in MoonLightScriptParser#expression.

visitEverywhereExpression

public MoonLightType visitEverywhereExpression(MoonLightScriptParser.EverywhereExpressionContext ctx)

Visit a parse tree produced by the everywhereExpression} labeled alternative in MoonLightScriptParser#expression.

visitFalseExpression

public MoonLightType visitFalseExpression(MoonLightScriptParser.FalseExpressionContext ctx)

Visit a parse tree produced by the falseExpression} labeled alternative in MoonLightScriptParser#expression.

visitGloballyExpression

public MoonLightType visitGloballyExpression(MoonLightScriptParser.GloballyExpressionContext ctx)

Visit a parse tree produced by the globallyExpression} labeled alternative in MoonLightScriptParser#expression.

visitHistoricallyExpression

public MoonLightType visitHistoricallyExpression(MoonLightScriptParser.HistoricallyExpressionContext ctx)

Visit a parse tree produced by the historicallyExpression} labeled alternative in MoonLightScriptParser#expression.

visitIfThenElseExpression

public MoonLightType visitIfThenElseExpression(MoonLightScriptParser.IfThenElseExpressionContext ctx)

Visit a parse tree produced by the ifThenElseExpression} labeled alternative in MoonLightScriptParser#expression.

visitImplyExpression

public MoonLightType visitImplyExpression(MoonLightScriptParser.ImplyExpressionContext ctx)

Visit a parse tree produced by the implyExpression} labeled alternative in MoonLightScriptParser#expression.

visitInfinityExpression

public MoonLightType visitInfinityExpression(MoonLightScriptParser.InfinityExpressionContext ctx)

Visit a parse tree produced by the infinityExpression} labeled alternative in MoonLightScriptParser#expression.

visitIntegerType

public T visitIntegerType(MoonLightScriptParser.IntegerTypeContext ctx)

Visit a parse tree produced by the integerType} labeled alternative in MoonLightScriptParser#basicType.

visitInterval

public T visitInterval(MoonLightScriptParser.IntervalContext ctx)

Visit a parse tree produced by MoonLightScriptParser#interval.

visitIntExpression

public MoonLightType visitIntExpression(MoonLightScriptParser.IntExpressionContext ctx)

Visit a parse tree produced by the intExpression} labeled alternative in MoonLightScriptParser#expression.

visitMinMaxSemiring

public T visitMinMaxSemiring(MoonLightScriptParser.MinMaxSemiringContext ctx)

Visit a parse tree produced by the minMaxSemiring} labeled alternative in MoonLightScriptParser#semiringExpression.

visitModel

public T visitModel(MoonLightScriptParser.ModelContext ctx)

Visit a parse tree produced by MoonLightScriptParser#model.

visitMulDivExpression

public MoonLightType visitMulDivExpression(MoonLightScriptParser.MulDivExpressionContext ctx)

Visit a parse tree produced by the mulDivExpression} labeled alternative in MoonLightScriptParser#expression.

visitNextExpression

public MoonLightType visitNextExpression(MoonLightScriptParser.NextExpressionContext ctx)

Visit a parse tree produced by the nextExpression} labeled alternative in MoonLightScriptParser#expression.

visitNotExpression

public MoonLightType visitNotExpression(MoonLightScriptParser.NotExpressionContext ctx)

Visit a parse tree produced by the notExpression} labeled alternative in MoonLightScriptParser#expression.

visitOnceExpression

public MoonLightType visitOnceExpression(MoonLightScriptParser.OnceExpressionContext ctx)

Visit a parse tree produced by the onceExpression} labeled alternative in MoonLightScriptParser#expression.

visitOrExpression

public MoonLightType visitOrExpression(MoonLightScriptParser.OrExpressionContext ctx)

Visit a parse tree produced by the orExpression} labeled alternative in MoonLightScriptParser#expression.

visitReachExpression

public MoonLightType visitReachExpression(MoonLightScriptParser.ReachExpressionContext ctx)

Visit a parse tree produced by the reachExpression} labeled alternative in MoonLightScriptParser#expression.

visitRealExpression

public MoonLightType visitRealExpression(MoonLightScriptParser.RealExpressionContext ctx)

Visit a parse tree produced by the realExpression} labeled alternative in MoonLightScriptParser#expression.

visitRealType

public T visitRealType(MoonLightScriptParser.RealTypeContext ctx)

Visit a parse tree produced by the realType} labeled alternative in MoonLightScriptParser#basicType.

visitReferenceExpression

public MoonLightType visitReferenceExpression(MoonLightScriptParser.ReferenceExpressionContext ctx)

Visit a parse tree produced by the referenceExpression} labeled alternative in MoonLightScriptParser#expression.

visitReferenceType

public T visitReferenceType(MoonLightScriptParser.ReferenceTypeContext ctx)

Visit a parse tree produced by the referenceType} labeled alternative in MoonLightScriptParser#basicType.

visitRelationExpression

public MoonLightType visitRelationExpression(MoonLightScriptParser.RelationExpressionContext ctx)

Visit a parse tree produced by the relationExpression} labeled alternative in MoonLightScriptParser#expression.

visitScriptConstant

public T visitScriptConstant(MoonLightScriptParser.ScriptConstantContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptConstant.

visitScriptDomain

public T visitScriptDomain(MoonLightScriptParser.ScriptDomainContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptDomain.

visitScriptFormula

public T visitScriptFormula(MoonLightScriptParser.ScriptFormulaContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptFormula.

visitScriptSignal

public T visitScriptSignal(MoonLightScriptParser.ScriptSignalContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptSignal.

visitScriptSpace

public T visitScriptSpace(MoonLightScriptParser.ScriptSpaceContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptSpace.

visitScriptType

public T visitScriptType(MoonLightScriptParser.ScriptTypeContext ctx)

Visit a parse tree produced by MoonLightScriptParser#scriptType.

visitSinceExpression

public MoonLightType visitSinceExpression(MoonLightScriptParser.SinceExpressionContext ctx)

Visit a parse tree produced by the sinceExpression} labeled alternative in MoonLightScriptParser#expression.

visitSomewhereExpression

public MoonLightType visitSomewhereExpression(MoonLightScriptParser.SomewhereExpressionContext ctx)

Visit a parse tree produced by the somewhereExpression} labeled alternative in MoonLightScriptParser#expression.

visitSumDifExpression

public MoonLightType visitSumDifExpression(MoonLightScriptParser.SumDifExpressionContext ctx)

Visit a parse tree produced by the sumDifExpression} labeled alternative in MoonLightScriptParser#expression.

visitTerminal

public T visitTerminal(TerminalNode node)

visitTrueExpression

public MoonLightType visitTrueExpression(MoonLightScriptParser.TrueExpressionContext ctx)

Visit a parse tree produced by the trueExpression} labeled alternative in MoonLightScriptParser#expression.

visitTypeElement

public T visitTypeElement(MoonLightScriptParser.TypeElementContext ctx)

Visit a parse tree produced by MoonLightScriptParser#typeElement.

visitUnaryExpression

public MoonLightType visitUnaryExpression(MoonLightScriptParser.UnaryExpressionContext ctx)

Visit a parse tree produced by the unaryExpression} labeled alternative in MoonLightScriptParser#expression.

visitUnaryMathCallExpression

public MoonLightType visitUnaryMathCallExpression(MoonLightScriptParser.UnaryMathCallExpressionContext ctx)

Visit a parse tree produced by the unaryMathCallExpression} labeled alternative in MoonLightScriptParser#expression.

visitUnaryMathFunction

public T visitUnaryMathFunction(MoonLightScriptParser.UnaryMathFunctionContext ctx)

Visit a parse tree produced by MoonLightScriptParser#unaryMathFunction.

visitUntilExpression

public MoonLightType visitUntilExpression(MoonLightScriptParser.UntilExpressionContext ctx)

Visit a parse tree produced by the untilExpression} labeled alternative in MoonLightScriptParser#expression.

visitVariableDeclaration

public T visitVariableDeclaration(MoonLightScriptParser.VariableDeclarationContext ctx)

Visit a parse tree produced by MoonLightScriptParser#variableDeclaration.