vala/valagenerictype.vala

   1 /* valagenerictype.vala
   2  *
   3  * Copyright (C) 2008-2009  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  */
  22
  23 using GLib;
  24
  25 /**
  26  * The type of a generic type parameter.
  27  */
  28 public class Vala.GenericType : DataType {
  29         /**
  30          * The referred generic type parameter.
  31          */
  32         public TypeParameter type_parameter { get; set; }
  33
  34         public GenericType (TypeParameter type_parameter) {
  35                 this.type_parameter = type_parameter;
  36                 // type parameters are always considered nullable
  37                 this.nullable = true;
  38         }
  39
  40         public override DataType copy () {
  41                 var result = new GenericType (type_parameter);
  42                 result.source_reference = source_reference;
  43                 result.value_owned = value_owned;
  44                 result.nullable = nullable;
  45                 result.floating_reference = floating_reference;
  46
  47                 return result;
  48         }
  49
  50         public override DataType? infer_type_argument (TypeParameter type_param, DataType value_type) {
  51                 if (type_parameter == type_param) {
  52                         var ret = value_type.copy ();
  53                         ret.value_owned = true;
  54                         return ret;
  55                 }
  56
  57                 return null;
  58         }
  59
  60         public override string to_qualified_string (Scope? scope = null) {
  61                 return type_parameter.name;
  62         }
  63
  64         public override Symbol? get_member (string member_name) {
  65                 return null;
  66         }
  67 }