source: trunk/ada-2012/src/ag/ 363

Last change on this file since 363 was 363, checked in by Maxim Reznik, 6 years ago

Express function_call overload resolution rules

New type of interpretation required for this: Tuple.
This interpretation used to gather interpretations of parameter_associations.
Tuples connect sets of interpretations of each param together.
Then we iterate over them and choose matched for function prefix.
Chosen interpretation them get index by call Get_Tuple_Index function.
This function return linked structure of tuples suitable to unwind
during traverse parameter_associations when propagating Down attribute.

File size: 21.8 KB
Note: See TracBrowser for help on using the repository browser.