vala/valamethodtype.vala

   1 /* valamethodtype.vala
   2  *
   3  * Copyright (C) 2007-2008  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 method referencea.
  27  */
  28 public class Vala.MethodType : DataType {
  29         public Method method_symbol { get; set; }
  30
  31         public MethodType (Method method_symbol) {
  32                 this.method_symbol = method_symbol;
  33         }
  34
  35         public override bool is_invokable () {
  36                 return true;
  37         }
  38
  39         public override DataType? get_return_type () {
  40                 return method_symbol.return_type;
  41         }
  42
  43         public override List<FormalParameter>? get_parameters () {
  44                 return method_symbol.get_parameters ();
  45         }
  46
  47         public override DataType copy () {
  48                 return new MethodType (method_symbol);
  49         }
  50
  51         public override bool compatible (DataType target_type) {
  52                 var dt = target_type as DelegateType;
  53                 if (dt == null) {
  54                         // method types incompatible to anything but delegates
  55                         return false;
  56                 }
  57
  58                 return dt.delegate_symbol.matches_method (method_symbol, dt);
  59         }
  60
  61         public override string to_qualified_string (Scope? scope) {
  62                 return method_symbol.get_full_name ();
  63         }
  64
  65         public override string? get_cname () {
  66                 return "gpointer";
  67         }
  68
  69         public override Symbol? get_member (string member_name) {
  70                 if (method_symbol.coroutine && member_name == "begin") {
  71                         return method_symbol;
  72                 } else if (method_symbol.coroutine && member_name == "end") {
  73                         return method_symbol;
  74                 } else if (method_symbol.coroutine && member_name == "callback") {
  75                         return method_symbol.get_callback_method ();
  76                 }
  77                 return null;
  78         }
  79
  80         public string to_prototype_string (bool with_type_parameters = false) {
  81                 var proto = "%s %s (".printf (get_return_type ().to_string (), this.to_string ());
  82
  83                 int i = 1;
  84                 foreach (FormalParameter param in get_parameters ()) {
  85                         if (i > 1) {
  86                                 proto += ", ";
  87                         }
  88
  89                         if (param.ellipsis) {
  90                                 proto += "...";
  91                                 continue;
  92                         }
  93
  94                         if (param.direction == ParameterDirection.IN) {
  95                                 if (param.variable_type.value_owned) {
  96                                         proto += "owned ";
  97                                 }
  98                         } else {
  99                                 if (param.direction == ParameterDirection.REF) {
 100                                         proto += "ref ";
 101                                 } else if (param.direction == ParameterDirection.OUT) {
 102                                         proto += "out ";
 103                                 }
 104                                 if (param.variable_type.is_weak ()) {
 105                                         proto += "unowned ";
 106                                 }
 107                         }
 108
 109                         proto = "%s%s %s".printf (proto, param.variable_type.to_qualified_string (), param.name);
 110
 111                         if (param.initializer != null) {
 112                                 proto = "%s = %s".printf (proto, param.initializer.to_string ());
 113                         }
 114
 115                         i++;
 116                 }
 117
 118                 return proto + ")";
 119         }
 120 }