vala/valadelegatetype.vala

   1 /* valadelegatetype.vala
   2  *
   3  * Copyright (C) 2007-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 using Gee;
  25
  26 /**
  27  * The type of an instance of a delegate.
  28  */
  29 public class Vala.DelegateType : DataType {
  30         public Delegate delegate_symbol { get; set; }
  31
  32         public DelegateType (Delegate delegate_symbol) {
  33                 this.delegate_symbol = delegate_symbol;
  34         }
  35
  36         public override bool is_invokable () {
  37                 return true;
  38         }
  39
  40         public override DataType? get_return_type () {
  41                 return delegate_symbol.return_type;
  42         }
  43
  44         public override Gee.List<FormalParameter>? get_parameters () {
  45                 return delegate_symbol.get_parameters ();
  46         }
  47
  48         public override string to_qualified_string (Scope? scope) {
  49                 string s = delegate_symbol.get_full_name ();
  50                 if (nullable) {
  51                         s += "?";
  52                 }
  53                 return s;
  54         }
  55
  56         public override DataType copy () {
  57                 var result = new DelegateType (delegate_symbol);
  58                 result.source_reference = source_reference;
  59                 result.value_owned = value_owned;
  60                 result.nullable = nullable;
  61
  62                 foreach (DataType arg in get_type_arguments ()) {
  63                         result.add_type_argument (arg.copy ());
  64                 }
  65
  66                 return result;
  67         }
  68
  69         public override string? get_cname () {
  70                 return delegate_symbol.get_cname ();
  71         }
  72
  73         public override Gee.List<Symbol> get_symbols () {
  74                 var symbols = new ArrayList<Symbol> ();
  75                 symbols.add (delegate_symbol);
  76                 return symbols;
  77         }
  78
  79         public override string? get_type_id () {
  80                 return "G_TYPE_POINTER";
  81         }
  82
  83         public override bool check (SemanticAnalyzer analyzer) {
  84                 return delegate_symbol.check (analyzer);
  85         }
  86
  87         public override bool is_disposable () {
  88                 return delegate_symbol.has_target && value_owned;
  89         }
  90 }