Vala.DataType – vala – Vala Binding Reference

Description:

public abstract class DataType : CodeNode

A reference to a data type. This is used to specify static types of expressions.

Namespace: Vala

Package: vala

Content:

Properties:

public unowned Symbol? context_symbol { get; set; }

The referred symbol in the current context.

public bool floating_reference { get; set; }

Specifies that the expression transfers a floating reference.

public bool is_dynamic { get; set; }

Specifies that the type supports dynamic lookup.

public bool nullable { get; set; }

Specifies that the expression may be null.

public unowned Symbol? symbol { get; private set; }

The referred symbol.

public unowned TypeSymbol? type_symbol { get; }

The referred type symbol.

public bool value_owned { get; set; }

Specifies that the expression or variable owns the value.

Creation methods:

Methods:

public override void accept (CodeVisitor visitor)

public override void accept_children (CodeVisitor visitor)

public void add_type_argument (DataType arg)

Appends the specified type as generic type argument.

public bool check_type_arguments (CodeContext context, bool allow_none = false)

Returns whether the given amount of type-argument matches the symbol's count of type-parameters

public virtual bool compatible (DataType target_type)

public abstract DataType copy ()

Creates a shallow copy of this type reference.

public virtual bool equals (DataType type2)

Checks two type references for equality. May only be used with resolved type references.

public virtual DataType get_actual_type (DataType? derived_instance_type, List<DataType>? method_type_arguments, CodeNode? node_reference)

public virtual Symbol? get_member (string member_name)

public virtual unowned List<Parameter>? get_parameters ()

Returns the list of invocation parameters.

public virtual Symbol? get_pointer_member (string member_name)

public virtual unowned DataType? get_return_type ()

Returns the return type of this invokable.

public unowned List<DataType> get_type_arguments ()

Returns the list of generic type arguments.

public string? get_type_signature (Symbol? symbol = null)

public bool has_type_arguments ()

public virtual DataType? infer_type_argument (TypeParameter type_param, DataType value_type)

Search for the type parameter in this formal type and match it in value_type.

public virtual bool is_accessible (Symbol sym)

public virtual bool is_disposable ()

Returns whether the value needs to be disposed, i.e. whether allocated memory or other resources need to be released when the value is no longer needed.

public bool is_generic ()

public virtual bool is_invokable ()

Returns whether instances of this type are invokable.

public bool is_non_null_simple_type ()

public bool is_real_non_null_struct_type ()

public virtual bool is_real_struct_type ()

Checks whether this data type references a real struct. A real struct is a struct which is not a simple (fundamental) type.

public virtual bool is_reference_type_or_type_parameter ()

public bool is_weak ()

public void remove_all_type_arguments ()

Removes all generic type arguments.

public override void replace_type (DataType old_type, DataType new_type)

public void replace_type_parameter (TypeParameter old_type_param, TypeParameter new_type_param)

public virtual bool stricter (DataType type2)

Checks whether this type reference is at least as strict as the specified type reference type2.

public virtual string to_prototype_string (string? override_name = null)

Returns a stringified representation used for detailed error output

public virtual string to_qualified_string (Scope? scope = null)

public override string to_string ()

Fields:

Inherited Members:

DataType