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

TypeChecker

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, ExpressionContext value)

infer

public MoonLightType infer(ExpressionContext value)

inferType

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

visitAndExpression

public MoonLightType visitAndExpression(AndExpressionContext ctx)

visitBinaryMathCallExpression

public MoonLightType visitBinaryMathCallExpression(BinaryMathCallExpressionContext ctx)

visitBracketExpression

public MoonLightType visitBracketExpression(BracketExpressionContext ctx)

visitEscapeExpression

public MoonLightType visitEscapeExpression(EscapeExpressionContext ctx)

visitEventuallyExpression

public MoonLightType visitEventuallyExpression(EventuallyExpressionContext ctx)

visitEverywhereExpression

public MoonLightType visitEverywhereExpression(EverywhereExpressionContext ctx)

visitFalseExpression

public MoonLightType visitFalseExpression(FalseExpressionContext ctx)

visitGloballyExpression

public MoonLightType visitGloballyExpression(GloballyExpressionContext ctx)

visitHistoricallyExpression

public MoonLightType visitHistoricallyExpression(HistoricallyExpressionContext ctx)

visitIfThenElseExpression

public MoonLightType visitIfThenElseExpression(IfThenElseExpressionContext ctx)

visitImplyExpression

public MoonLightType visitImplyExpression(ImplyExpressionContext ctx)

visitInfinityExpression

public MoonLightType visitInfinityExpression(InfinityExpressionContext ctx)

visitIntExpression

public MoonLightType visitIntExpression(IntExpressionContext ctx)

visitMulDivExpression

public MoonLightType visitMulDivExpression(MulDivExpressionContext ctx)

visitNextExpression

public MoonLightType visitNextExpression(NextExpressionContext ctx)

visitNotExpression

public MoonLightType visitNotExpression(NotExpressionContext ctx)

visitOnceExpression

public MoonLightType visitOnceExpression(OnceExpressionContext ctx)

visitOrExpression

public MoonLightType visitOrExpression(OrExpressionContext ctx)

visitReachExpression

public MoonLightType visitReachExpression(ReachExpressionContext ctx)

visitRealExpression

public MoonLightType visitRealExpression(RealExpressionContext ctx)

visitReferenceExpression

public MoonLightType visitReferenceExpression(ReferenceExpressionContext ctx)

visitRelationExpression

public MoonLightType visitRelationExpression(RelationExpressionContext ctx)

visitSinceExpression

public MoonLightType visitSinceExpression(SinceExpressionContext ctx)

visitSomewhereExpression

public MoonLightType visitSomewhereExpression(SomewhereExpressionContext ctx)

visitSumDifExpression

public MoonLightType visitSumDifExpression(SumDifExpressionContext ctx)

visitTrueExpression

public MoonLightType visitTrueExpression(TrueExpressionContext ctx)

visitUnaryExpression

public MoonLightType visitUnaryExpression(UnaryExpressionContext ctx)

visitUnaryMathCallExpression

public MoonLightType visitUnaryMathCallExpression(UnaryMathCallExpressionContext ctx)

visitUntilExpression

public MoonLightType visitUntilExpression(UntilExpressionContext ctx)