struct Savi::Compiler::Infer::FuncAnalysis

• Savi::Compiler::Infer::FuncAnalysis
• Savi::Compiler::Infer::Analysis
• Struct
• Value
• Object

Defined in:

Instance Method Summary

• #called_func_receiver_span(for_info : FromCall | Nil) : Span
• #can_reify_with?(args : Array(MetaType), call_cap : Cap, is_constructor : Bool)
• #deciding_reify_of(span : Span, args : Array(MetaType), call_cap : Cap, is_constructor : Bool) : Span
• #each_called_func_link(ctx, for_info : Info | Nil = nil, &)
• #each_called_func_within(ctx, rf : ReifiedFunction, for_info : Info | Nil = nil, &)
• #each_captured_function_pointer
• #each_meta_type_within(ctx, rf : ReifiedFunction, &)
• #each_reflection
• #error_out_span : Span | Nil
• #error_out_span? : Span | Nil | Nil
• #func_partial_reification_sets : Hash(Cap, Hash(Array(Cap), Int32))
• #func_partial_reification_sets? : Hash(Cap, Hash(Array(Cap), Int32)) | Nil
• #func_partial_reification_sets_size : Int32
• #func_partial_reification_sets_size? : Int32 | Nil
• #func_partial_reifications : Array(MetaType)
• #func_partial_reifications? : Array(MetaType) | Nil
• #narrowing_type_param_cap(span : Span, type_param : TypeParam, caps : Array(Cap)) : Span
• #param_spans : Array(Span)
• #param_spans? : Array(Span) | Nil
• #pre_infer : PreInfer::Analysis
• #pre_infer? : PreInfer::Analysis | Nil
• #ret_span : Span
• #ret_span? : Span | Nil
• #yield_in_span : Span | Nil
• #yield_out_spans : Array(Span)
• #yield_out_spans? : Array(Span) | Nil

Instance Method Detail