source: trunk/ada-2012/src/semantic

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @552   4 years Maxim Reznik Add Is_The_Same_Type function
(edit) @550   4 years Maxim Reznik Keep package_renaming_declaration in Env to be able expand selected …
(edit) @548   4 years Maxim Reznik Add chosen_interpretation to number_declaration to distinguish …
(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) @543   5 years Maxim Reznik Add a Defining_Name to Type_View. Define more operators for a type …
(edit) @542   5 years Maxim Reznik Implement root_integer and root_real preferences in interpretation …
(edit) @541   5 years Maxim Reznik Add Root_Integer and Root_Real to type manager
(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) @528   5 years Maxim Reznik Remove ineffective use clauses
(edit) @526   5 years Maxim Reznik Add character_literal resolution
(edit) @525   5 years Maxim Reznik Add Fix_Node_Identifier to pretend function_call when resolved as …
(edit) @519   5 years Maxim Reznik Implement type info for enumeration types
(edit) @517   5 years Maxim Reznik Add resolving of auxiliary_apply as type_convertion
(edit) @514   5 years Maxim Reznik Add new test
(edit) @512   5 years Maxim Reznik Separate Property_Reset and Property_Getter from Gela.Instantiation …
(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) @506   5 years Maxim Reznik Add iterator for symbol interpretations
(edit) @505   5 years Maxim Reznik Replace On_Defining_Name visitor with corresponding iterator.
(edit) @504   5 years Maxim Reznik Add iterator over defining name interpretation to interpretation set. …
(edit) @503   5 years Maxim Reznik Separate type matchers into their own package.
(edit) @497   5 years Maxim Reznik Use chosen_interpretation to keep composite_constraint interpretation.
(edit) @496   6 years Maxim Reznik Add new property chosen_interpretation to keep interpretation of …
(edit) @494   6 years Maxim Reznik Fix evaluation of Env in block_statement Add result of next test to …
(edit) @493   6 years Maxim Reznik Fix Env_Out expanding with object_declaration of …
(edit) @492   6 years Maxim Reznik Fix typo
(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) @489   6 years Maxim Reznik Implement Corresponding_Generic_Element
(edit) @488   6 years Maxim Reznik Allow formal_object in an instantination
(edit) @487   6 years Maxim Reznik Add tokens into cloned tree We need tokens in instantces to calculate …
(edit) @485   6 years Maxim Reznik Update environment in package_instantination enabme next def_name test
(edit) @484   6 years Maxim Reznik Add formal type support to plain_type_view
(edit) @483   6 years Maxim Reznik Fix package instantination by using type convertion when looking for …
(edit) @482   6 years Maxim Reznik Fix regressions Avoid property reading in Property_Setter, because …
(edit) @481   6 years Maxim Reznik Expand generic instance
(edit) @475   6 years Maxim Reznik Fix regressions
(edit) @474   6 years Maxim Reznik Resolve Generic_Actual_Part
(edit) @472   6 years Maxim Reznik Resolve Generic_Unit_Name in instantinations
(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) @426   7 years Maxim Reznik Minor refactoring Rename Count_Type to List in Gela.Peristent_Lists. …
(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) @422   7 years Maxim Reznik Add more type subbclasses to fix regressions
(edit) @421   7 years Maxim Reznik Add type visiter
(edit) @419   7 years Maxim Reznik Collect all completion of a defining name
(edit) @417   7 years Maxim Reznik Remove type_index from attributes It seems type information has no …
(edit) @415   7 years Maxim Reznik Set svn:keywords
(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) @403   8 years Maxim Reznik Add "type category" interpretation
(edit) @399   8 years Maxim Reznik Make distinction between index and disriminant constraint
(edit) @398   8 years Maxim Reznik Create completion region for package_body
(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) @387   8 years Maxim Reznik Add next test to list
(edit) @385   8 years Maxim Reznik Generate Gela.Property_Visiters
(edit) @384   8 years Maxim Reznik Add --debug= parameter When user specifies …
(edit) @383   8 years Maxim Reznik Improve def_name test to print each name If def_name is started with …
(edit) @382   8 years Maxim Reznik Revert #379 #380 #381
(edit) @380   8 years Maxim Reznik Fix regressions Enable all validation checks.
(edit) @374   8 years Maxim Reznik Add Is_String function for check static values
(edit) @370   8 years Maxim Reznik Add evaluation for numeric static expression
(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) @364   8 years Maxim Reznik Fix regression after iteration changes
(edit) @363   8 years Maxim Reznik Express function_call overload resolution rules New type of …
(edit) @362   8 years Maxim Reznik Change list expansion Traverse of list was changed in prev commit. …
(edit) @359   8 years Maxim Reznik Reuse interpretation index Return the same value for each call 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 …
(edit) @356   8 years Maxim Reznik Add "-" and "&" to Standard package
(edit) @346   8 years Maxim Reznik Drop Parent attribute, use Enclosing_Element instead
Note: See TracRevisionLog for help on using the revision log.