summaryrefslogtreecommitdiff
path: root/vala/valamethodtype.vala
blob: 9a492faebfdccd77f5e812cfc1939920b8043c1b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
/* valamethodtype.vala
 *
 * Copyright (C) 2007-2008  Jürg Billeter
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.

 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.

 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301  USA
 *
 * Author:
 * 	Jürg Billeter <j@bitron.ch>
 */

using GLib;

/**
 * The type of a method referencea.
 */
public class Vala.MethodType : DataType {
	public Method method_symbol { get; set; }

	public MethodType (Method method_symbol) {
		this.method_symbol = method_symbol;
	}

	public override bool is_invokable () {
		return true;
	}

	public override DataType? get_return_type () {
		return method_symbol.return_type;
	}

	public override List<Parameter>? get_parameters () {
		return method_symbol.get_parameters ();
	}

	public override DataType copy () {
		return new MethodType (method_symbol);
	}

	public override bool compatible (DataType target_type) {
		var dt = target_type as DelegateType;
		if (dt == null) {
			// method types incompatible to anything but delegates
			return false;
		}
		
		return dt.delegate_symbol.matches_method (method_symbol, dt);
	}

	public override string to_qualified_string (Scope? scope) {
		return method_symbol.get_full_name ();
	}

	public override Symbol? get_member (string member_name) {
		if (method_symbol.coroutine && member_name == "begin") {
			return method_symbol;
		} else if (method_symbol.coroutine && member_name == "end") {
			return method_symbol;
		} else if (method_symbol.coroutine && member_name == "callback") {
			return method_symbol.get_callback_method ();
		}
		return null;
	}

	public string to_prototype_string (bool with_type_parameters = false) {
		var proto = "%s %s (".printf (get_return_type ().to_string (), this.to_string ());

		int i = 1;
		foreach (Parameter param in get_parameters ()) {
			if (i > 1) {
				proto += ", ";
			}

			if (param.ellipsis) {
				proto += "...";
				continue;
			}

			if (param.direction == ParameterDirection.IN) {
				if (param.variable_type.value_owned) {
					proto += "owned ";
				}
			} else {
				if (param.direction == ParameterDirection.REF) {
					proto += "ref ";
				} else if (param.direction == ParameterDirection.OUT) {
					proto += "out ";
				}
				if (param.variable_type.is_weak ()) {
					proto += "unowned ";
				}
			}

			proto = "%s%s %s".printf (proto, param.variable_type.to_qualified_string (), param.name);

			if (param.initializer != null) {
				proto = "%s = %s".printf (proto, param.initializer.to_string ());
			}

			i++;
		}

		return proto + ")";
	}
}