struct Savi::Compiler::TInfer::FuncAnalysis

Defined in:

savi/compiler/t_infer.cr

Instance Method Summary

Instance methods inherited from struct Savi::Compiler::TInfer::Analysis

[](info : Info) [], []?(info : Info) []?, type_before_reification : MetaType type_before_reification, type_before_reification? : MetaType | Nil type_before_reification?, type_param_bound_spans : Array(Span) type_param_bound_spans, type_param_bound_spans? : Array(Span) | Nil type_param_bound_spans?, type_param_default_spans : Array(Span | Nil) type_param_default_spans, type_param_default_spans? : Array(Span | Nil) | Nil type_param_default_spans?, type_params : Array(TypeParam) type_params, type_params? : Array(TypeParam) | Nil type_params?

Constructor methods inherited from struct Savi::Compiler::TInfer::Analysis

new new

Instance Method Detail

def called_func_receiver_span(for_info : FromCall | Nil) : Span #

[View source]
def deciding_reify_of(span : Span, args : Array(MetaType), is_constructor : Bool) : Span #

[View source]
def each_called_func_link(ctx, for_info : Info | Nil = nil, &) #

[View source]
def each_called_func_within(ctx, rf : ReifiedFunction, for_info : Info | Nil = nil, &) #

[View source]
def each_captured_function_pointer #

[View source]
def each_meta_type_within(ctx, rf : ReifiedFunction, &) #

[View source]
def each_reflection #

[View source]
def error_out_span : Span | Nil #

[View source]
def error_out_span? : Span | Nil | Nil #

[View source]
def param_spans : Array(Span) #

[View source]
def param_spans? : Array(Span) | Nil #

[View source]
def pre_infer : PreTInfer::Analysis #

[View source]
def pre_infer? : PreTInfer::Analysis | Nil #

[View source]
def ret_span : Span #

[View source]
def ret_span? : Span | Nil #

[View source]
def yield_in_span : Span | Nil #

[View source]
def yield_out_spans : Array(Span) #

[View source]
def yield_out_spans? : Array(Span) | Nil #

[View source]