vala/valaerrortype.vala

   1 /* valaerrortype.vala
   2  *
   3  * Copyright (C) 2008-2010  Jürg Billeter
   4  *
   5  * This library is free software; you can redistribute it and/or
   6  * modify it under the terms of the GNU Lesser General Public
   7  * License as published by the Free Software Foundation; either
   8  * version 2.1 of the License, or (at your option) any later version.
   9
  10  * This library is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13  * Lesser General Public License for more details.
  14
  15  * You should have received a copy of the GNU Lesser General Public
  16  * License along with this library; if not, write to the Free Software
  17  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301  USA
  18  *
  19  * Author:
  20  *      Jürg Billeter <j@bitron.ch>
  21  *      Raffaele Sandrini <raffaele@sandrini.ch>
  22  */
  23
  24 using GLib;
  25
  26 /**
  27  * A class type.
  28  */
  29 public class Vala.ErrorType : ReferenceType {
  30         /**
  31          * The error domain or null for generic error.
  32          */
  33         public weak ErrorDomain? error_domain { get; set; }
  34
  35         /**
  36          * The error code or null for generic error.
  37          */
  38         public weak ErrorCode? error_code { get; set; }
  39
  40         public bool dynamic_error { get; set; }
  41
  42         public ErrorType (ErrorDomain? error_domain, ErrorCode? error_code, SourceReference? source_reference = null) {
  43                 this.error_domain = error_domain;
  44                 this.data_type = error_domain;
  45                 this.error_code = error_code;
  46                 this.source_reference = source_reference;
  47         }
  48
  49         public override bool compatible (DataType target_type) {
  50                 /* temporarily ignore type parameters */
  51                 if (target_type.type_parameter != null) {
  52                         return true;
  53                 }
  54
  55                 var et = target_type as ErrorType;
  56
  57                 /* error types are only compatible to error types */
  58                 if (et == null) {
  59                         return false;
  60                 }
  61
  62                 /* every error type is compatible to the base error type */
  63                 if (et.error_domain == null) {
  64                         return true;
  65                 }
  66
  67                 /* otherwhise the error_domain has to be equal */
  68                 if (et.error_domain != error_domain) {
  69                         return false;
  70                 }
  71
  72                 if (et.error_code == null) {
  73                         return true;
  74                 }
  75
  76                 return et.error_code == error_code;
  77         }
  78
  79         public override string to_qualified_string (Scope? scope) {
  80                 string result;
  81
  82                 if (error_domain == null) {
  83                         result = "GLib.Error";
  84                 } else {
  85                         result = error_domain.get_full_name ();
  86                 }
  87
  88                 if (nullable) {
  89                         result += "?";
  90                 }
  91
  92                 return result;
  93         }
  94
  95         public override DataType copy () {
  96                 var result = new ErrorType (error_domain, error_code, source_reference);
  97                 result.value_owned = value_owned;
  98                 result.nullable = nullable;
  99                 result.dynamic_error = dynamic_error;
 100
 101                 return result;
 102         }
 103
 104         public override string? get_cname () {
 105                 return "GError*";
 106         }
 107
 108         public override string? get_lower_case_cname (string? infix = null) {
 109                 if (error_domain == null) {
 110                         if (infix == null) {
 111                                 return "g_error";
 112                         } else {
 113                                 return "g_%s_error".printf (infix);
 114                         }
 115                 } else if (error_code == null) {
 116                         return error_domain.get_lower_case_cname (infix);
 117                 } else {
 118                         return error_code.get_lower_case_cname (infix);
 119                 }
 120         }
 121
 122         public override bool equals (DataType type2) {
 123                 var et = type2 as ErrorType;
 124
 125                 if (et == null) {
 126                         return false;
 127                 }
 128
 129                 return error_domain == et.error_domain;
 130         }
 131
 132         public override Symbol? get_member (string member_name) {
 133                 var root_symbol = source_reference.file.context.root;
 134                 var gerror_symbol = root_symbol.scope.lookup ("GLib").scope.lookup ("Error");
 135                 return gerror_symbol.scope.lookup (member_name);
 136         }
 137
 138         public override string? get_type_id () {
 139                 if (source_reference != null && source_reference.file.context.require_glib_version (2, 26)) {
 140                         return "G_TYPE_ERROR";
 141                 } else {
 142                         return "G_TYPE_POINTER";
 143                 }
 144         }
 145
 146         public override bool is_reference_type_or_type_parameter () {
 147                 return true;
 148         }
 149
 150         public override bool check (CodeContext context) {
 151                 if (error_domain != null) {
 152                         return error_domain.check (context);
 153                 }
 154                 return true;
 155         }
 156 }