source: trunk/ada-2012/src/semantic/gela-resolve.adb

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @547   4 years Maxim Reznik Split subtype_indication into two scalar_subtype_indication and …
(edit) @546   5 years Maxim Reznik Allow constraint for access types. Add resolution for object_declaration.
(edit) @542   5 years Maxim Reznik Implement root_integer and root_real preferences in interpretation …
(edit) @536   5 years Maxim Reznik Implement Is_Discrete, Is_Enumeration properties on types view. …
(edit) @535   5 years Maxim Reznik Use discrete_subtype_indication in type manager
(edit) @532   5 years Maxim Reznik Fix resolving direct_name as function_call Save defining_name in down …
(edit) @531   5 years Maxim Reznik Add chosen_interpretation to an identifier If an identifier is used …
(edit) @530   5 years Maxim Reznik Remove ineffective use clauses
(edit) @526   5 years Maxim Reznik Add character_literal resolution
(edit) @517   5 years Maxim Reznik Add resolving of auxiliary_apply as type_convertion
(edit) @511   5 years Maxim Reznik Drop Cursor and Visiter for up interpretation set. Replace it with …
(edit) @510   5 years Maxim Reznik Replace Each_Prefix with custom iterator
(edit) @509   5 years Maxim Reznik Replace Each_Expression with custom iterator
(edit) @508   5 years Maxim Reznik Add more interpretation set iterators.
(edit) @507   5 years Maxim Reznik Use Symbols iterator instead of visitor.
(edit) @505   5 years Maxim Reznik Replace On_Defining_Name visitor with corresponding iterator.
(edit) @503   5 years Maxim Reznik Separate type matchers into their own package.
(edit) @496   6 years Maxim Reznik Add new property chosen_interpretation to keep interpretation of …
(edit) @491   6 years Maxim Reznik Fix resolution of function_call with attribute_reference prefix
(edit) @490   6 years Maxim Reznik Change name resolution in an instantination. Drop package_instance …
(edit) @488   6 years Maxim Reznik Allow formal_object in an instantination
(edit) @475   6 years Maxim Reznik Fix regressions
(edit) @474   6 years Maxim Reznik Resolve Generic_Actual_Part
(edit) @464   7 years Maxim Reznik Keep Range identifier in attribute_reference
(edit) @463   7 years Maxim Reznik Add expression flag. Join range+type memberships Keep extra …
(edit) @462   7 years Maxim Reznik Add interpretations for array aggregates
(edit) @461   7 years Maxim Reznik Fix compilation errors of ASIS.Statements
(edit) @460   7 years Maxim Reznik Add interpretation set tuple and tuple_list types
(edit) @434   7 years Maxim Reznik Resolve membership_test
(edit) @425   7 years Maxim Reznik Add array_type with list of index types
(edit) @424   7 years Maxim Reznik Move type view methods
(edit) @423   7 years Maxim Reznik Remove Type_Category from type API
(edit) @421   7 years Maxim Reznik Add type visiter
(edit) @414   7 years Maxim Reznik Store completion map in environment
(edit) @413   7 years Maxim Reznik Extent interpretation of selected_component
(edit) @412   7 years Maxim Reznik Add next test
(edit) @411   7 years Maxim Reznik Declare implicit operators after full type declaration
(edit) @410   8 years Maxim Reznik Resolve string_literals
(edit) @409   8 years Maxim Reznik Add checking expected type
(edit) @407   8 years Maxim Reznik Add type for represent subprogram profile
(edit) @405   8 years Maxim Reznik Add interpretation for signed integer types
(edit) @404   8 years Maxim Reznik Split interpretation visitor to two interfaces One for up and another …
(edit) @396   8 years Maxim Reznik Add interpretation of record aggregate
(edit) @395   8 years Maxim Reznik Use type of LHS to tesolve assigment
(edit) @394   8 years Maxim Reznik Force AG to traverse exception_handlers
(edit) @393   8 years Maxim Reznik Resolve discrete_choices in case_statement
(edit) @391   8 years Maxim Reznik Resolve selector_name in discriminant constraint Add Symbol …
(edit) @389   8 years Maxim Reznik Implement Asis.Element.Pragma_Kind.
(edit) @382   8 years Maxim Reznik Revert #379 #380 #381
(edit) @368   8 years Maxim Reznik Fix regression
(edit) @367   8 years Maxim Reznik Fix interpretation of composite_constraint Add Placeholder …
(edit) @366   8 years Maxim Reznik Use tuple as interpretation of association We need tuple to keep …
(edit) @365   8 years Maxim Reznik Make operations of intepretation visiter "is null"
(edit) @363   8 years Maxim Reznik Express function_call overload resolution rules New type of …
(edit) @358   8 years Maxim Reznik Fix regressions Drop (left) expicit convertions from …
(edit) @357   8 years Maxim Reznik Let's not every interpretation has index. Drop …
(copy) @318   8 years Maxim Reznik Move Ada 2012 code to trunk
copied from branches/invoke/src/semantic/gela-resolve.adb
(edit) @313   8 years Maxim Reznik Add use clauses into env
Note: See TracRevisionLog for help on using the revision log.