src/semantic/dotnet/ambiguous_method_checker.ghul

1		namespace Semantic.DotNet is
2		use IO.Std
3
4		use Collections.Iterable
5		use Collections.Iterator
6
7		use Collections.SET
8		use Collections.LIST
9		use Collections.MAP
10
11		use Pair = Collections.KeyValuePair
12
13		use System.Reflection.MethodInfo
14		use System.Reflection.TypeInfo
15
16		use Ghul.Pipes
17
18		use Symbols.Symbol
19		use Symbols.Scope
20		use Symbols.Function
21		use Symbols.FUNCTION_GROUP
22
23		use Types.Type
24
25		class AMBIGUOUS_METHOD_CHECKER(_logger: Logging.Logger) is
26
27		check(
28		owner: Symbol,
29		functions: Iterable[(function: Function, method_info: MethodInfo)]
30		) is
31		let map = MAP[(name: string, number_of_arguments: int), LIST[(function: Function, method_info: MethodInfo)]]()
32
33		for f_mi in functions do
34		let list: LIST[(function: Function, method_info: MethodInfo)] mut
35
36		let name = f_mi.function.name
37		let number_of_arguments = f_mi.function.argument_names.count
38
39		if !map.try_get_value((name, number_of_arguments), list ref) then
40		list = LIST[(Function, MethodInfo)]()
41		map[(name, number_of_arguments)] = list
42		fi
43
44		list.add(f_mi)
45		od
46
47		for kv in map do
48		if kv.value.count <= 1 then
49		continue
50		fi
51
52		check(
53		owner,
54		kv.key.name,
55		kv.value \|>
56		map(f_mi => f_mi.function) \|>
57		filter(f => f.is_instance /\ !f.is_internal)
58		)
59
60		check(
61		owner,
62		kv.key.name,
63		kv.value \|>
64		map(f_mi => f_mi.function) \|>
65		filter(f => !f.is_instance /\ !f.is_internal)
66		)
67		od
68		si
69
70		check(owner: Symbol, name: string, functions: Iterable[Function]) is
71		let map = METHOD_OVERRIDE_MAP(name)
72
73		map.add(functions)
74
75		for s in map do
76		if s.count > 1 then
77		for function in s.iterable do
78		if function.owner != owner then
79		function.hide()
80		fi
81		od
82		fi
83		od
84		si
85		si
86		si