SemanticAnalysis

class SemanticAnalysis

Semantic analysis

Class which contains all functions used to aid semantic analysis. Any errors are thrown and held in the error handler.

Constructors

SemanticAnalysis

fun SemanticAnalysis()

Create empty Semantic analysis

Functions

allExpressionsAreSameTypeCheck

fun allExpressionsAreSameTypeCheck(expected: Type, expressions: List<ExpressionNode>, currentSymbolTable: SymbolTableVisitor, ctx: ParserRuleContext)

All expressions are same type check

array2DDimensionsMatchCheck

fun array2DDimensionsMatchCheck(initialiser: InitialiserNode, dataStructureType: DataStructureType, ctx: ParserRuleContext)

Array2d dimensions match check

breakOrContinueOutsideLoopCheck

fun breakOrContinueOutsideLoopCheck(action: String, inLoop: Boolean, ctx: ParserRuleContext)

Break or continue outside loop check

checkAnnotationArguments

fun checkAnnotationArguments(ctx: ParserRuleContext, symbolTable: SymbolTableVisitor, arguments: List<ExpressionNode>): List<Type>

Check annotation arguments

checkArrayConstructorItemLengthsMatch

fun checkArrayConstructorItemLengthsMatch(openConstructorSize: Int, closeConstructorSize: Int, ctx: ParserRuleContext)

Check array constructor item lengths match

checkArrayDimensionsMatchConstructorArguments

fun checkArrayDimensionsMatchConstructorArguments(dataStructureType: DataStructureType, argumentsSize: Int, ctx: ParserRuleContext)

Check array dimensions match constructor arguments

checkArrayDimensionsNotGreaterThanTwo

fun checkArrayDimensionsNotGreaterThanTwo(arrayDimension: Int, ctx: ParserRuleContext)

Check array dimensions not greater than two

checkArrayElemHasCorrectNumberOfIndices

fun checkArrayElemHasCorrectNumberOfIndices(indices: List<ExpressionNode>, is2DArray: Boolean, ctx: ParserRuleContext)

Check array elem has correct number of indices

checkArrayElemIndexTypes

fun checkArrayElemIndexTypes(indices: List<ExpressionNode>, currentSymbolTable: SymbolTableVisitor, ctx: ParserRuleContext)

Check array elem index types

checkExpressionTypeWithExpectedType

fun checkExpressionTypeWithExpectedType(expression: ExpressionNode, expected: Type, currentSymbolTable: SymbolTableVisitor, ctx: ParserRuleContext)

Check expression type with expected type

checkExpressionTypeWithExpectedTypes

fun checkExpressionTypeWithExpectedTypes(expression: ExpressionNode, expected: Set<Type>, currentSymbolTable: SymbolTableVisitor, ctx: ParserRuleContext)

Check expression type with expected types

datastructureConstructorCheck

fun datastructureConstructorCheck(dataStructureType: DataStructureType, initialValue: List<ExpressionNode>, argumentTypes: List<Type>, ctx: VAlgoLangParser.DataStructureConstructorContext)

Datastructure constructor check

equals

open operator fun equals(other: Any?): Boolean

forLoopIdentifierNotBeingReassignedCheck

fun forLoopIdentifierNotBeingReassignedCheck(identifier: String, forLoopIdentifiers: Set<String>, ctx: ParserRuleContext)

For loop identifier not being reassigned check

forLoopRangeTypeCheck

fun forLoopRangeTypeCheck(symbolTable: SymbolTableVisitor, startExpr: ExpressionNode, endExpr: ExpressionNode, ctx: VAlgoLangParser.RangeHeaderContext)

For loop range type check

forLoopRangeUpdateNumberTypeCheck

fun forLoopRangeUpdateNumberTypeCheck(symbolTable: SymbolTableVisitor, change: ExpressionNode, ctx: ParserRuleContext)

For loop range update number type check

globalReturnCheck

fun globalReturnCheck(inFunction: Boolean, ctx: VAlgoLangParser.ReturnStatementContext)

Global return check

hashCode

open fun hashCode(): Int

incompatibleArgumentTypesCheck

fun incompatibleArgumentTypesCheck(dataStructureType: DataStructureType, argumentTypes: List<Type>, dataStructureMethod: DataStructureMethod, ctx: ParserRuleContext)

Incompatible argument types check

incompatibleArgumentTypesForFunctionsCheck

fun incompatibleArgumentTypesForFunctionsCheck(identifier: String, currentSymbolTable: SymbolTableVisitor, argTypes: List<Type>, ctx: VAlgoLangParser.FunctionCallContext)

Incompatible argument types for functions check

incompatibleInitialiserCheck

fun incompatibleInitialiserCheck(dataStructureType: DataStructureType, initialiser: ASTNode, ctx: ParserRuleContext)

Incompatible initialiser check

incompatibleMultipleFunctionCall

fun incompatibleMultipleFunctionCall(identifier: String, functionData: FunctionData, lhsType: Type, ctx: ParserRuleContext)

Incompatible multiple function call

incompatibleOperatorTypeCheck

fun incompatibleOperatorTypeCheck(operator: String, opExpr: ExpressionNode, currentSymbolTable: SymbolTableVisitor, ctx: VAlgoLangParser.ExprContext)

Incompatible operator type check

incompatibleReturnTypesCheck

fun incompatibleReturnTypesCheck(currentSymbolTable: SymbolTableVisitor, functionReturnType: Type, expression: ExpressionNode, ctx: VAlgoLangParser.ReturnStatementContext)

Incompatible return types check

incompatibleTypesCheck

fun incompatibleTypesCheck(lhsType: Type, rhsType: Type, text: String, ctx: ParserRuleContext)

Incompatible types check

inferType

fun inferType(currentSymbolTable: SymbolTableVisitor, expression: ExpressionNode): Type

Infer typeInfers type of expression

invalidArrayElemAssignment

fun invalidArrayElemAssignment(identifier: String, type: Type, ctx: VAlgoLangParser.Assignment_lhsContext)

Invalid array elem assignment

invalidNumberOfArgumentsForFunctionsCheck

fun invalidNumberOfArgumentsForFunctionsCheck(identifier: String, currentSymbolTable: SymbolTableVisitor, numArgs: Int, ctx: VAlgoLangParser.FunctionCallContext)

Invalid number of arguments for functions check

missingReturnCheck

fun missingReturnCheck(identifier: String, statements: List<StatementNode>, type: Type, ctx: VAlgoLangParser.FunctionContext)

Missing return check

notDataStructureCheck

fun notDataStructureCheck(currentSymbolTable: SymbolTableVisitor, identifier: String, ctx: ParserRuleContext)

Not data structure check

notValidMethodNameForDataStructureCheck

fun notValidMethodNameForDataStructureCheck(currentSymbolTable: SymbolTableVisitor, identifier: String, method: String, ctx: ParserRuleContext, overrideType: Type = ErrorType): Boolean

Not valid method name for data structure check

primitiveArgTypesCheck

fun primitiveArgTypesCheck(argTypes: List<Type>, methodName: String, dataStructureType: DataStructureType, ctx: VAlgoLangParser.MethodCallContext)

Primitive arg types check

primitiveInternalTypeForDataStructureCheck

fun primitiveInternalTypeForDataStructureCheck(internalType: Type, ctx: ParserRuleContext)

Primitive internal type for data structure check

redeclaredFunctionCheck

fun redeclaredFunctionCheck(currentSymbolTable: SymbolTableVisitor, identifier: String, returnType: Type, parameters: List<ParameterNode>, ctx: ParserRuleContext)

Redeclared function check

redeclaredVariableCheck

fun redeclaredVariableCheck(currentSymbolTable: SymbolTableVisitor, identifier: String, ctx: ParserRuleContext)

Redeclared variable check

tooManyInferredFunctionsCheck

fun tooManyInferredFunctionsCheck(currentSymbolTable: SymbolTableVisitor, ctx: ParserRuleContext)

Too many inferred functions check

toString

open fun toString(): String

unableToInferTypeCheck

fun unableToInferTypeCheck(rhsType: Type, ctx: ParserRuleContext)

Unable to infer type check

undeclaredFunctionCheck

fun undeclaredFunctionCheck(currentSymbolTable: SymbolTableVisitor, identifier: String, inFunction: Boolean, argTypes: List<Type>, ctx: ParserRuleContext)

Undeclared function check

undeclaredIdentifierCheck

fun undeclaredIdentifierCheck(currentSymbolTable: SymbolTableVisitor, identifier: String, ctx: ParserRuleContext)

Undeclared identifier check

voidTypeDeclarationCheck

fun voidTypeDeclarationCheck(rhsType: Type, identifier: String, ctx: ParserRuleContext)

Void type declaration check