class
Crystal::Repl::Multidispatch::MultidispatchMainVisitor
- Crystal::Repl::Multidispatch::MultidispatchMainVisitor
- Crystal::MainVisitor
- Crystal::SemanticVisitor
- Crystal::Visitor
- Reference
- Object
Overview
We use a special version of MainVisitor that doesn't resolve calls nor do some checks. This is because in a multidispatch we already know what the calls resolve to.
Defined in:
compiler/crystal/interpreter/multidispatch.crInstance Method Summary
-
#check_call_in_initialize(node)
Checks if it's a call to self.
-
#check_super_or_previous_def_in_initialize(node)
If it's a super or previous_def call inside an initialize we treat set instance vars from superclasses to not-nil.
- #recalculate_call(node : Call)
Instance methods inherited from class Crystal::MainVisitor
all_exception_handler_vars : Array(MetaVars) | Nil
all_exception_handler_vars,
all_exception_handler_vars=(all_exception_handler_vars : Array(MetaVars) | Nil)
all_exception_handler_vars=,
assign_to_meta_var(name, context = current_context)
assign_to_meta_var,
bind_block_var(node, target, meta_vars, before_block_vars)
bind_block_var,
bind_initialize_instance_vars(owner)
bind_initialize_instance_vars,
bind_meta_var(var : Var)
bind_meta_var,
bind_vars(from_vars, to_vars, ignored = nil)
bind_vars,
block : Block | Nil
block,
block=(block)
block=,
block_nest : Int32
block_nest,
block_nest=(block_nest : Int32)
block_nest=,
call : Call | Nil
call,
call=(call : Call | Nil)
call=,
call_needs_splat_expansion?(node)
call_needs_splat_expansion?,
check_automatic_cast(value, var_type, assign = nil)
check_automatic_cast,
check_call_in_initialize(node)
check_call_in_initialize,
check_closured(var, mark_as_mutably_closured : Bool = false)
check_closured,
check_exception_handler_vars(var_name, node)
check_exception_handler_vars,
check_initialize_instance_vars_types(owner)
check_initialize_instance_vars_types,
check_lib_call(node, obj_type)
check_lib_call,
check_lib_call_arg(method, arg_index, &)
check_lib_call_arg,
check_mutably_closured(meta_var, var)
check_mutably_closured,
check_not_a_constant(node)
check_not_a_constant,
check_self_closured
check_self_closured,
check_slice_literal_call(node, obj_type)
check_slice_literal_call,
check_special_new_call(node, obj_type)
check_special_new_call,
check_super_or_previous_def_in_initialize(node)
check_super_or_previous_def_in_initialize,
check_type_in_type_args(type)
check_type_in_type_args,
closure_context
closure_context,
conditional_no_return(node, var)
conditional_no_return,
convert_struct_or_union_numeric_argument(node, unaliased_type, expected_type, actual_type)
convert_struct_or_union_numeric_argument,
current_context
current_context,
current_non_block_context
current_non_block_context,
define_special_var(name, value)
define_special_var,
end_visit(node : Splat)end_visit(node : DoubleSplat)
end_visit(node : RespondsTo)
end_visit(node : Break)
end_visit(node : Next)
end_visit(node : TupleLiteral)
end_visit(node : NamedTupleLiteral) end_visit, expand(node)
expand(node, &) expand, expand_named(node, generic_type) expand_named, file_module : FileModule | Nil file_module, file_module=(file_module : FileModule | Nil) file_module=, filter_vars(filters)
filter_vars(filters, &) filter_vars, first_time_accessing_meta_type_var?(var) first_time_accessing_meta_type_var?, free_vars free_vars, fun_literal_context : Def | Program | Nil fun_literal_context, fun_literal_context=(fun_literal_context : Def | Program | Nil) fun_literal_context=, gather_instance_vars_read(node) gather_instance_vars_read, get_expression_var(exp) get_expression_var, handle_unpacked_block_argument(node, arg, meta_vars, before_block_vars, ignored_vars_after_block) handle_unpacked_block_argument, ignoring_type_filters(&) ignoring_type_filters, inside_block? inside_block?, inside_constant=(inside_constant : Bool) inside_constant=, inside_constant? : Bool inside_constant?, inside_ensure=(inside_ensure : Bool) inside_ensure=, inside_ensure? : Bool inside_ensure?, inside_while? inside_while?, is_initialize : Bool is_initialize, is_initialize=(is_initialize : Bool) is_initialize=, last_block_kind : BlockKind last_block_kind, last_block_kind=(last_block_kind : BlockKind) last_block_kind=, lookup_class_var(node) lookup_class_var, lookup_similar_class_variable_name(node, owner) lookup_similar_class_variable_name, lookup_similar_var_name(name) lookup_similar_var_name, lookup_var_or_instance_var(var : Var)
lookup_var_or_instance_var(var : InstanceVar)
lookup_var_or_instance_var(var) lookup_var_or_instance_var, mark_as_closured(var, var_context, mark_as_mutably_closured : Bool) mark_as_closured, match_context : MatchContext | Nil match_context, match_context=(match_context : MatchContext | Nil) match_context=, merge_if_var(name, node, cond_vars, then_var, else_var, before_then_vars, before_else_vars, then_unreachable, else_unreachable) merge_if_var, merge_if_vars(node, cond_vars, then_vars, else_vars, before_then_vars, before_else_vars, then_unreachable, else_unreachable) merge_if_vars, merge_rescue_vars(body_vars, all_rescue_vars) merge_rescue_vars, merge_while_vars(endless, before_cond_vars_copy, before_cond_vars, after_cond_vars, after_cond_vars_nil_if_read, all_break_vars) merge_while_vars, meta_vars : MetaVars meta_vars, needs_type_filters? needs_type_filters?, new_meta_var(name, context = current_context) new_meta_var, node_exp_or_nil_literal(node) node_exp_or_nil_literal, parent : MainVisitor | Nil parent, parent=(parent : MainVisitor | Nil) parent=, path_lookup : Crystal::Type? path_lookup, path_lookup=(path_lookup) path_lookup=, pointerof_var(node) pointerof_var, prepare_call(node) prepare_call, recalculate_call(node : Call) recalculate_call, replace_call_splats(node) replace_call_splats, request_type_filters(&) request_type_filters, special_c_struct_or_union_new_with_named_args(node, type, named_args) special_c_struct_or_union_new_with_named_args, the_self(node) the_self, type_assign(target : Var, value, node, restriction = nil)
type_assign(target : InstanceVar, value, node)
type_assign(target : Path, value, node)
type_assign(target : Global, value, node)
type_assign(target : ClassVar, value, node)
type_assign(target : Underscore, value, node)
type_assign(target, value, node) type_assign, typed_def typed_def, typed_def? : Crystal::Def? typed_def?, undefined_class_variable(node, owner) undefined_class_variable, undefined_instance_variable(owner, node) undefined_instance_variable, untyped_def : Def untyped_def, untyped_def=(untyped_def : Def)
untyped_def=(untyped_def) untyped_def=, untyped_def? : Def | Nil untyped_def?, vars : Hash(String, Crystal::MetaVar) vars, visit(node : FileNode)
visit(node : Path)
visit(node : Generic)
visit(node : ProcNotation)
visit(node : Union)
visit(node : Metaclass)
visit(node : Self)
visit(node : Var)
visit(node : TypeDeclaration)
visit(node : UninitializedVar)
visit(node : Out)
visit(node : Global)
visit(node : InstanceVar)
visit(node : ReadInstanceVar)
visit(node : ClassVar)
visit(node : Expressions)
visit(node : Assign)
visit(node : Yield)
visit(node : Block)
visit(node : ProcLiteral)
visit(node : ProcPointer)
visit(node : Call)
visit(node : Return)
visit(node : Underscore)
visit(node : IsA)
visit(node : Cast | NilableCast)
visit(node : FunDef)
visit(node : If)
visit(node : While)
visit(node : TupleIndexer)
visit(node : Primitive)
visit(node : PointerOf)
visit(node : TypeOf)
visit(node : SizeOf)
visit(node : InstanceSizeOf)
visit(node : AlignOf)
visit(node : InstanceAlignOf)
visit(node : OffsetOf)
visit(node : Rescue)
visit(node : ExceptionHandler)
visit(node : Asm)
visit(node : Nop)
visit(node : NilLiteral)
visit(node : BoolLiteral)
visit(node : NumberLiteral)
visit(node : CharLiteral)
visit(node : SymbolLiteral)
visit(node : StringLiteral)
visit(node : RegexLiteral)
visit(node : ArrayLiteral)
visit(node : HashLiteral)
visit(node : And)
visit(node : Or)
visit(node : RangeLiteral)
visit(node : StringInterpolation)
visit(node : Case)
visit(node : Select)
visit(node : MultiAssign)
visit(node : Not)
visit(node : VisibilityModifier)
visit(node : Arg)
visit(node : AssignWithRestriction)
visit(node : Unreachable)
visit(node : When | Unless | Until | MacroLiteral | OpAssign)
visit(node : ImplicitObj) visit, visit_allocate(node) visit_allocate, visit_any(node) visit_any, visit_class_var(node) visit_class_var, visit_pointer_malloc(node) visit_pointer_malloc, visit_pointer_new(node) visit_pointer_new, visit_pointer_set(node) visit_pointer_set, visit_pre_initialize(node) visit_pre_initialize, visit_read_instance_var(node) visit_read_instance_var, visit_struct_or_union_set(node) visit_struct_or_union_set, visit_va_arg(node) visit_va_arg, with_block_kind(kind : BlockKind, &) with_block_kind, with_scope : Type | Nil with_scope, with_scope=(with_scope : Type | Nil) with_scope=, yield_vars : Array(Var) | Nil yield_vars, yield_vars=(yield_vars : Array(Var) | Nil) yield_vars=
Constructor methods inherited from class Crystal::MainVisitor
new(program, vars = MetaVars.new, typed_def = nil, meta_vars = nil)new(*, from_main_visitor : MainVisitor) new
Class methods inherited from class Crystal::MainVisitor
check_automatic_cast(program, value, var_type, assign = nil)
check_automatic_cast,
check_type_allowed_as_proc_argument(node, type)
check_type_allowed_as_proc_argument
Instance methods inherited from class Crystal::SemanticVisitor
check_allowed_in_lib(node, type = node.type.instance_type)
check_allowed_in_lib,
check_class_var_annotations
check_class_var_annotations,
check_declare_var_type(node, declared_type, variable_kind)
check_declare_var_type,
check_outside_exp(node, op)
check_outside_exp,
class_var_owner(node)
class_var_owner,
current_type : ModuleType
current_type,
current_type=(current_type : ModuleType)
current_type=,
end_visit_any(node)
end_visit_any,
eval_macro(node, &)
eval_macro,
expand_inline_macro(node, mode = nil, accept = true)
expand_inline_macro,
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, expand_macro_argument(node, expansion_scope) expand_macro_argument, expand_macro_arguments(call, expansion_scope) expand_macro_arguments, free_vars : Hash(String, TypeVar) | Nil free_vars, inside_exp? inside_exp?, interpret_enum_value(node : ASTNode, target_type : IntegerType | Nil = nil) interpret_enum_value, lookup_annotation(ann) lookup_annotation, lookup_type(node : ASTNode, free_vars = nil, find_root_generic_type_parameters = true) lookup_type, nesting_exp?(node) nesting_exp?, process_annotations(annotations, &) process_annotations, program : Program program, pushing_type(type : ModuleType, &) pushing_type, read_annotations read_annotations, scope : Type scope, scope=(scope : Type)
scope=(scope : Crystal::Type | Nil) scope=, scope? : Type | Nil scope?, validate_annotation(annotation_type, ann) validate_annotation, vars : MetaVars vars, vars=(vars : MetaVars) vars=, 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 : MacroFor)
visit(node : MacroVerbatim)
visit(node : ExternalVar | Path | Generic | ProcNotation | Union | Metaclass | Self | TypeOf)
visit(node : ASTNode) visit, visit_any(node) visit_any
Constructor methods inherited from class Crystal::SemanticVisitor
new(program : Crystal::Program, vars : Hash(String, Crystal::MetaVar) = MetaVars.new)
new
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
Instance Method Detail
def check_call_in_initialize(node)
#
Description copied from class Crystal::MainVisitor
Checks if it's a call to self. In that case, all instance variables not mentioned so far will be considered nil.
def check_super_or_previous_def_in_initialize(node)
#
Description copied from class Crystal::MainVisitor
If it's a super or previous_def call inside an initialize we treat set instance vars from superclasses to not-nil.