/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
ViewVC logotype

Log of /branches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Sticky Revision:

Revision 69868 - (view) (annotate) - [select for diffs]
Modified Fri Aug 3 22:28:26 2007 UTC (12 years, 4 months ago) by martins
File length: 266761 byte(s)
Diff to previous 69847
enabled more types to store monomorph information

Revision 69847 - (view) (annotate) - [select for diffs]
Modified Fri Aug 3 01:50:33 2007 UTC (12 years, 4 months ago) by martins
File length: 266771 byte(s)
Diff to previous 69844
bug fix of cat call check: argument was adapted and therefore we did not recognize like Current errors

Revision 69844 - (view) (annotate) - [select for diffs]
Modified Fri Aug 3 00:52:36 2007 UTC (12 years, 4 months ago) by martins
File length: 266693 byte(s)
Diff to previous 69840
added new line to error output
and special treatment of like current as it is not yet marked monomorph automatically

Revision 69840 - (view) (annotate) - [select for diffs]
Modified Fri Aug 3 00:37:18 2007 UTC (12 years, 4 months ago) by martins
File length: 266632 byte(s)
Diff to previous 69837
added vuar 4 error + bug fixes

Revision 69837 - (view) (annotate) - [select for diffs]
Modified Thu Aug 2 23:58:42 2007 UTC (12 years, 4 months ago) by martins
File length: 265525 byte(s)
Diff to previous 69806
process call CAT call check *should* work

Revision 69806 - (view) (annotate) - [select for diffs]
Modified Wed Aug 1 23:42:34 2007 UTC (12 years, 4 months ago) by juliant
File length: 265218 byte(s)
Diff to previous 69774
Added new structure for holding covariant feature information.
Changed system_i to use new structures.
Started using new structures: check_signature of FEATURE_I already uses it. INHERIT_TABLE still needs to be updated


Revision 69774 - (view) (annotate) - [select for diffs]
Modified Wed Aug 1 16:27:41 2007 UTC (12 years, 4 months ago) by martins
File length: 264971 byte(s)
Diff to previous 69751
julian can continue, it does not yet compile

Revision 69751 - (view) (annotate) - [select for diffs]
Modified Tue Jul 31 21:34:25 2007 UTC (12 years, 4 months ago) by juliant
File length: 264869 byte(s)
Diff to previous 69741
Fixed bug in variance check for features with formal arguments.
Improved condition if cat call check should be done and added comments.

Revision 69741 - (view) (annotate) - [select for diffs]
Modified Tue Jul 31 00:04:43 2007 UTC (12 years, 4 months ago) by martins
File length: 263604 byte(s)
Diff to previous 69704
* added feature `is_like_feature' to type_a.e and descendants
* fixed bugs in dump/output of types where the variant keyword was missing
* added check and error for variant generic features (i.e as soon as a "variant" feature is used the compiler reports an error (for now vuar3)
* enhanced algorithm to mark features which have: covaraint argument or result type redefinition
* bug fix (features added to wrong lists) (feature_i.e)

Revision 69704 - (view) (annotate) - [select for diffs]
Modified Thu Jul 26 23:11:39 2007 UTC (12 years, 4 months ago) by juliant
File length: 262161 byte(s)
Diff to previous 69699
check for equal types is now done via reverse conformance. this handles like types correctly
conformance check on equality operator is done without issuing warnings

Revision 69699 - (view) (annotate) - [select for diffs]
Modified Thu Jul 26 19:39:43 2007 UTC (12 years, 4 months ago) by juliant
File length: 262147 byte(s)
Diff to previous 69690
added conformance checking which does not raise warnings
added conformance checking for variant generics


Revision 69690 - (view) (annotate) - [select for diffs]
Modified Wed Jul 25 23:42:05 2007 UTC (12 years, 4 months ago) by juliant
File length: 262135 byte(s)
Diff to previous 69685
Renamed "conform_to" to "is_conforming_descendant"
TYPE_A.conform_to now checks monomorphic types

Revision 69685 - (view) (annotate) - [select for diffs]
Modified Wed Jul 25 18:14:30 2007 UTC (12 years, 4 months ago) by juliant
File length: 262112 byte(s)
Diff to previous 69651
added statistics from CAT_interval_types branch
added feature flags (covariant/formal) from CAT_interval_types branch
added catcall check from CAT_interval_types branch
set resolved type of like Current to be monomorphic


Revision 69651 - (view) (annotate) - [select for diffs]
Modified Tue Jul 24 17:50:09 2007 UTC (12 years, 4 months ago) by juliant
File length: 262363 byte(s)
Diff to previous 69650
Fixed problems with marks.
Fixed problem with conformance check.
manifest strings and creation expressions are now monomorph

Revision 69650 - (view) (annotate) - [select for diffs]
Modified Tue Jul 24 17:18:14 2007 UTC (12 years, 4 months ago) by juliant
File length: 262106 byte(s)
Diff to previous 69629
Added monomorph mark for class types, either "frozen" or "invariant".
First (simple) conformance check for monomorphic types.

Revision 69629 - (view) (annotate) - [select for diffs]
Modified Mon Jul 23 21:36:18 2007 UTC (12 years, 4 months ago) by manus
File length: 262085 byte(s)
Diff to previous 69556
Creation of CAT_mono branch to implement variant/invariant proposal

Revision 69556 - (view) (annotate) - [select for diffs]
Modified Thu Jul 19 16:37:33 2007 UTC (12 years, 5 months ago) by jfiat
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 262085 byte(s)
Diff to previous 69057
Fixed last part of bug#12606: Stepping with Auto Expressions in sample graphical app causes crash
this was related to evaluation of local in ancestor (generic type) from current class (not generic).

Revision 69057 - (view) (annotate) - [select for diffs]
Modified Wed Jun 13 18:50:18 2007 UTC (12 years, 6 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 261630 byte(s)
Diff to previous 68998
type_set_a.e: added new feature to complete API: fast access to any feature of a type set by a routine id.
ast_decorated_output_strategy.e and ast_breakable_slot_strategy.e: Fixed various bugs, the ones reported are:
 bug#13077, bug#13011, bug#13010
ast_feature_checker_generator.e: Code to store convert in BINARY_AS + Cosmetics.
binary_as.e: Added flag to store whether left type was converted to right type or not.


Revision 68998 - (view) (annotate) - [select for diffs]
Modified Mon Jun 11 01:41:38 2007 UTC (12 years, 6 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 261646 byte(s)
Diff to previous 68852
vtgc2.e: Error printing improved.
ast_feature_checker_generator.e: Added a protection for NONE types and refactored code. Compare bug#13012 (test#fixed133).
class_c.e and formal_a.e: Bugfix related to bug in ast_feature_checker_generator.e
mc_feature_info.e: added constraint position to output (more information for the user)
renaming_a.e: implemented alias support for multi constraints. Various bugs fixed, see list below.
type_set_a.e: went from is_loose to has_formal as is_loose includes like which is ok.
ast_compiler_factory.e: Added comment about where similar code can be found code.
formal_constraint_as.e: Added code to print erros without using the compiled version of a renaming, as it cannot reproduce the complete information.
rename_clause_as.e: Added two features to support error output generation.

The following bugs are fixed because of better error printing and alias support for multi-constraint formals:
 * bug#12776 with test#multicon044
 * bug#12778 (now there is a proper error message)
 * bug#12877 with test#multicon045
 * bug#12785 with test#multicon047

Revision 68852 - (view) (annotate) - [select for diffs]
Modified Mon Jun 4 18:15:15 2007 UTC (12 years, 6 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 261168 byte(s)
Diff to previous 68802
Fixed bug#12818 (assigner command).
Added more support for alias features.
vwbr.e: Extended the error class to be able to support multi constraint error messages (switcht from CLACC_C to TYPE_A)
formal_a.e: Removed obsolete feature `has_multi_constraints'
gen_type_a.e: Cosmetics
renaming_a.e: Enabled storage of alias names. Detection of Infix/Prefix is not implemented (see bug#12817). 
type_set_a.e: Changed code related to alias names and added some more contracts.
formal_constraint_as.e: Creation of renaming with alias names
ast_feature_checker_generator.e: Fixed bug#12818 (assigner command) and fixed a bug for infix features.
byte_context.e: Fixed bug#12784 reproduced by test#multicon041.
constraining_type_as.e: refactored code into query
ast_formal_generics_pass2.e: In case of enabled assertions there are cases where the checks fail.


Revision 68802 - (view) (annotate) - [select for diffs]
Modified Fri Jun 1 06:20:25 2007 UTC (12 years, 6 months ago) by jfiat
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 260396 byte(s)
Diff to previous 68788
Reversed erroneous commit.

Revision 68788 - (view) (annotate) - [select for diffs]
Modified Thu May 31 16:14:25 2007 UTC (12 years, 6 months ago) by jfiat
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 260412 byte(s)
Diff to previous 68627
- Do not show an hidden call stack tool when exception occurs (see bug#12919)
- fixed issue related to inline agent, and auto expressions feature of watch tools.


Revision 68627 - (view) (annotate) - [select for diffs]
Modified Wed May 23 23:31:00 2007 UTC (12 years, 6 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 260396 byte(s)
Diff to previous 68408
* Clean-Up
* Switched from VTGD back to VTCG which yields in proper error location in more cases.
* il_node_generator.e: fixed a bug by protecting a call on void target

Revision 68408 - (view) (annotate) - [select for diffs]
Modified Thu May 17 20:48:38 2007 UTC (12 years, 7 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 260371 byte(s)
Diff to previous 68370
Commented local that is currently used in commented code.


Revision 68370 - (view) (annotate) - [select for diffs]
Modified Wed May 16 15:23:59 2007 UTC (12 years, 7 months ago) by juliant
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 260369 byte(s)
Diff to previous 68357
removed processing of restrict node

Revision 68357 - (view) (annotate) - [select for diffs]
Modified Wed May 16 05:20:20 2007 UTC (12 years, 7 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 260497 byte(s)
Diff to previous 68349
Fixed martin's question.


Revision 68349 - (view) (annotate) - [select for diffs]
Modified Wed May 16 00:29:34 2007 UTC (12 years, 7 months ago) by juliant
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 260558 byte(s)
Diff to previous 68291
added statistics about total cat calls.

Revision 68291 - (view) (annotate) - [select for diffs]
Modified Mon May 14 18:07:06 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 258483 byte(s)
Diff to previous 68280
ast_feature_checker_generator.e: a number of bugs has been fixed found while executing tcs#26. The bugs are catched by several already existing eweasel tests.
gen_type_a.e: Fixed bug#12704/test#valid214
formal_dec_as.e: By uncommenting the newly added lines every formal will be regarded as a multi constrained one. This is part of tcs#26.

Revision 68280 - (view) (annotate) - [select for diffs]
Modified Sun May 13 18:06:54 2007 UTC (12 years, 7 months ago) by alexk
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 255226 byte(s)
Diff to previous 68089
Supported reattachment of objects of types that are generic derivations
with expanded parameters to entities of types that are suitable generic
derivations with reference parameters.



Revision 68089 - (view) (annotate) - [select for diffs]
Modified Thu May 3 18:36:31 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 254043 byte(s)
Diff to previous 68060
Refactored RENAMED_TYPE_A to RENAMED_TYPE [G -> TYPE_A]
This change allows us to program type safe if possible.

Revision 68060 - (view) (annotate) - [select for diffs]
Modified Wed May 2 16:30:20 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 254018 byte(s)
Diff to previous 68030
Bug fix for bug#12561.
ast_feature_checker_generator.e: It contains the bugfix for code which handles the case when a feature is processed with the `is_inherited' flag set to true. The result type needs to be adapted properly for the multiconstraint case.

Revision 68030 - (view) (annotate) - [select for diffs]
Modified Mon Apr 30 18:38:45 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 253409 byte(s)
Diff to previous 67957
Main change: I merged many occurences of "constrained_type" like features into `FORMAL_A'
Renamed `is_multi_constrained_formal' into `is_multi_constrained'
type_a.e: I moved some features into FORMAL_A because the usage pattern suggests that they are not needed in TYPE_A (to improve speed).
renamed_type_a.e: added implementation for `conformance_type', this was a bug (not reported)
formal_dec_as.e: fixed a bug in `is_multi_constrained' (not reported)

Revision 67957 - (view) (annotate) - [select for diffs]
Modified Mon Apr 23 21:58:30 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 253460 byte(s)
Diff to previous 67948
* mostly removed my TODOs
* removed wrong usage of `{CLASS_C}.constraint' from ast_breakable_slot_startegy.e
* refactored constraint_fixed back into constraint
* degree_4.e: removed check as assumptions seemed to be correct


Revision 67948 - (view) (annotate) - [select for diffs]
Modified Sat Apr 21 00:50:00 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 253599 byte(s)
Diff to previous 67862
formal_a.e: Added feature to check whether a formals constraint has a renaming or not. This is a necessary adaptation to handle single constraints which have a renaming correctly.
gen_type_a.e: provide location information.
renamed_type_a.e: Fixed bug in is_equivalent
renaming_a.e: Added a feature to map old names onto their new names.
type_a.e: added feature allows to check for certain conditions without a reverse assignment to formal_a.e
formal_constraint_as.e: removed too strong error handling (eweasel tests failed because of this, that's why it is removed)
ast_feature_checker_generator.e: Bug fix for bug#12503 and bug#12504
formal_constraint_as.e: Added a feature to support changes in formal.a and fixed a plain wrong feature.
named_tuple_type_as.e: fixed a bug which printed one comma too much in the `dump' feature



Revision 67862 - (view) (annotate) - [select for diffs]
Modified Tue Apr 17 02:11:27 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 251313 byte(s)
Diff to previous 67856
* Fixed minor bug in FORMAL_CONSTRAINT_AS (renaming of single constraint type was not checked)
* Adapted precondition of conformance features in TYPE_SET_A
* Refactored EXTENDED_TYPE_A into RENAMED_TYPE_A.
* Refactored MC_ERROR_REPORT into MC_FEATURE_INFO

Revision 67856 - (view) (annotate) - [select for diffs]
Modified Mon Apr 16 19:22:30 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 251321 byte(s)
Diff to previous 67847
Cosmetics: I replaced double (or more) lines in the source code by single lines automatically. So you might hit anomalies. But I hope they are just a few exceptions.

Revision 67847 - (view) (annotate) - [select for diffs]
Modified Fri Apr 13 22:40:42 2007 UTC (12 years, 8 months ago) by juliant
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 251322 byte(s)
Diff to previous 67846
Added configuration option to activate the catcall check.
Added catcall check for feature calls on non-generics.
Added warning for catcalls.


Revision 67846 - (view) (annotate) - [select for diffs]
Modified Fri Apr 13 21:29:28 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 245768 byte(s)
Diff to previous 67828
cosmetics: proof of concept for removal of double new lines in code


Revision 67828 - (view) (annotate) - [select for diffs]
Modified Fri Apr 13 00:34:21 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 245678 byte(s)
Diff to previous 67762
* The commit of `TYPE_A_CHECKER' implements 8.12.12 (creation readiness) of ECMA 2nd Edition.
  Tests assocaited with this: valid208, valid207, incr201, valid139, term147
* The split of `remaining_validity_check_list' into a temporary buffer and the global list should prevent incremental bugs.
  Tests associated with this: multicon15, multicon31, incr283
* Refactored named_tuple_type_a.e to use function `add_future_checking'
* Refactired error generatuion in gen_type_a.e to a function.

Revision 67762 - (view) (annotate) - [select for diffs]
Modified Fri Apr 6 19:35:57 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 245357 byte(s)
Diff to previous 67656
* Fixed a bug#12452 related to test#valid207.
* Added a question to degree 4.
* Changed from VEEN error to VTMC1 for the multi constraint case.
* Fixed bugs in the checking of the creation constraints (reported by multicon14 and multicon115):
  * generic types derived with deferred classes should never be considered creation ready if the according formal has a creation constraint_info
  * creation constraint check was done with feature name after renaming has happend, it should however be done with the original name of the feature.
* conform_to of TYPE_A can now be used transparently with TYPE_SET_A (as TYPE_SET_A was not always an descendant of TYPE_A this was a bug)
* Tried to improve output of constraint_info.e, not yet fully succeeded. Also related to bug#12452.


Revision 67656 - (view) (annotate) - [select for diffs]
Modified Sun Apr 1 01:39:45 2007 UTC (12 years, 8 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 243743 byte(s)
Diff to previous 67649
Fixed VWEQ warning were a check statement was comparing an expanded with NONE.


Revision 67649 - (view) (annotate) - [select for diffs]
Modified Sat Mar 31 01:36:09 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 243751 byte(s)
Diff to previous 67286
* Fixed bugs: bug#12316, bug#12420
* Fixed typos and did minor cosmetics

Revision 67286 - (view) (annotate) - [select for diffs]
Modified Wed Mar 14 16:00:36 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 237603 byte(s)
Diff to previous 67264
Removed non-used local.


Revision 67264 - (view) (annotate) - [select for diffs]
Modified Wed Mar 14 01:45:26 2007 UTC (12 years, 9 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 237818 byte(s)
Diff to previous 67227
- Fixed bug#12289: Flat view should work in more cases again.
- API changes to TYPE_SET_A and refactoring of feature names.
- Deleted obsolete features from MC_ERROR_REPORT

Revision 67227 - (view) (annotate) - [select for diffs]
Modified Tue Mar 13 01:32:16 2007 UTC (12 years, 9 months ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 237760 byte(s)
Diff to previous 67219
Support for multi constraint generics:
- Central new class is TYPE_SET_A: It provides features for type checking and feature lookup.
  (the TYPE_A interface is not perfectly complete until now)
- Added EXTENDED_TYPE_A: It basically encapsulates a type and a feature renaming.
- Changed parser to accept the new syntax.
- Adapted validity checks for generics to reflect the new rules.
- Changed AST_FEATURE_CHECKER_GENERATOR in particular `process_call' and its siblings
  to select the so called `multi_constrained_static'. This is the actual static type
  of the target. It is done for each access on a multi constraint generic.
- Added error classes VTGC*, VTGD* and VTMC*.
- Changed code which called `constrained_type' feature to make it capable
  of handling multi constraints. This is in most cases achieved through handling these cases
  explicitly: Autocompletion, query language and debugger are not yet adapted and don't work
  properly in the presence of multi constraint formals.
- Changed AST_DECORATED_OUTPUT_STRATEGY and the like to pretty print the multi constraints correctly.

Support for recursive formals:
- I added a second pass AST_FORMAL_GENERICS_PASS2 which handles the registration of suppliers
  and transformation of the types into the right class (formal or class type).

The rest of the changes are targeted to either one of these.


Revision 67219 - (view) (annotate) - [select for diffs]
Modified Mon Mar 12 22:38:19 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 222920 byte(s)
Diff to previous 67176
Fixed incorrect usage of `agent_keyword' on INLINE_AGENT_CREATION_AS since this
  can be Void. Instead we should have been using `start_location' which is guaranteed
  to work all the time.


Revision 67176 - (view) (annotate) - [select for diffs]
Modified Sat Mar 10 01:10:13 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 222914 byte(s)
Diff to previous 67169
Added `evaluated_type_in_descendant' in TYPE_A to evaluate a type in the context of a descendant class.
  The existing instantiation_in would not do it since it does it in a CL_TYPE_A version of the descandant
  class. Although not yet done, `instantiation_in' could be rewritten in a much simpler fashion by using
  this new routine and the existing `instantiated_in'.
Full class checking:
 - Added `full_class_checking' option in the configuration library and removed the system option
   in SYSTEM_OPTIONS.full_type_checking and the associated settings in the configuration library.
 - Updated code in AST_FEATURE_CHECKER_GENERATOR to perform a correct full class checking.
 - Changed EIFFEL_CLASS_C.pass3 to properly initialize the checker to perform full class checking,
   also melted routine without assertions are checked normally (i.e. `to_melt_in' on DEF_PROC_I
   are now the same as FEATURE_I).
First result of applying catcall checking on the compiler:
 - Fixed a validity error in `is_safe_equivalent' from TYPE_A.
 - Fixed a validity error in CLASS_TYPE.make


Revision 67169 - (view) (annotate) - [select for diffs]
Modified Fri Mar 9 18:40:08 2007 UTC (12 years, 9 months ago) by juliant
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 220946 byte(s)
Diff to previous 66895
Added single file compilation (http://eiffelsoftware.origo.ethz.ch/index.php/Compilation_Without_Configuration). E.g 'ec class_file.e -library vision2' is possible for compilation without a configuration file.

Revision 66895 - (view) (annotate) - [select for diffs]
Modified Sun Feb 25 17:11:57 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 220404 byte(s)
Diff to previous 66669
Support for FreeELKS:
- Added byte code for `floor' and `ceiling' operation on real types.
- Made `c_tagged_out' take an EIF_REFERENCE rather than an EIF_OBJECT, updated
  all C code using it accordingly and ANY/ISE_RUNTIME.
- Added `eif_built_in.h' to keep all macros used for external "built_in' features
  not implemented with Eiffel code.
- Added BUILT_IN_AS node for representing external "built_in' features:
  * when a built_in routine is found, we look in $ISE_EIFFEL/studio/built_ins to
    see if it has a corresponding implementation and the FEATURE_I/STD_BYTE_CODE
	is generated from the implementation. Otherwise we consider it as a special
	C routines.
  * In the formatters, we show the actual code of the implementation and not the
    external body, the same for debugging.
- Partial fix for Precursor call when call is made in an expanded class, the ancestor
  version might have non-expanded arguments and return type (e.g. like Current).
- Changed CLASS_TYPE for basic types so that `type_i' is a CL_TYPE_I and not
  a BASIC_I. It solves issues when you have code defined in basic types which
  would not be properly generated. Since it would be generated as if it was a
  normal expanded type but the types where still EIF_XXX instead of EIF_REFERENCE.
  This was needed for FreeELKS since now we have implementation in the basic types.
  Added some queries to CLASS_TYPE to avoid accessing `type' to get the information
  since sometime we still want to know that we are in basic types. Added `basic_type'
  to be used when it is a basic type. It has mostly an implication with .NET code
  generation.
- Updated debugger so that one can debug all features but attributes, deferred and
  constants.


Revision 66669 - (view) (annotate) - [select for diffs]
Modified Wed Feb 14 11:28:48 2007 UTC (12 years, 10 months ago) by jfiat
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 218187 byte(s)
Diff to previous 66295
- Added the possibility to evaluate an instruction with the debugger (i.e: procedure call)
- fixed issue when raising default debug layout, the object tool is now selected
- added Auto expression toolbar button in the watch tool
- fixed minor bug with check menu command related to the "is_selected" state


Revision 66295 - (view) (annotate) - [select for diffs]
Modified Fri Jan 26 18:00:47 2007 UTC (12 years, 10 months ago) by jfiat
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 216862 byte(s)
Diff to previous 66200
- fixed an issue where ROUTINE_AS.number_of_breakpoint_slots is zero when it should not be zero
- move synchronisation of BREAKPOINT in DEBUG_INFO. Now if the break line number is too hight, reset it to the last possible index (if no bp is already there)
- bp print_message now expand the %N and %T to help formatting output.

Revision 66200 - (view) (annotate) - [select for diffs]
Modified Thu Jan 25 01:45:31 2007 UTC (12 years, 10 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 216488 byte(s)
Diff to previous 66041
Performed some renaming of constants in PREDEFINED_NAMES since they should have the following
  pattern: XXX_name_id.
Added `has' to NAMES_HEAP to find out if there is a string associated to a given ID.


Revision 66041 - (view) (annotate) - [select for diffs]
Modified Fri Jan 19 17:08:15 2007 UTC (12 years, 10 months ago) by jfiat
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 216483 byte(s)
Diff to previous 65991
fixed bug#11327 : Postcondition line highlighted instead of "end" (and similar bug#11815)
The number_of_breakpoints were not taking into account inherited postconditions.
And instead of using this value to generate the debugger hook for the "end of feature" bp slot, we now use the effective count of generated hook for the related feature.

Revision 65991 - (view) (annotate) - [select for diffs]
Modified Wed Jan 17 21:24:16 2007 UTC (12 years, 11 months ago) by alexk
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 216322 byte(s)
Diff to previous 65447
Supported indexing tags that allow for custom attributes for features to be set on interface only ('interface_metadata') or implementation only ('class_metadata') basis like it is done for classes (this fixes bug#11773).

Revision 65447 - (view) (annotate) - [select for diffs]
Modified Thu Dec 7 23:34:42 2006 UTC (13 years ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 215740 byte(s)
Diff to previous 65438
Improved visualization of agents on attributes in the watch tool.

Revision 65438 - (view) (annotate) - [select for diffs]
Modified Thu Dec 7 17:48:28 2006 UTC (13 years ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 215164 byte(s)
Diff to previous 65185
Agents with open targets on attributes didn't work (test#exec264)

Revision 65185 - (view) (annotate) - [select for diffs]
Modified Wed Nov 22 00:54:06 2006 UTC (13 years ago) by patrickr
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 215281 byte(s)
Diff to previous 65165
some changes to make use of the new ID_AS behavior

Revision 65165 - (view) (annotate) - [select for diffs]
Modified Tue Nov 21 01:36:22 2006 UTC (13 years ago) by patrickr
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 215109 byte(s)
Diff to previous 65068
made old and new HASH_TABLE compatible
added some catcall detection and prevention features to HASH_TABLE
changed ID_AS not to inherit form STRING but have a name_id which is an id into the names heap
switched compiler from the obsolete HASH_TABLE to the normal HASH_TABLE of base

Revision 65068 - (view) (annotate) - [select for diffs]
Modified Wed Nov 15 13:11:16 2006 UTC (13 years, 1 month ago) by alexk
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 214784 byte(s)
Diff to previous 64654
Changed processing for formal generics to traverse their constraints recursively to cover the case when a formal generic is constrained to another formal generic (this fixes bug#11634, test#term145).

Revision 64654 - (view) (annotate) - [select for diffs]
Modified Mon Oct 30 17:55:48 2006 UTC (13 years, 1 month ago) by patrickr
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 214726 byte(s)
Diff to previous 64549
changed ASSERTION_I to inherit from CONF_ASSERTIONS and always use the factory to create a CONF_ASSERTIONS object so that in the compiler we will get a ASSERTION_I object instead, eliminates creating a ASSERTION_I object in CLASS_I
fixed a bug in the CONF_PRINT_VISITOR that did not print relative external paths correct
removed CLASS_I.name_in_upper as name is never void in the new config system
fixed external_name if there is a renaming specified in the visible clause

Revision 64549 - (view) (annotate) - [select for diffs]
Modified Tue Oct 24 20:34:59 2006 UTC (13 years, 1 month ago) by juliant
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 214744 byte(s)
Diff to previous 64415
fix so that encoded characters with larger value than 8bit are handled properly

Revision 64415 - (view) (annotate) - [select for diffs]
Modified Wed Oct 18 15:23:06 2006 UTC (13 years, 2 months ago) by patrickr
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 214655 byte(s)
Diff to previous 63657
refactored configuration library into two parts, parser that handles parsing and writing configuration files, compiler that does the compiler specific part (degree 6)
moved some classes around and created some new libraries to be able to use the parser and configuration system as a library in the compiler
cleaned up the ec.ecf

Revision 63657 - (view) (annotate) - [select for diffs]
Modified Mon Sep 18 23:00:29 2006 UTC (13 years, 2 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 214626 byte(s)
Diff to previous 63621
Error message (for VUAR) was wrong when creating an inline agent and providing the wrong amount of actual arguments.

Revision 63621 - (view) (annotate) - [select for diffs]
Modified Sat Sep 16 01:00:02 2006 UTC (13 years, 3 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 214568 byte(s)
Diff to previous 63548
Fixed eweasel test#exec257 (corresponding to bug#11237) where incompatible
  basic type comparison should always yield True or False comparison.


Revision 63548 - (view) (annotate) - [select for diffs]
Modified Wed Sep 13 18:49:16 2006 UTC (13 years, 3 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 214054 byte(s)
Diff to previous 63282
Correction for PR #11177. Changed naming convention for inline agents

Revision 63282 - (view) (annotate) - [select for diffs]
Modified Tue Sep 5 15:59:40 2006 UTC (13 years, 3 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 214083 byte(s)
Diff to previous 63231
Fixed bug#11179 where an additional breakpoint was generated for check statement where
  we didn't need to since we don't generate a hook there.


Revision 63231 - (view) (annotate) - [select for diffs]
Modified Sat Sep 2 00:15:27 2006 UTC (13 years, 3 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 214140 byte(s)
Diff to previous 63215
Correction for eweasel tests valid185 and valid186.
Compiler crashed on precursor usage in invariants or inline-agents.

Revision 63215 - (view) (annotate) - [select for diffs]
Modified Fri Sep 1 19:03:38 2006 UTC (13 years, 3 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 213834 byte(s)
Diff to previous 63124
Corrections for problem reports: PR #11144, PR #11156, PR #11157, PR #11147, PR #11146

- Breakpoint calculation for loops was wrong.
- Agents on constant attributes didn't work.
- No breakpoints for inline agents of invariants are generated anymore.
- Locals in inline agents of inherited assertions crashed the compiler.


Revision 63124 - (view) (annotate) - [select for diffs]
Modified Wed Aug 30 17:09:20 2006 UTC (13 years, 3 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 213737 byte(s)
Diff to previous 62922
Fixed two problems:
- Compiler gives VPIR error for once inline-agent. (According to report 11131). Eweasel test: valid184
- Execution location for outer agent when inside nested inline agent call is shown correctly (According to report 11132)

Revision 62922 - (view) (annotate) - [select for diffs]
Modified Thu Aug 24 16:54:13 2006 UTC (13 years, 3 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 213713 byte(s)
Diff to previous 62818
Corrected the calculation of the first breakpoint slot index of a feature. Works now even more correct than in 5.6.

Revision 62818 - (view) (annotate) - [select for diffs]
Modified Mon Aug 21 19:36:06 2006 UTC (13 years, 3 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 213403 byte(s)
Diff to previous 62483
Added debugger support for inline-agents.
Improved behavior when stepping trough agent creations and calls.
Optimized ROUTINE by providing a more compact set_rout_disp_final method for finalized code.


Revision 62483 - (view) (annotate) - [select for diffs]
Modified Sun Aug 13 04:49:27 2006 UTC (13 years, 4 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 211552 byte(s)
Diff to previous 62454
Fixing eweasel test#valid181 which would cause `check_type' to fail when you check
  the validity of an inherited type (with formal generic parameter) in a class which
  don't have any. We need to adapt the type to the descandant class before checking the
  type.


Revision 62454 - (view) (annotate) - [select for diffs]
Modified Sat Aug 12 00:15:38 2006 UTC (13 years, 4 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 211337 byte(s)
Diff to previous 62447
Renamed classes VPIR_1 and VPIR_3 to VPIR1 and VPIR2.

Revision 62447 - (view) (annotate) - [select for diffs]
Modified Fri Aug 11 23:18:55 2006 UTC (13 years, 4 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 211339 byte(s)
Diff to previous 61770
- Corrected several problems with inline agents. (Specially when they occur in assertions)
- Added semantic checks for locals and arguments (VPID) of inline agents
- Optimized agents calls for classic eiffel. 
- It is now possible to make agents on named tuple attributes.


Revision 61770 - (view) (annotate) - [select for diffs]
Modified Sat Jul 29 00:19:26 2006 UTC (13 years, 4 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 198759 byte(s)
Diff to previous 61739
Fixed eweasel test#valid180, bug#10817 and bug#10714 where inherited infix routines calls
  where not properly typechecked in descendant class.


Revision 61739 - (view) (annotate) - [select for diffs]
Modified Fri Jul 28 16:58:54 2006 UTC (13 years, 4 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 198606 byte(s)
Diff to previous 61644
Made VJRV warnings only on code for current class, not inherited code.


Revision 61644 - (view) (annotate) - [select for diffs]
Modified Wed Jul 26 13:17:08 2006 UTC (13 years, 4 months ago) by alexk
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 198526 byte(s)
Diff to previous 61619
Corrected processing of features marked as .NET properties with automatically calculated property name (this fixes bug#10756, test#incr261).

Revision 61619 - (view) (annotate) - [select for diffs]
Modified Tue Jul 25 04:45:27 2006 UTC (13 years, 4 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 198573 byte(s)
Diff to previous 61581
Fixed eweasel test#incr259.
Made VWEQ only appears in non-inherited code.


Revision 61581 - (view) (annotate) - [select for diffs]
Modified Mon Jul 24 17:03:46 2006 UTC (13 years, 4 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 198560 byte(s)
Diff to previous 61574
Use new names for basic classes for queries/commands in BASIC_SYSTEM_I.
Updated callers accordingly.


Revision 61574 - (view) (annotate) - [select for diffs]
Modified Mon Jul 24 12:48:46 2006 UTC (13 years, 4 months ago) by alexk
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 198558 byte(s)
Diff to previous 61568
Used reference counterpart of an expanded type to evaluate result type anchored to a reference argument only for code generation and not for type checking (this fixes test#exec229).

Revision 61568 - (view) (annotate) - [select for diffs]
Modified Sat Jul 22 21:20:48 2006 UTC (13 years, 4 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 198334 byte(s)
Diff to previous 61539
Integrated for `konradm': fixed issue when inline agent is defined in a precondition.


Revision 61539 - (view) (annotate) - [select for diffs]
Modified Fri Jul 21 17:04:30 2006 UTC (13 years, 4 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 196707 byte(s)
Diff to previous 61537
Fixed eweasel test#incr207 where custom attributes should not be type checked in classic mode
  since not useful.
Fixed eweasel test#valid179 by making sure that type of arguments of a function are transposed
  using the constraint of a formal generic parameter.


Revision 61537 - (view) (annotate) - [select for diffs]
Modified Fri Jul 21 14:52:22 2006 UTC (13 years, 4 months ago) by alexk
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 196238 byte(s)
Diff to previous 61533
Provided code generation for CHARACTER_32.
Supported reattachment of a result type anchored to an argument of a
reference formal type with an expanded actual type to this expanded type.


Revision 61533 - (view) (annotate) - [select for diffs]
Modified Fri Jul 21 01:25:12 2006 UTC (13 years, 4 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 195473 byte(s)
Diff to previous 61530
Fixed unused locals.


Revision 61530 - (view) (annotate) - [select for diffs]
Modified Fri Jul 21 01:05:43 2006 UTC (13 years, 4 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 195500 byte(s)
Diff to previous 61379
Factored out a piece of code in `adapted_type' which might be used somewhere else if
  we decide that test#valid179 should not raise a compilation error.


Revision 61379 - (view) (annotate) - [select for diffs]
Modified Mon Jul 17 17:16:22 2006 UTC (13 years, 5 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 195025 byte(s)
Diff to previous 61373
Fixed eweasel test#valid178 where creating `create t.a' where t is a tuple type and
  `a' a label of that tuple type would crash the compiler because there are no
  routine IDs.


Revision 61373 - (view) (annotate) - [select for diffs]
Modified Sat Jul 15 17:23:16 2006 UTC (13 years, 5 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 194874 byte(s)
Diff to previous 61338
Added VJRV warning control in configuration.
Added `is_warning_enabled' in CLASS_C and updated AST_FEATURE_CHECKER_GENERATOR accordingly.


Revision 61338 - (view) (annotate) - [select for diffs]
Modified Fri Jul 14 14:36:13 2006 UTC (13 years, 5 months ago) by alexk
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 194842 byte(s)
Diff to previous 61176
Allowed VJRV errors to be reported (as warnings) in .NET mode, so that there is now no difference from classic mode.

Revision 61176 - (view) (annotate) - [select for diffs]
Modified Tue Jul 11 14:56:36 2006 UTC (13 years, 5 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 194922 byte(s)
Diff to previous 61113
Fixed a bug in .NET mode as well as in C frozen mode where breakpoints data was not properly
  generated causing debugger to misbehave when stepping into assignment to named tuples.


Revision 61113 - (view) (annotate) - [select for diffs]
Modified Mon Jul 10 12:12:39 2006 UTC (13 years, 5 months ago) by alexk
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 194859 byte(s)
Diff to previous 61022
Changed status of VJRV errors from errors to warnings.

Revision 61022 - (view) (annotate) - [select for diffs]
Modified Thu Jul 6 21:14:04 2006 UTC (13 years, 5 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 194855 byte(s)
Diff to previous 60978
removed bug for dotnet when using an agent that was created as an inline agent in a descendant or ancestor class

Revision 60978 - (view) (annotate) - [select for diffs]
Modified Wed Jul 5 15:22:43 2006 UTC (13 years, 5 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 194828 byte(s)
Diff to previous 60616
Fixed eweasel test#term141 when the return type of an agent is a like argument whose
  type is open when creating the agent.


Revision 60616 - (view) (annotate) - [select for diffs]
Modified Tue Jun 27 18:02:28 2006 UTC (13 years, 5 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 194400 byte(s)
Diff to previous 60090
- Support for agents on attributes and externals
- Support for inline agents.
- No freeze anymore when creating a new agent.
- Removed bug in Named tuples

Revision 60090 - (view) (annotate) - [select for diffs]
Modified Wed Jun 21 21:12:41 2006 UTC (13 years, 5 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 190568 byte(s)
Diff to previous 59657
Fixed eweasel test#exec170 as we did not handle properly the case where the Precursor was
  an external routine.


Revision 59657 - (view) (annotate) - [select for diffs]
Modified Mon Jun 12 18:27:16 2006 UTC (13 years, 6 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 190353 byte(s)
Diff to previous 59401
Added `vweq' new warning, as ECMA has dropped this error. We keep it as a warning
  because it might be useful in certain cases.


Revision 59401 - (view) (annotate) - [select for diffs]
Modified Mon Jun 5 15:47:49 2006 UTC (13 years, 6 months ago) by paulb
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 190299 byte(s)
Diff to previous 59300
process_inspect_as now accepts enum values.

Revision 59300 - (view) (annotate) - [select for diffs]
Modified Wed May 31 17:13:11 2006 UTC (13 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 190259 byte(s)
Diff to previous 59276
Implemented static call on anchored class and formal type class.

Revision 59276 - (view) (annotate) - [select for diffs]
Modified Tue May 30 18:04:29 2006 UTC (13 years, 6 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 190259 byte(s)
Diff to previous 58890
added support for identifier lists in named tuples, i.e: TUPLE [x1, x2: INTEGER; y1: STRING]

Revision 58890 - (view) (annotate) - [select for diffs]
Modified Thu May 11 00:20:17 2006 UTC (13 years, 7 months ago) by paulb
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 190141 byte(s)
Diff to previous 58669
Fixed `process_assigner_call' to handle generation of byte node for static .NET assigner calls.

Revision 58669 - (view) (annotate) - [select for diffs]
Modified Wed May 3 16:19:30 2006 UTC (13 years, 7 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 189831 byte(s)
Diff to previous 58628
Fixed a bug in the display of flat short of a static access in the `when' part
  of an inspect clause. We were not setting its routine_ids_set, nor its class_id.


Revision 58628 - (view) (annotate) - [select for diffs]
Modified Tue May 2 00:36:18 2006 UTC (13 years, 7 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 189817 byte(s)
Diff to previous 58610
Fixed tuple003 which would violate a check violation in `process_access_feat_as'.


Revision 58610 - (view) (annotate) - [select for diffs]
Modified Mon May 1 18:04:21 2006 UTC (13 years, 7 months ago) by patrickr
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 189551 byte(s)
Diff to previous 58567
added possibility to disable/enable warnings globally
refactored warnings so that they are now directly in CONF_OPTION

Revision 58567 - (view) (annotate) - [select for diffs]
Modified Fri Apr 28 20:49:07 2006 UTC (13 years, 7 months ago) by patrickr
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 189554 byte(s)
Diff to previous 58543


Revision 58543 - (view) (annotate) - [select for diffs]
Modified Fri Apr 28 14:57:29 2006 UTC (13 years, 7 months ago) by alexk
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 189508 byte(s)
Diff to previous 58325
Added byte code node for Eiffel attributes and supported associating user-defined names and custom attributes to properties.

Revision 58325 - (view) (annotate) - [select for diffs]
Modified Thu Apr 20 16:05:16 2006 UTC (13 years, 7 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 188667 byte(s)
Diff to previous 58198
Moved trunk/Src/bench/Eiffel to trunk/Src/Eiffel.

Revision 58198 - (view) (annotate) - [select for diffs]
Modified Fri Apr 14 00:52:04 2006 UTC (13 years, 8 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 188667 byte(s)
Diff to previous 58027
fixed a crash during degree 4

Revision 58027 - (view) (annotate) - [select for diffs]
Modified Wed Apr 5 07:08:57 2006 UTC (13 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 188517 byte(s)
Diff to previous 57781
Fixed mixing paranthesis in indexing clause for the licensing.
Added missing license reference in newly created Eiffel classes.


Revision 57781 - (view) (annotate) - [select for diffs]
Modified Mon Mar 27 17:11:27 2006 UTC (13 years, 8 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 188507 byte(s)
Diff to previous 57774
New compiler with new configuration system
For now only the batch compiler works


Revision 57774 - (view) (annotate) - [select for diffs]
Modified Sun Mar 26 23:43:01 2006 UTC (13 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 188211 byte(s)
Diff to previous 57637
Updated ROUTINE_CREATION_AS processing to match new parser which will not
  generate `target' if it is the closed `Current' target.


Revision 57637 - (view) (annotate) - [select for diffs]
Modified Thu Mar 23 06:29:30 2006 UTC (13 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 188097 byte(s)
Diff to previous 57418
Started equipping the code for flat degree3 type checking.


Revision 57418 - (view) (annotate) - [select for diffs]
Modified Fri Mar 10 13:24:11 2006 UTC (13 years, 9 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 187086 byte(s)
Diff to previous 57412
Provided an argument that was not passed by mistake during the previous checkin for type checking of inherited assertions.

Revision 57412 - (view) (annotate) - [select for diffs]
Modified Thu Mar 9 14:03:51 2006 UTC (13 years, 9 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 187081 byte(s)
Diff to previous 57387
Supported type check of inherited assertions that allows to avoid problems with incremental recompilation of assertions involving redeclarations of functions into attributes (this fixes incremental part of test#exec210).

Revision 57387 - (view) (annotate) - [select for diffs]
Modified Wed Mar 8 23:51:22 2006 UTC (13 years, 9 months ago) by raphaels
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 185957 byte(s)
Diff to previous 57371
Now each instruction is associated with a line pragma. The line pragma is taken from the _AS class and put in the corresponding _B class.

Revision 57371 - (view) (annotate) - [select for diffs]
Modified Wed Mar 8 00:05:46 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 185275 byte(s)
Diff to previous 57367
Refactoring which separate TYPE_AS from TYPE_A.
* The TYPE_AS classes specific to the compiler have been removed, we now use the one from the
  parser cluster. Only INTEGER_CONSTANT and FORMAL_CONSTRAINT_AS are compiler specific, but defined
  as descendants of INTEGER_AS and FORMAL_DEC_AS.
* The return type and arguments' type are of type TYPE_A, which help us in removing many calls to
  `actual_type' when the purpose was to get the TYPE_A instance as statically it was a TYPE_AS, but
  dynamically it was TYPE_A.
* Rewritten the way we go from TYPE_AS to TYPE_A. This is now done in two steps.
  1 - convert TYPE_AS into TYPE_A using the AST_TYPE_A_GENERATOR visitor. For Bits symbol and anchors
      we get an UNEVALUATED_XX version.
  2 - evaluate and check validity of TYPE_A we obtained by 1), this is done using TYPE_A_CHECKER.
      TYPE_A_CHECKER is modular in the sense that it can be configured to trigger or not errors.
	  Useful to disable when we are in part of the UI of EiffelStudio who does not care about an
	  error reporting.
* Thanks to the above refactoring, I fixed eweasel tests: test#valid104, test#valid131, test#valid135.
  It was due to a bug that when solving an anchor type, we did not update `feature_id', as a consequence
  a comparison would yield False instead of True, because they were referring to the same anchor.
* In TYPE_A, try to add some preconditions to `associated_class' and fix all incorrect usage of it.
  Use `is_valid' a lot to ensure that we have a valid type (used to check validity of types in
  inheritance clause and constraints).
* Changed formatting so that we see G#x and arg#x (whereas it was Generic #x, Formal #x and arg # x)
  to make things more compact.
* Updated all the other part of EiffelStudio that depended on the above changes.
* New version number 5.7.0806



Revision 57367 - (view) (annotate) - [select for diffs]
Modified Tue Mar 7 22:52:54 2006 UTC (13 years, 9 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 185133 byte(s)
Diff to previous 57239
Added type information to ROUTINE_CREATION_AS and fixed feature rename refactoring for agents.


Revision 57239 - (view) (annotate) - [select for diffs]
Modified Thu Mar 2 12:01:17 2006 UTC (13 years, 9 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 185044 byte(s)
Diff to previous 57199
Added code to type check inherited assertions (but it is not yet enabled).

Revision 57199 - (view) (annotate) - [select for diffs]
Modified Tue Feb 28 05:17:10 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 182202 byte(s)
Diff to previous 57180
For a tuple access, there should be no `last_routine_id_set' since there
  is no real feature.


Revision 57180 - (view) (annotate) - [select for diffs]
Modified Mon Feb 27 19:47:33 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 182169 byte(s)
Diff to previous 57173
Now stores type of manifest array in ARRAY_AS so that its type can be
  used later by any AST processing tools.


Revision 57173 - (view) (annotate) - [select for diffs]
Modified Mon Feb 27 05:28:09 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 182133 byte(s)
Diff to previous 57151
Implementation of labeled tuples with a limitation which is that the identifier
  list is reduced to only one element, as it is causing the grammar to be too
  difficult. But the current implementation is fully equipped to handle multiple
  entries as soon as the parser is fixed.


Revision 57151 - (view) (annotate) - [select for diffs]
Modified Fri Feb 24 17:31:44 2006 UTC (13 years, 9 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 179765 byte(s)
Diff to previous 57144
Added type information to ADDRESS_AS and fixed feature renaming for address calls.


Revision 57144 - (view) (annotate) - [select for diffs]
Modified Thu Feb 23 22:35:11 2006 UTC (13 years, 9 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 179589 byte(s)
Diff to previous 57130
Added type information to BRACKET_AS, UNARY_AS and BIN_EQ_AS.


Revision 57130 - (view) (annotate) - [select for diffs]
Modified Wed Feb 22 22:57:14 2006 UTC (13 years, 9 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 178969 byte(s)
Diff to previous 57126
Added type information on STATIC_ACCESS_AS.


Revision 57126 - (view) (annotate) - [select for diffs]
Modified Wed Feb 22 08:22:25 2006 UTC (13 years, 9 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 178866 byte(s)
Diff to previous 57123
Changed setting of an assigner call flag when processing a nested feature call so that the flag is used even when generation of byte nodes is not requested as it happens in incremental recompilation (this fixes test#incr251).

Revision 57123 - (view) (annotate) - [select for diffs]
Modified Wed Feb 22 01:40:26 2006 UTC (13 years, 9 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 178868 byte(s)
Diff to previous 57111
Added type information for BINARY_AS.


Revision 57111 - (view) (annotate) - [select for diffs]
Modified Tue Feb 21 18:10:55 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 178745 byte(s)
Diff to previous 56893
Fixed bug#10182 where creators format would show entries where it should not.


Revision 56893 - (view) (annotate) - [select for diffs]
Modified Fri Feb 3 02:41:15 2006 UTC (13 years, 10 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 178527 byte(s)
Diff to previous 56808
Fixed a bug, where the routine_id_set was computed wrong, because last_routine_id_set was overwritten during computation of parameter calls.



Revision 56808 - (view) (annotate) - [select for diffs]
Modified Mon Jan 30 21:24:00 2006 UTC (13 years, 10 months ago) by jasonw
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 178528 byte(s)
Diff to previous 56781
Changed needed EIFFEL_LIST [AST_EIFFEL] to its own type to facilitate roundtrip usage.


Revision 56781 - (view) (annotate) - [select for diffs]
Modified Fri Jan 27 16:27:42 2006 UTC (13 years, 10 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 176799 byte(s)
Diff to previous 56736
-add type information to the ast during degree 3
-make a type check of all features, instead of only the changed ones, if a class has been parsed again (need because we have a new ast and we need to readd the type informations)
-changed parser used during degree 5 to light roundtrip parser (roundtrip parser without matchlist generation)
-refactoring tool
-refactored comment code to use the available information from the roundtrip ast
-added a server for matchlists, that generates matchlists on demand, using the fast scanner



Revision 56736 - (view) (annotate) - [select for diffs]
Modified Thu Jan 26 13:12:57 2006 UTC (13 years, 10 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 174407 byte(s)
Diff to previous 56730
Supported a query to distinguish an assignment instruction used together with a creation expression to model a creation instruction.

Revision 56730 - (view) (annotate) - [select for diffs]
Modified Thu Jan 26 01:39:21 2006 UTC (13 years, 10 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 174295 byte(s)
Diff to previous 56718
Performed a minor refactoring of parser classes so that it is easier to compiler/precompile
  the Src/common/parser cluster standalone.
  Basically I'moved classes around, removed classes that were duplicated but actually
  not needed from the Src/common/parser directory. It mostly affected the parser of externals
  and the error classes that are needed by Src/common.


Revision 56718 - (view) (annotate) - [select for diffs]
Modified Wed Jan 25 18:51:46 2006 UTC (13 years, 10 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 174186 byte(s)
Diff to previous 56646
Removed processing of `process_used_list_as' since it was a class for parsing externals,
  not Eiffel code.


Revision 56646 - (view) (annotate) - [select for diffs]
Modified Fri Jan 20 20:28:48 2006 UTC (13 years, 10 months ago) by jasonw
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 174276 byte(s)
Diff to previous 56535
Added `first_token' and `last_token'.

Revision 56535 - (view) (annotate) - [select for diffs]
Modified Tue Jan 17 01:37:10 2006 UTC (13 years, 11 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 174236 byte(s)
Diff to previous 56472
Added text of the GPL license to all classes of the compiler.


Revision 56472 - (view) (annotate) - [select for diffs]
Modified Mon Jan 9 23:55:50 2006 UTC (13 years, 11 months ago) by jasonw
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 172831 byte(s)
Diff to previous 56182
1.Added complete_start_location and complete_end_location to give the pricise position of an AST node. And changed start_location/end_location to call the above 2 features.
2. Added text modification facility into AST nodes.


Revision 56182 - (view) (annotate) - [select for diffs]
Modified Thu Dec 15 19:08:23 2005 UTC (14 years ago) by jasonw
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 172887 byte(s)
Diff to previous 56014
Roundtrip facility added.

Revision 56014 - (view) (annotate) - [select for diffs]
Modified Mon Dec 5 18:12:43 2005 UTC (14 years ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 171347 byte(s)
Diff to previous 55966
Allowed for a routine creation type to be or depend on "like Current" so
that the actual type is evaluated at code generation time.


Revision 55966 - (view) (annotate) - [select for diffs]
Modified Thu Dec 1 23:57:35 2005 UTC (14 years ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 171459 byte(s)
Diff to previous 55813
Fixed eweasel test fixed129 where compiler would crash if you had a VWEB error
  in an elsif expression and that you had a compound which has not real instructions/expressions.


Revision 55813 - (view) (annotate) - [select for diffs]
Modified Mon Nov 21 14:53:35 2005 UTC (14 years ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 171509 byte(s)
Diff to previous 55800
Changed type of a class parent to be of type LIKE_CURRENT because any
inherited feature logically belongs to the corresponding "like Current" type
and its real target type is determined at code generation stage when the
code can be produced either for reference or expanded class type.


Revision 55800 - (view) (annotate) - [select for diffs]
Modified Fri Nov 18 09:05:19 2005 UTC (14 years, 1 month ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 171381 byte(s)
Diff to previous 55640
Avoided creation of a new object of LIKE_CURRENT type when processing
an address of Current because now the current type is already
LIKE_CURRENT.


Revision 55640 - (view) (annotate) - [select for diffs]
Modified Fri Nov 4 14:20:13 2005 UTC (14 years, 1 month ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 171421 byte(s)
Diff to previous 55226
Fixed bug #5641 that caused a compiler crash when list of inspect intervals
contains an unknown constant. The bug was caused by an incorrect
assumption that current implementation of ARRAY can shrink array.


Revision 55226 - (view) (annotate) - [select for diffs]
Modified Wed Oct 19 16:01:25 2005 UTC (14 years, 1 month ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 171397 byte(s)
Diff to previous 53814
Removed non-used `current_locals' attribute.
Rewrote .NET custom attribute type checking as before we were allowing too much
  without properly supporting it (i.e. code generation would fail).
  1 - The main change is that now we introduced `is_checking_cas' which when active
  will not perform any byte code transformation for conversion, we will preserve
  the original byte code. The new class CUSTOM_ATTRIBUTE_GENERATOR handles
  conversion properly at generation time.

  2 - The other major change is the way we process manifest array so that
  we give them the proper type for CA (i.e. NATIVE_ARRAY).


Revision 53814 - (view) (annotate) - [select for diffs]
Modified Wed Jul 27 05:25:20 2005 UTC (14 years, 4 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 167332 byte(s)
Diff to previous 53785
Previous fix fixed indeed final031, but it made incr139 failed. So now in the
  case of a Precursor call we record both a dependance to ourself and to the
  precursor version.


Revision 53785 - (view) (annotate) - [select for diffs]
Modified Tue Jul 26 02:01:45 2005 UTC (14 years, 4 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 167293 byte(s)
Diff to previous 52899
Fixed bug eweasel final031 where if in a routine `f' using Precursor, `f'
  is called recursively before the call to `Precursor', then we would register
  the incorrect dependance to ourself, which will also generate in finalized
  mode a call to yourself instead of Precursor.


Revision 52899 - (view) (annotate) - [select for diffs]
Modified Fri Jul 1 20:42:03 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 167122 byte(s)
Diff to previous 52300
Fixed eweasel test valid169 where compiler would generate a VGCC1 error when
  it should not.


Revision 52300 - (view) (annotate) - [select for diffs]
Modified Fri Jun 17 12:32:29 2005 UTC (14 years, 6 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 167001 byte(s)
Diff to previous 52221
Supported all forms of assigner call.
Fixed incorrect code generation for bracket expression that did not take into
account code generated for its target.


Revision 52221 - (view) (annotate) - [select for diffs]
Modified Thu Jun 16 01:35:57 2005 UTC (14 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 163435 byte(s)
Diff to previous 52079
Fixed eweasel test valid167 where boolean expression whose type was a `like bool_feature'
  were rejected by the compiler for `if', `elsif', `loop' and `assertions'.
Fixed a bug where if you had a wrong expression in a `elsif' statement the compiler
  would do a call on Void target on `l_elsif' because it is not created when
  you have an incorrect expression.


Revision 52079 - (view) (annotate) - [select for diffs]
Modified Mon Jun 13 21:29:57 2005 UTC (14 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 163309 byte(s)
Diff to previous 52070
More or less fixed exec153. In other words when no match is found in a manifest array
  type we should say there is an error and ensures that the common type is ANY.
  So in exec153, we would get ARRAY [ANY] instead of more precise type ARRAY [ARRAY [ANY]]
  which we could potentially infer if we were trying harder.
  Anyway this can be obtained by ensuring the target is ARRAY [ARRAY [ANY]]
  so this is not really a limitation. Without a context it is hard to find the
  right type.


Revision 52070 - (view) (annotate) - [select for diffs]
Modified Mon Jun 13 17:17:39 2005 UTC (14 years, 6 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 163282 byte(s)
Diff to previous 51978
Supported assigner call instruction.
Added validity checks for assigner call.
Moved compatibility checks to a separate procedure so that it can be used
for both assignment and assigner call instructions (it could also be used for
argument type checks provided the checks take into account open
arguments of agents).


Revision 51978 - (view) (annotate) - [select for diffs]
Modified Thu Jun 9 23:42:53 2005 UTC (14 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 159176 byte(s)
Diff to previous 51947
Fixed eweasel test exec204 where old expressions that should not be checked
  where actually being checked when code was melted when you manipulate
  a `False implies right_expression_containing_old_expression'.


Revision 51947 - (view) (annotate) - [select for diffs]
Modified Thu Jun 9 08:08:50 2005 UTC (14 years, 6 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 158699 byte(s)
Diff to previous 51519
Replaced a hard-coded bracket feature alias name with a constant attribute.


Revision 51519 - (view) (annotate) - [select for diffs]
Modified Tue May 31 12:50:35 2005 UTC (14 years, 6 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 158639 byte(s)
Diff to previous 51487
Supported bracket expressions.


Revision 51487 - (view) (annotate) - [select for diffs]
Modified Fri May 27 17:58:32 2005 UTC (14 years, 6 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 157006 byte(s)
Diff to previous 50945
Used alias name instead of feature name for operator expressions.


Revision 50945 - (view) (annotate) - [select for diffs]
Modified Wed May 11 05:41:29 2005 UTC (14 years, 7 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 156994 byte(s)
Diff to previous 50819
Updated to new type of `constant_type' of REAL_AS which is now a TYPE_AS instead of TYPE_A.


Revision 50819 - (view) (annotate) - [select for diffs]
Modified Fri May 6 22:13:13 2005 UTC (14 years, 7 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 156982 byte(s)
Diff to previous 50613
Fixed creation of REAL_CONST_B instance to use `last_type' so that the generated
  constant will be of the right type.


Revision 50613 - (view) (annotate) - [select for diffs]
Modified Mon May 2 17:04:04 2005 UTC (14 years, 7 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 156971 byte(s)
Diff to previous 50375
Supported new syntax for feature alias (operator) names.


Revision 50375 - (view) (annotate) - [select for diffs]
Modified Sat Apr 23 15:16:22 2005 UTC (14 years, 7 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 156869 byte(s)
Diff to previous 50367
Fixed issue with manifest arrays embedded in manifest arrays or manifest tuples
  (fixing eweasel test valid163)
Fixed issue where if you create an entity which is a `like xx' where xx is a
  formal we would not detect the case of creation on formal (fixing eweasel
  test valid165)
Fixed issue where type of agent was incorrect resolved when target is a `like xx'
  (fixing eweasel test valid164)


Revision 50367 - (view) (annotate) - [select for diffs]
Modified Fri Apr 22 20:57:53 2005 UTC (14 years, 7 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 154259 byte(s)
Diff to previous 50366
Fixed bug where finding which routine created an attribute did not work after
  the refactoring. To make it clearer, we renamed the flag `is_in_creation_call'
  by `is_target_of_creation_instruction' and it is set just before type checking
  the target of a creation instruction, not after each call to the creation routine
  as it was done before.


Revision 50366 - (view) (annotate) - [select for diffs]
Modified Fri Apr 22 20:50:20 2005 UTC (14 years, 7 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 154151 byte(s)
Diff to previous 50290
Fixed eweasel bug incr243 where we forgot to check for `is_byte_node_enabled'
  when handling conversion in manifest arrays.


Revision 50290 - (view) (annotate) - [select for diffs]
Modified Thu Apr 21 17:59:44 2005 UTC (14 years, 7 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 154100 byte(s)
Diff to previous 50249
Simplified processing of inspect intervals due to simplification of
INSPECT_CONTROL interface.
Removed features used to find and report errors in inspect values, because
this is now done by INSPECT_CONTROL.


Revision 50249 - (view) (annotate) - [select for diffs]
Modified Wed Apr 20 21:50:08 2005 UTC (14 years, 7 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 156095 byte(s)
Diff to previous 50232
Fixed bug where not byte_node was generated in case of an empty check clause.
  It manifested in eweasel tests fixed080 in .NET mode and thus fixes it.


Revision 50232 - (view) (annotate) - [select for diffs]
Modified Wed Apr 20 15:50:31 2005 UTC (14 years, 7 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 155962 byte(s)
Diff to previous 50217
Added `expression_type_check_and_code'.
Moved `invariant_type_check_and_code' and `custom_attributes_type_check_and_code'.


Revision 50217 - (view) (annotate) - [select for diffs]
Modified Wed Apr 20 00:11:25 2005 UTC (14 years, 7 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 155173 byte(s)
Diff to previous 50200
Fixed a bug when checking validity of an overloaded creation procedure on .NET. Now
  `process_call' set `last_feature_name' with the disambiguated name, and
  `process_abstract_creation' use it for the validity checking.
Fixed a bug in `applicable_overloaded_features' where `count' was incremented
  for each routine rather than once at the beginning.


Revision 50200 - (view) (annotate) - [select for diffs]
Modified Tue Apr 19 15:42:08 2005 UTC (14 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 154976 byte(s)
Diff to previous 50198
Fixed eweasel test valid159 where type of inspect expression was not fully
  resolved when it was an anchor for example.


Revision 50198 - (view) (annotate) - [select for diffs]
Modified Tue Apr 19 06:42:36 2005 UTC (14 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 154833 byte(s)
Diff to previous 50145
Fixed eweasel tests term135.


Revision 50145 - (view) (annotate) - [select for diffs]
Added Tue Apr 19 03:46:48 2005 UTC (14 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
File length: 154802 byte(s)
New visitors used by compiler so that no semantic checking is done within the
 _AS nodes.


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.23