ErrorType

---

Object Hierarchy:

Description:

Content:

Properties:

• public bool dynamic_error { get; set; }
• public unowned ErrorCode? error_code { get; set; }
  The error code or null for generic error.
• public unowned ErrorDomain? error_domain { get; }
  The error domain or null for generic error.

Creation methods:

• public ErrorType (ErrorDomain? error_domain, ErrorCode? error_code, SourceReference? source_reference = null)

Methods:

• public override bool check (CodeContext context)
• public override bool compatible (DataType target_type)
• public override DataType copy ()
• public override bool equals (DataType type2)
• public override Symbol? get_member (string member_name)
• public override bool is_reference_type_or_type_parameter ()

Fields:

• private bool _dynamic_error
• private unowned ErrorCode? _error_code

Inherited Members: