abstract class `Crystal::SemanticVisitor`
inherits `Crystal::Visitor` ¶

Base visitor for semantic analysis. It traverses the whole ASTNode tree, keeping a current_type in context, which corresponds to the type being visited according to class/module/lib definitions.

Direct known subclasses

Crystal::ClassVarsInitializerVisitor Crystal::InstanceVarsInitializerVisitor Crystal::MainVisitor Crystal::TopLevelVisitor Crystal::TypeDeclarationVisitor Crystal::TypeGuessVisitor

abstract class Crystal::SemanticVisitor inherits Crystal::Visitor ¶

Direct known subclasses

Class methods¶

.new(program, vars = MetaVars.new) ¶

Methods¶

#check_allowed_in_lib(node, type = node.type.instance_type) ¶

#check_class_var_annotations ¶

#check_declare_var_type(node, declared_type, variable_kind) ¶

#check_outside_exp(node, op) ¶

#class_var_owner(node) ¶

#current_type : ModuleType ¶

#current_type=(current_type : ModuleType) ¶

#end_visit_any(node) ¶

#eval_macro ¶

#expand_inline_macro(node, mode = nil, accept = true) ¶

#expand_macro(the_macro, node, mode = nil, *, visibility : Visibility, accept = true ¶

#expand_macro(node, raise_on_missing_const = true, first_pass = false, accept = true) ¶

#expand_macro_arguments(node, expansion_scope) ¶

#free_vars : Hash(String, TypeVar)? ¶

#inside_exp? ¶

#interpret_enum_value(node : ASTNode, target_type : IntegerType? = nil) ¶

#lookup_annotation(ann) ¶

#lookup_type(node : ASTNode, free_vars = nil, find_root_generic_type_parameters = true) ¶

#nesting_exp?(node) ¶

#process_annotations ¶

#program : Program ¶

#pushing_type(type : ModuleType ¶

#read_annotations ¶

#scope : Type ¶

#scope=(scope : Type) ¶

#scope=(scope) ¶

#scope? : Type? ¶

#validate_annotation(annotation_type, ann) ¶

#visit(node : MacroVerbatim) ¶

#visit(node : Require) ¶

#visit(node : ClassDef) ¶

#visit(node : ModuleDef) ¶

#visit(node : AnnotationDef) ¶

#visit(node : EnumDef) ¶

#visit(node : LibDef) ¶

#visit(node : Include) ¶

#visit(node : Extend) ¶

#visit(node : Alias) ¶

#visit(node : Def) ¶

#visit(node : Macro) ¶

#visit(node : Annotation) ¶

#visit(node : Call) ¶

#visit(node : MacroExpression) ¶

#visit(node : MacroIf) ¶

#visit(node : ASTNode) ¶

#visit(node : MacroFor) ¶

#visit(node : ExternalVar | Path | Generic | ProcNotation | Union | Metaclass | Self | TypeOf) ¶

#visit_any(node) ¶

abstract class `Crystal::SemanticVisitor`
inherits `Crystal::Visitor` ¶

`.new(program, vars = MetaVars.new)` ¶

`#check_allowed_in_lib(node, type = node.type.instance_type)` ¶

`#check_class_var_annotations` ¶

`#check_declare_var_type(node, declared_type, variable_kind)` ¶

`#check_outside_exp(node, op)` ¶

`#class_var_owner(node)` ¶

`#current_type : ModuleType` ¶

`#current_type=(current_type : ModuleType)` ¶

`#end_visit_any(node)` ¶

`#eval_macro` ¶

`#expand_inline_macro(node, mode = nil, accept = true)` ¶

`#expand_macro(the_macro, node, mode = nil, *, visibility : Visibility, accept = true` ¶

`#expand_macro(node, raise_on_missing_const = true, first_pass = false, accept = true)` ¶

`#expand_macro_arguments(node, expansion_scope)` ¶

`#free_vars : Hash(String, TypeVar)?` ¶

`#inside_exp?` ¶

`#interpret_enum_value(node : ASTNode, target_type : IntegerType? = nil)` ¶

`#lookup_annotation(ann)` ¶

`#lookup_type(node : ASTNode, free_vars = nil, find_root_generic_type_parameters = true)` ¶

`#nesting_exp?(node)` ¶

`#process_annotations` ¶

`#program : Program` ¶

`#pushing_type(type : ModuleType` ¶

`#read_annotations` ¶

`#scope : Type` ¶

`#scope=(scope : Type)` ¶

`#scope=(scope)` ¶

`#scope? : Type?` ¶

`#validate_annotation(annotation_type, ann)` ¶

`#visit(node : MacroVerbatim)` ¶

`#visit(node : Require)` ¶

`#visit(node : ClassDef)` ¶

`#visit(node : ModuleDef)` ¶

`#visit(node : AnnotationDef)` ¶

`#visit(node : EnumDef)` ¶

`#visit(node : LibDef)` ¶

`#visit(node : Include)` ¶

`#visit(node : Extend)` ¶

`#visit(node : Alias)` ¶

`#visit(node : Def)` ¶

`#visit(node : Macro)` ¶

`#visit(node : Annotation)` ¶

`#visit(node : Call)` ¶

`#visit(node : MacroExpression)` ¶

`#visit(node : MacroIf)` ¶

`#visit(node : ASTNode)` ¶

`#visit(node : MacroFor)` ¶

`#visit(node : ExternalVar | Path | Generic | ProcNotation | Union | Metaclass | Self | TypeOf)` ¶

`#visit_any(node)` ¶