abstract class
Crystal::SemanticVisitor
Overview
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
Defined in:
compiler/crystal/semantic/semantic_visitor.crConstructors
Instance Method Summary
- #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
At every point there's a current type.
-
#current_type=(current_type : ModuleType)
At every point there's a current type.
- #end_visit_any(node)
- #eval_macro(node, &)
- #expand_inline_macro(node, mode = nil, accept = true)
- #expand_macro(node, raise_on_missing_const = true, first_pass = false, accept = true)
- #expand_macro(the_macro, node, mode = nil, *, visibility : Visibility, accept = true, &)
- #expand_macro_argument(node, expansion_scope)
- #expand_macro_arguments(call, expansion_scope)
-
#free_vars : Hash(String, TypeVar) | Nil
Returns free variables
- #inside_exp?
- #interpret_enum_value(node : ASTNode, target_type : IntegerType | Nil = nil)
- #lookup_annotation(ann)
- #lookup_type(node : ASTNode, free_vars = nil, find_root_generic_type_parameters = true)
- #nesting_exp?(node)
- #process_annotations(annotations, &)
- #program : Program
- #pushing_type(type : ModuleType, &)
-
#read_annotations
Returns the current annotations and clears them for subsequent readers.
- #scope : Type
- #scope=(scope : Type)
- #scope=(scope : Crystal::Type | Nil)
- #scope? : Type | Nil
- #validate_annotation(annotation_type, ann)
- #vars : MetaVars
- #vars=(vars : MetaVars)
-
#visit(node : Require)
Transform require to its source code.
- #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 : MacroFor)
- #visit(node : MacroVerbatim)
- #visit(node : ExternalVar | Path | Generic | ProcNotation | Union | Metaclass | Self | TypeOf)
- #visit(node : ASTNode)
- #visit_any(node)
Instance methods inherited from class Crystal::Visitor
accept(node)
accept,
end_visit(node)
end_visit,
end_visit_any(node)
end_visit_any,
visit_any(node)
visit_any
Instance methods inherited from class Reference
==(other : self)==(other : JSON::Any)
==(other : YAML::Any)
==(other) ==, dup dup, hash(hasher) hash, initialize initialize, inspect(io : IO) : Nil inspect, object_id : UInt64 object_id, pretty_print(pp) : Nil pretty_print, same?(other : Reference) : Bool
same?(other : Nil) same?, to_s(io : IO) : Nil to_s
Constructor methods inherited from class Reference
new
new,
unsafe_construct(address : Pointer, *args, **opts) : self
unsafe_construct
Class methods inherited from class Reference
pre_initialize(address : Pointer)
pre_initialize
Instance methods inherited from class Object
! : Bool
!,
!=(other)
!=,
!~(other)
!~,
==(other)
==,
===(other : JSON::Any)===(other : YAML::Any)
===(other) ===, =~(other) =~, as(type : Class) as, as?(type : Class) as?, class class, dup dup, hash(hasher)
hash hash, in?(collection : Object) : Bool
in?(*values : Object) : Bool in?, inspect(io : IO) : Nil
inspect : String inspect, is_a?(type : Class) : Bool is_a?, itself itself, nil? : Bool nil?, not_nil!(message)
not_nil! not_nil!, pretty_inspect(width = 79, newline = "\n", indent = 0) : String pretty_inspect, pretty_print(pp : PrettyPrint) : Nil pretty_print, responds_to?(name : Symbol) : Bool responds_to?, tap(&) tap, to_json(io : IO) : Nil
to_json : String to_json, to_pretty_json(indent : String = " ") : String
to_pretty_json(io : IO, indent : String = " ") : Nil to_pretty_json, to_s(io : IO) : Nil
to_s : String to_s, to_yaml(io : IO) : Nil
to_yaml : String to_yaml, try(&) try, unsafe_as(type : T.class) forall T unsafe_as
Class methods inherited from class Object
from_json(string_or_io : String | IO, root : String)from_json(string_or_io : String | IO) from_json, from_yaml(string_or_io : String | IO) from_yaml
Macros inherited from class Object
class_getter(*names, &block)
class_getter,
class_getter!(*names)
class_getter!,
class_getter?(*names, &block)
class_getter?,
class_property(*names, &block)
class_property,
class_property!(*names)
class_property!,
class_property?(*names, &block)
class_property?,
class_setter(*names)
class_setter,
def_clone
def_clone,
def_equals(*fields)
def_equals,
def_equals_and_hash(*fields)
def_equals_and_hash,
def_hash(*fields)
def_hash,
delegate(*methods, to object)
delegate,
forward_missing_to(delegate)
forward_missing_to,
getter(*names, &block)
getter,
getter!(*names)
getter!,
getter?(*names, &block)
getter?,
property(*names, &block)
property,
property!(*names)
property!,
property?(*names, &block)
property?,
setter(*names)
setter
Constructor Detail
Instance Method Detail
def current_type : ModuleType
#
At every point there's a current type.
In the beginning this is the Program (top-level), but when
a class definition is visited this changes to that type, and so on.
def current_type=(current_type : ModuleType)
#
At every point there's a current type.
In the beginning this is the Program (top-level), but when
a class definition is visited this changes to that type, and so on.
Transform require to its source code. The source code can be a Nop if the file was already required.