2.1.1.3.1.4. racketinterpreter.processes.semantics

class SemanticAnalyzer(interpreter: Interpreter)

Bases: racketinterpreter.classes.ast.ASTVisitor

assert_actual_param_len(node_token: racketinterpreter.classes.tokens.Token, proc_name: str, formal_params_len: int, actual_params_len: int) → None

get_proc_symbol_and_actual_params(node: racketinterpreter.classes.ast.ProcCall) → Tuple[racketinterpreter.classes.symbols.ProcSymbol, List[racketinterpreter.classes.ast.Expr]]

log_scope(msg: str) → None

preprocess(node: racketinterpreter.classes.ast.AST) → None

visit(node: racketinterpreter.classes.ast.AST) → Any

visit_Bool(node: racketinterpreter.classes.ast.Bool) → None

visit_CheckExpect(node: racketinterpreter.classes.ast.CheckExpect) → None

visit_Cond(node: racketinterpreter.classes.ast.Cond) → None

visit_CondBranch(node: racketinterpreter.classes.ast.CondBranch) → None

visit_CondElse(node: racketinterpreter.classes.ast.CondElse) → None

visit_Cons(node: racketinterpreter.classes.ast.Cons) → None

visit_Dec(node: racketinterpreter.classes.ast.Dec) → None

visit_Empty(node: racketinterpreter.classes.ast.Cons) → None

visit_FormalParam(node: racketinterpreter.classes.ast.FormalParam) → None

visit_Id(node: racketinterpreter.classes.ast.Id) → None

visit_IdAssign(node: racketinterpreter.classes.ast.IdAssign) → None

visit_Int(node: racketinterpreter.classes.ast.Int) → None

visit_ProcAssign(node: racketinterpreter.classes.ast.ProcAssign) → None

visit_ProcCall(node: racketinterpreter.classes.ast.ProcCall) → None

visit_Rat(node: racketinterpreter.classes.ast.Rat) → None

visit_Str(node: racketinterpreter.classes.ast.Str) → None

visit_StructAssign(node: ast.StructAssign) → DataType

visit_Sym(node: racketinterpreter.classes.ast.Str) → None