Method

Object Hierarchy:

Description:

public class Method : Subroutine, Callable, GenericSymbol

Represents a type or namespace method.

All known sub-classes:

DynamicMethod

Namespace: Vala

Package: vala

Content:

Properties:

public Method base_interface_method { get; }
Specifies the abstract interface method this method implements.
public DataType base_interface_type { get; set; }
Specifies the explicit interface containing the method this method implements.
public Method base_method { get; }
Specifies the virtual or abstract method this method overrides. Reference must be weak as virtual and abstract methods set base_method to themselves.
public MemberBinding binding { get; set; }
Specifies whether this method may only be called with an instance of the contained type.
public bool closure { get; set; }
public bool coroutine { get; set; }
public bool entry_point { get; private set; }
public bool has_construct_function { get; set; }
Specifies whether a construct function with a GType parameter is available. This is only applicable to creation methods.
public override bool has_result { get; }
public bool is_abstract { get; set; }
Specifies whether this method is abstract. Abstract methods have no body, may only be specified within abstract classes, and must be overridden by derived non-abstract classes.
public bool is_async_callback { get; set; }
public bool is_inline { get; set; }
Specifies whether this method should be inlined.
public bool is_main_block { get; private set; }
public bool is_virtual { get; set; }
Specifies whether this method is virtual. Virtual methods may be overridden by derived classes.
public bool overrides { get; set; }
Specifies whether this method overrides a virtual or abstract method of a base type.
public LocalVariable? params_array_var { get; protected set; }
public bool printf_format { get; set; }
Specifies whether this method expects printf-style format arguments.
public DataType return_type { get; set; }
The return type of this method.
public bool returns_floating_reference { get; set; }
public bool returns_modified_pointer { get; set; }
public bool scanf_format { get; set; }
Specifies whether this method expects scanf-style format arguments.
public unowned Signal signal_reference { get; set; }
public Parameter? this_parameter { get; set; }
Specifies the generated `this` parameter for instance methods.

Creation methods:

public Method (string? name, DataType return_type, SourceReference? source_reference = null, Comment? comment = null)
Creates a new method.
public Method.main_block (SourceReference? source_reference = null)
Creates a new main block method.

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)
Adds an error type to the exceptions that can be thrown by this method.
public void add_parameter (Parameter param)
Appends parameter to this method.
public void add_postcondition (Expression postcondition)
Adds a postcondition to this method.
public void add_precondition (Expression precondition)
Adds a precondition to this method.
public void add_type_parameter (TypeParameter p)
Appends the specified parameter to the list of type parameters.
public override bool check (CodeContext context)
public void clear_parameters ()
Remove all parameters from this method.
public bool compatible (Method base_method, out string? invalid_match)
Checks whether the parameters and return type of this method are compatible with the specified method
private bool compatible_internal (Method base_method, out string? invalid_match, CodeNode? node_reference)
public bool compatible_no_error (Method base_method)
Checks whether the parameters and return type of this method are compatible with the specified method
private void find_base_class_method (Class cl)
private void find_base_interface_method (Class cl)
private void find_base_methods ()
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<Parameter> get_parameters ()
public unowned List<Expression> get_postconditions ()
Returns the list of postconditions of this method.
public unowned List<Expression> get_preconditions ()
Returns the list of preconditions of this method.
public int get_required_arguments ()
public int get_type_parameter_index (string name)
public unowned List<TypeParameter> get_type_parameters ()
Returns the type parameter list.
public bool has_error_type_parameter ()
public bool has_type_parameters ()
private bool is_possible_entry_point (CodeContext context)
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:

private unowned Method _base_interface_method
private DataType _base_interface_type
private unowned Method _base_method
private MemberBinding _binding
private bool _closure
private bool _coroutine
private static List<Expression> _empty_expression_list
private static List<TypeParameter> _empty_type_parameter_list
private bool _entry_point
private bool _is_abstract
private bool _is_async_callback
private bool _is_inline
private bool _is_main_block
private bool _is_virtual
private bool _overrides
private LocalVariable? _params_array_var
private DataType _return_type
private unowned Signal _signal_reference
private Parameter? _this_parameter
private List<Parameter>? async_begin_parameters
private List<Parameter>? async_end_parameters
private bool base_methods_valid
private Method? callback_method
private List<LocalVariable> captured_variables
private Method? end_method
protected List<DataType> error_types
private List<Parameter> parameters
private List<Expression> postconditions
private List<Expression> preconditions
private List<TypeParameter> type_parameters

Inherited Members:

All known members inherited from class Vala.Subroutine

All known members inherited from class Vala.Symbol

All known members inherited from class Vala.CodeNode

All known members inherited from interface Vala.Callable

add_parameter

get_parameters

return_type

All known members inherited from interface Vala.GenericSymbol

get_type_parameters

has_type_parameters

Generated by valadoc