Method

---

Object Hierarchy:

Description:

Content:

Properties:

• public Method base_interface_method { get; }
• public DataType base_interface_type { get; set; }
• public Method base_method { get; }
• public MemberBinding binding { get; set; }
• public bool closure { get; set; }
• public bool coroutine { get; set; }
• public bool entry_point { get; }
• public bool has_construct_function { get; set; }
• public override bool has_result { get; }
• public bool is_abstract { get; set; }
• public bool is_async_callback { get; set; }
• public bool is_inline { get; set; }
• public bool is_main_block { get; }
• public bool is_virtual { get; set; }
• public bool overrides { get; set; }
• public LocalVariable? params_array_var { get; protected set; }
• public bool printf_format { get; set; }
• public bool returns_floating_reference { get; set; }
• public bool returns_modified_pointer { get; set; }
• public bool scanf_format { get; set; }
• public unowned Signal signal_reference { get; set; }
• public Parameter? this_parameter { get; set; }

Creation methods:

• public Method (string? name, DataType return_type, SourceReference? source_reference = null, Comment? comment = null)
• public Method.main_block (SourceReference? source_reference = null)

Methods:

• public override void accept (CodeVisitor visitor)
• public override void accept_children (CodeVisitor visitor)
• public void add_captured_variable (LocalVariable local)
• public void add_error_type (DataType error_type)
• public void add_postcondition (Expression postcondition)
• public void add_precondition (Expression precondition)
• public void add_type_parameter (TypeParameter p)
• public override bool check (CodeContext context)
• public void clear_parameters ()
• public bool compatible (Method base_method, out string? invalid_match)
• public bool compatible_no_error (Method base_method)
• public unowned List<Parameter> get_async_begin_parameters ()
• public unowned List<Parameter> get_async_end_parameters ()
• public unowned Method get_callback_method ()
• public void get_captured_variables (Collection<LocalVariable> variables)
• public override void get_defined_variables (Collection<Variable> collection)
• public unowned Method get_end_method ()
• public override void get_error_types (Collection<DataType> collection, SourceReference? source_reference = null)
• public int get_format_arg_index ()
• public unowned List<Expression> get_postconditions ()
• public unowned List<Expression> get_preconditions ()
• public int get_required_arguments ()
• public int get_type_parameter_index (string name)
• public unowned List<TypeParameter> get_type_parameters ()
• public bool has_error_type_parameter ()
• public bool has_type_parameters ()
• public bool is_variadic ()
• public override void replace_expression (Expression old_node, Expression new_node)
• public override void replace_type (DataType old_type, DataType new_type)

Fields:

• protected List<DataType> error_types

Inherited Members: