type_checker

package

v0.2.2 Latest Latest Go to latest Published: Jun 8, 2025 License: GPL-3.0 Imports: 7 Imported by: 0

Details

This section is empty.

This section is empty.

This section is empty.

type TypeChecker struct {
	ast.StatementVisitor
	ast.ExpressionVisitor
	// contains filtered or unexported fields
}

func NewTypeChecker(source []ast.Statement, table *symbol.Table) *TypeChecker

func (t *TypeChecker) Check() []error

func (t *TypeChecker) VisitBinary(expr *ast.BinaryExpr) any

func (t *TypeChecker) VisitBlock(stmt ast.BlockStmt) any

func (t *TypeChecker) VisitCall(expr *ast.CallExpr) any

func (t *TypeChecker) VisitDotAccess(expr *ast.DotAccessExpr) any

func (t *TypeChecker) VisitExec(stmt ast.ExecStmt) any

func (t *TypeChecker) VisitExpression(stmt ast.ExpressionStmt) any

func (t *TypeChecker) VisitFunctionDeclaration(stmt ast.FunctionDeclarationStmt) any

func (t *TypeChecker) VisitGrouping(expr *ast.GroupingExpr) any

func (t *TypeChecker) VisitIf(stmt ast.IfStmt) any

func (t *TypeChecker) VisitImport(_ ast.ImportStmt) any

func (t *TypeChecker) VisitList(expr *ast.ListExpr) any

func (t *TypeChecker) VisitLiteral(expr *ast.LiteralExpr) any

func (t *TypeChecker) VisitLogical(expr *ast.LogicalExpr) any

func (t *TypeChecker) VisitReturn(stmt ast.ReturnStmt) any

func (t *TypeChecker) VisitSetReturnFlag(_ ast.SetReturnFlagStmt) any

func (t *TypeChecker) VisitSlice(expr *ast.SliceExpr) any

func (t *TypeChecker) VisitStructDeclaration(stmt ast.StructDeclarationStmt) any

func (t *TypeChecker) VisitUnary(expr *ast.UnaryExpr) any

func (t *TypeChecker) VisitVariable(expr *ast.VariableExpr) any

func (t *TypeChecker) VisitVariableAssignment(stmt ast.VariableAssignmentStmt) any

func (t *TypeChecker) VisitVariableDeclaration(stmt ast.VariableDeclarationStmt) any

func (t *TypeChecker) VisitWhile(stmt ast.WhileStmt) any