DataType

---

Object Hierarchy:

Description:

Content:

Properties:

• public unowned Symbol? context_symbol { get; set; }
• public bool floating_reference { get; set; }
• public bool is_dynamic { get; set; }
• public bool nullable { get; set; }
• public unowned Symbol? symbol { get; }
• public unowned TypeSymbol? type_symbol { get; }
• public bool value_owned { get; set; }

Creation methods:

• protected DataType ()
• protected DataType.with_symbol (Symbol? symbol, SourceReference? source_reference = null)

Methods:

• public override void accept (CodeVisitor visitor)
• public override void accept_children (CodeVisitor visitor)
• public void add_type_argument (DataType arg)
• public bool check_type_arguments (CodeContext context, bool allow_none = false)
• public virtual bool compatible (DataType target_type)
• public abstract DataType copy ()
• public virtual bool equals (DataType type2)
• 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 ()
• public virtual Symbol? get_pointer_member (string member_name)
• public virtual unowned DataType? get_return_type ()
• public unowned List<DataType> get_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)
• public virtual bool is_accessible (Symbol sym)
• public virtual bool is_disposable ()
• public bool is_generic ()
• public virtual bool is_invokable ()
• public bool is_non_null_simple_type ()
• public bool is_real_non_null_struct_type ()
• public virtual bool is_real_struct_type ()
• public virtual bool is_reference_type_or_type_parameter ()
• public bool is_weak ()
• public void remove_all_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)
• public virtual string to_prototype_string (string? override_name = null)
• public virtual string to_qualified_string (Scope? scope = null)
• public override string to_string ()

Inherited Members: