/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
ViewVC logotype

Log of /branches/CAT_mono/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.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: 66609 byte(s)
Diff to previous 69629
enabled more types to store monomorph information

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: 66585 byte(s)
Diff to previous 69161
Creation of CAT_mono branch to implement variant/invariant proposal

Revision 69161 - (view) (annotate) - [select for diffs]
Modified Mon Jun 18 22:23:06 2007 UTC (12 years, 5 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 66585 byte(s)
Diff to previous 69160
Fixed issue with locals whose type is a formal. Because the local parser is not given any context
  all types are CLASS_TYPE_AS, so the added code is to convert the one that are really representing
  a FORMAL_AS into a formal type.


Revision 69160 - (view) (annotate) - [select for diffs]
Modified Mon Jun 18 22:17:32 2007 UTC (12 years, 5 months ago) by martins
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 66090 byte(s)
Diff to previous 69049
This enhances the support for multi-constraint formals of the auto completion.
eb_class_info_analyzer.e: The type of expression is computed correct in more cases.
eb_complete_info_analyzer.e: The list of available features is now built correctly in the sense that all features which can be called occur in the list and all features which are ambiguous are not listed.

Revision 69049 - (view) (annotate) - [select for diffs]
Modified Wed Jun 13 01:54:42 2007 UTC (12 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 65037 byte(s)
Diff to previous 68956
Recovered a bad commit which caused crash of bug#13112.
Reviewed by Manu.

Revision 68956 - (view) (annotate) - [select for diffs]
Modified Fri Jun 8 19:09:30 2007 UTC (12 years, 6 months ago) by paulb
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 65037 byte(s)
Diff to previous 68937
Fixed bug#12392 where if you have a prefix for using classes in a cluster, we would store the
  original class name in the clickable position rather than the prefixed one. We therefore
  use the class name stored in the AST. Otherwise the P&D would use the original class name to find
  it and would either pick nothing because not found or pick the wrong class.

Revision 68937 - (view) (annotate) - [select for diffs]
Modified Fri Jun 8 08:02:28 2007 UTC (12 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 64747 byte(s)
Diff to previous 68783
Removed redundant `a_type.is_loose'.
Reviewer: Manu.

Revision 68783 - (view) (annotate) - [select for diffs]
Modified Thu May 31 12:21:54 2007 UTC (12 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 64772 byte(s)
Diff to previous 68718
Fixed bug#12908 that picking `out' of "agent a.out" caused crash.
Reviewer: Jocelyn

Revision 68718 - (view) (annotate) - [select for diffs]
Modified Mon May 28 14:08:38 2007 UTC (12 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 64742 byte(s)
Diff to previous 68030
Fixed bug#12857 that precondition violated when PnD on feature on formal generic: item.twin.do_nothing.
Fixed bug#12858 that PnD on a generic renamed feature didn't work. If we don't find the name of feature in feature table, we check if it is renamed in formal generic and then retrieve the original feature.
Reviewer: Alexander

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/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 63527 byte(s)
Diff to previous 67856
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 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/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 64403 byte(s)
Diff to previous 67417
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 67417 - (view) (annotate) - [select for diffs]
Modified Wed Mar 21 07:35:59 2007 UTC (12 years, 8 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 64405 byte(s)
Diff to previous 67342
- Added support for multi constraint completion and PnD where renaming is also available.
- Refactored core routines of feature completion and PnD calculations that we used `searched_type' and `searched_feature' respectively. Those features had similar algorithm so that we needed to maintain in parallel. Now we only have `searched_type' for both.
- Fixed the problem that Precursor {CLASS}.* only showed once routines.
- Fixed the problem that Result [i].* didn't work.
- Fixed the problem that Precursor {CLASS} [1].* didn't work.
- Fixed the problem that {INTEGER}.max_value.* didn't work.

Revision 67342 - (view) (annotate) - [select for diffs]
Modified Fri Mar 16 20:41:46 2007 UTC (12 years, 9 months ago) by martins
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 55995 byte(s)
Diff to previous 67248
- Bug fix from Ted to show auto completion again.
  It does not work for multi constraint formals properly yet as it need adaptation of other code.
- Added comments for Ted to help him adapt the auto completion to work with multi constraints.

Revision 67248 - (view) (annotate) - [select for diffs]
Modified Tue Mar 13 11:20:19 2007 UTC (12 years, 9 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 55762 byte(s)
Diff to previous 67227
Fixed overridden changes and a precondition violation.

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/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 55758 byte(s)
Diff to previous 67202
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 67202 - (view) (annotate) - [select for diffs]
Modified Mon Mar 12 11:57:25 2007 UTC (12 years, 9 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 54926 byte(s)
Diff to previous 67116
Refactored to reuse `completing_context' in completable text field. This fixed bug#12258 that completion window was brought up by dot after a number. Fixed the bug that shortcut for class completion triggered feature completion window in completable text fields.

Revision 67116 - (view) (annotate) - [select for diffs]
Modified Thu Mar 8 08:53:18 2007 UTC (12 years, 9 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 54900 byte(s)
Diff to previous 65914
Added functions of code completion for "arr [i].*" and PND on "arr [i].substring".

Revision 65914 - (view) (annotate) - [select for diffs]
Modified Mon Jan 15 17:34:32 2007 UTC (12 years, 10 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52324 byte(s)
Diff to previous 65165
Fixed syntax warning about the usage of unique which might be completely removed in the future
  since not part of the ECMA standard.

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/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52344 byte(s)
Diff to previous 64788
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 64788 - (view) (annotate) - [select for diffs]
Modified Fri Nov 3 18:52:08 2006 UTC (13 years, 1 month ago) by jfiat
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52314 byte(s)
Diff to previous 64655
removed SHARED_RESCUE_STATUS where it was not needed,

Revision 64655 - (view) (annotate) - [select for diffs]
Modified Mon Oct 30 18:10:41 2006 UTC (13 years, 1 month ago) by patrickr
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52366 byte(s)
Diff to previous 63646
removed some more unnecessary features

Revision 63646 - (view) (annotate) - [select for diffs]
Modified Mon Sep 18 17:26:17 2006 UTC (13 years, 2 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52354 byte(s)
Diff to previous 63624
Fixed bug#11314 where in an invariant there is no surrounding feature.


Revision 63624 - (view) (annotate) - [select for diffs]
Modified Sat Sep 16 01:10:17 2006 UTC (13 years, 2 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52273 byte(s)
Diff to previous 63592
Fixed bug#11173, bug#11175 and bug#11176.
The first thing I've done is to ensure that when selecting a feature which is a synonym in the
  feature tree of EiffelStudio, the cursor goes next to the name instead at the beginning of the
  feature (selecting f would now yield "g, |f" instead of "|g, f" where | represents the cursor).
Changed signature of `feature_containing' so that it returns a FEATURE_AS and a FEATURE_NAME.
  This solves the issue where if you pick `f' in the above example in the editor, the code that
  find out the name of the current feature would always yield `g' instead of `f'. The other improvements
  that I made is that if you have `g, f, k is do end' when you are after k and before end it yields
  `g', but if you are on f or k it would yield `f' or `k'.
To do the above, I need to set `pos_in_text' for all kind of tokens, thus the recent change in
  the editor library to do that was helpful.


Revision 63592 - (view) (annotate) - [select for diffs]
Modified Fri Sep 15 15:54:17 2006 UTC (13 years, 3 months ago) by jfiat
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52173 byte(s)
Diff to previous 63475
Use evaluate_type_if_possible instead of evaluate_type since the result may be Void.

Revision 63475 - (view) (annotate) - [select for diffs]
Modified Mon Sep 11 22:06:37 2006 UTC (13 years, 3 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52161 byte(s)
Diff to previous 62886
Protected call to `initialize_context' by verifying first that `is_ok_for_completion' holds.
  This fixes a precondition violation when unlucky enough a class is being loaded and just finish to load
  when the compilation just started and still in degree 6.


Revision 62886 - (view) (annotate) - [select for diffs]
Modified Wed Aug 23 16:36:37 2006 UTC (13 years, 3 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 51870 byte(s)
Diff to previous 62231
Prevented a void on call target when a new type (not yet compiled) has been used
  as the target for a feature completion.


Revision 62231 - (view) (annotate) - [select for diffs]
Modified Wed Aug 2 23:17:50 2006 UTC (13 years, 4 months ago) by patrickr
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 51836 byte(s)
Diff to previous 61532
changed some AST iterators to process inline agents
fixed some problems with inline agents and refactoring
fixed a problem if a class in the root cluster which is not the root class was renamed
made eiffel studio a bit more robust if a file name of a class was externally renamed

Revision 61532 - (view) (annotate) - [select for diffs]
Modified Fri Jul 21 01:20:25 2006 UTC (13 years, 4 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 51813 byte(s)
Diff to previous 61265
Changed EIFFEL_CLASS_C.parse_ast to be a function call `parsed_ast'. This function is now
  responsible to check that the stored `ast' is up-to-date. If not then we call `build_ast'
  to regenerate one.
  Updated callers of `ast' and `parse_ast' to use new routines `parsed_ast'.
  This also fixes a bug recently introduced that the currently edited class would always be
    recompiled because `parsed_ast' as a side effect of adding to DEGREE_5. This has now been
	removed as the configuration is smart enough to detect which classes have changed and also
	because EiffelStudio does not have the ability to compile only classes edited in EiffelStudio.
Added `file_date' in CLASS_I to query the file date.
Added `date' and `set_date' query in CLASS_AS to store the date of the last parsing (it is used
  by `parsed_ast' to avoid rebuilding the AST too often when it does not need to).
Added `is_warning_generated_argument to EIFFEL_CLASS_C.build_ast so that when we are not parsing
  for the compiler all syntax warnings are disabled by default. This could potentially fix bug#10638
  where warning were always added.


Revision 61265 - (view) (annotate) - [select for diffs]
Modified Thu Jul 13 00:43:02 2006 UTC (13 years, 5 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52512 byte(s)
Diff to previous 60253
Activate PND and auto completion even when there were syntax errors. Only in the case that from beginning the class has an error it does not work.

Revision 60253 - (view) (annotate) - [select for diffs]
Modified Fri Jun 23 17:57:04 2006 UTC (13 years, 5 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52373 byte(s)
Diff to previous 60057
Resize column after row expands/collapses.
Added type to expandable ambiguated name node and labels of named tuples.
Fixed the bug that in uncompiled classes it displayed last list whenever trying to complete features.


Revision 60057 - (view) (annotate) - [select for diffs]
Modified Wed Jun 21 17:50:27 2006 UTC (13 years, 5 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52251 byte(s)
Diff to previous 59651
Use `safe_class_named' instead of `class_named' which should only be used by the compiler
  as it triggers a VSCN error. In our case, we simply want the associated class and if we
  cannot find it, that's ok.


Revision 59651 - (view) (annotate) - [select for diffs]
Modified Mon Jun 12 17:12:42 2006 UTC (13 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52236 byte(s)
Diff to previous 59588
Added protection when calling generics from class_c.

Revision 59588 - (view) (annotate) - [select for diffs]
Modified Fri Jun 9 15:59:33 2006 UTC (13 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52191 byte(s)
Diff to previous 59278
Integrated new completion list colorized and tree-viewed.

Revision 59278 - (view) (annotate) - [select for diffs]
Modified Tue May 30 19:53:39 2006 UTC (13 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 52275 byte(s)
Diff to previous 59229
Made code completion smarter that only those creations specified in the list of formal declarations can are inserted into the list when user tend to complete a creation routine.

Revision 59229 - (view) (annotate) - [select for diffs]
Modified Fri May 26 17:02:36 2006 UTC (13 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 51951 byte(s)
Diff to previous 59219
Implemented things like "create {FILE_NAME}Result.make" where make is pickable.

Revision 59219 - (view) (annotate) - [select for diffs]
Modified Fri May 26 01:06:06 2006 UTC (13 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 51591 byte(s)
Diff to previous 59217
Fixed a bug that named_tuple_type.hash_code where hash_code could not be picked nor completable.

Revision 59217 - (view) (annotate) - [select for diffs]
Modified Fri May 26 00:37:15 2006 UTC (13 years, 6 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 51497 byte(s)
Diff to previous 58887
Implemented auto-completion after "create {like a_anchor}.", "create {G}.", "{like a_anchor}.", "{G}.".
Implemented pick and drop after "create {like a_anchor}.", "create {G}.", "{like a_anchor}.", "{G}.".
Fixed a bug that completing "create {like string}.mak" did not complete signature.

Revision 58887 - (view) (annotate) - [select for diffs]
Modified Wed May 10 23:37:37 2006 UTC (13 years, 7 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 49123 byte(s)
Diff to previous 58882
Fixed precursor analysis bug.

Revision 58882 - (view) (annotate) - [select for diffs]
Modified Wed May 10 21:45:24 2006 UTC (13 years, 7 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 49181 byte(s)
Diff to previous 58801
Made `is_equal' a fake feature for type_a_checker if the target feature is a new one. (This a hack)
This enable auto completion 99% works for locals, only does not work for case of like_argument which appears in uncompiled feature.
And this also fixed the bug that auto completion did not work in an uncompiled feature which is the first feature of a class, and the bug that auto complete locals in a new typed feature that follows a parsed but not compiled feature.

Revision 58801 - (view) (annotate) - [select for diffs]
Modified Tue May 9 20:24:52 2006 UTC (13 years, 7 months ago) by tedf
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 48926 byte(s)
Diff to previous 58597
Fixed the pick and drop issue for override classes.
Improved pick and drop/auto completion for loose type and named tuple analysis.

Revision 58597 - (view) (annotate) - [select for diffs]
Modified Sat Apr 29 01:43:46 2006 UTC (13 years, 7 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47423 byte(s)
Diff to previous 58325
Improved precondition of `initialize_context' to show that it is ok to call
  it after degree 6 is completed, or when no compilation is occuring.


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/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47381 byte(s)
Diff to previous 58068
Moved trunk/Src/bench/Eiffel to trunk/Src/Eiffel.

Revision 58068 - (view) (annotate) - [select for diffs]
Modified Thu Apr 6 22:32:47 2006 UTC (13 years, 8 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47381 byte(s)
Diff to previous 58027
update file_date of libraries if we reparse
store project file if configuration has changed
class_by_name of groups doesn't need a platform/build anymore, as only groups that where enabled have classes set
fixed a bug where we got the old lace from the project file instead of updating the new one
implemented group/subfolder removal in classes tree
CLUSTER_STONE has now a path in addition to the group which is used to specify a subfolder of a cluster
some refactoring of the class tree

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/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47387 byte(s)
Diff to previous 58008
Fixed mixing paranthesis in indexing clause for the licensing.
Added missing license reference in newly created Eiffel classes.


Revision 58008 - (view) (annotate) - [select for diffs]
Modified Mon Apr 3 19:44:29 2006 UTC (13 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47377 byte(s)
Diff to previous 57885
Fixed an issue where using `class_named' from UNIVERSE_I would trigger
  a compiler error if you have two or more classes with the same name in the universe.
  It usually happens when those classes are not compiled.
  Instead of querying UNVERSE_I, we simply ask the `group' to find the class instead.


Revision 57885 - (view) (annotate) - [select for diffs]
Modified Thu Mar 30 00:12:32 2006 UTC (13 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47076 byte(s)
Diff to previous 57858
Provided an implementation with the new configuration system for `generate_ast'.


Revision 57858 - (view) (annotate) - [select for diffs]
Modified Tue Mar 28 20:05:59 2006 UTC (13 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 46971 byte(s)
Diff to previous 57792
First pass at converting STONE descendants to use CONF_GROUP instead of CLUSTER_I
  whenever possible. This work is not complete, but it goes toward the right direction.


Revision 57792 - (view) (annotate) - [select for diffs]
Modified Mon Mar 27 22:23:59 2006 UTC (13 years, 8 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47289 byte(s)
Diff to previous 57371
Commented out code that is broken from the new configuration system, added conf_todo and conf_todo_msg statements


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/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47246 byte(s)
Diff to previous 56812
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 56812 - (view) (annotate) - [select for diffs]
Modified Wed Feb 1 00:46:55 2006 UTC (13 years, 10 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47916 byte(s)
Diff to previous 56723
Changed class_c.ast to always return the most recent ast.


Revision 56723 - (view) (annotate) - [select for diffs]
Modified Wed Jan 25 20:40:04 2006 UTC (13 years, 10 months ago) by tedf
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47928 byte(s)
Diff to previous 56689
1. Integrated code completion component into EB_SMART_EDITOR.
2. Slightly changed the component accordingly.
3. Removed "print"s that were used to debug the finalizing code generation bug.
4. Activated code completion for formal type arguments, which was somehow missing.

Revision 56689 - (view) (annotate) - [select for diffs]
Modified Tue Jan 24 01:33:39 2006 UTC (13 years, 10 months ago) by tedf
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47878 byte(s)
Diff to previous 56535
1. Commit for a finalizing code generation bug that I failed to reproduce in a small project.
The bug is generating "calculate_completion_list_x_position", "calculate_completion_list_y_position", "calculate_completion_list_height" in EB_CODE_COMPLETABLE_TEXT_FIELD which is a decedent of CODE_COMPLETABLE
2. Code completion component and its implementation for text field, partly integrated in watch tool, new expression dialog and conditional break point expression setting dialog.


Revision 56535 - (view) (annotate) - [select for diffs]
Modified Tue Jan 17 01:37:10 2006 UTC (13 years, 10 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 47391 byte(s)
Diff to previous 55262
Added text of the GPL license to all classes of the compiler.


Revision 55262 - (view) (annotate) - [select for diffs]
Modified Thu Oct 20 17:48:18 2005 UTC (14 years, 1 month ago) by tedf
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 45986 byte(s)
Diff to previous 53722
Added protection against reading characters from empty EDITOR_TOKEN_STRING.


Revision 53722 - (view) (annotate) - [select for diffs]
Modified Fri Jul 22 22:29:11 2005 UTC (14 years, 4 months ago) by paulb
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 45818 byte(s)
Diff to previous 52785
Exported Constants to SMART_TEXT


Revision 52785 - (view) (annotate) - [select for diffs]
Modified Thu Jun 30 01:28:15 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 45815 byte(s)
Diff to previous 52255
Updated code due to renaming of `found_locals' into `found_locals_list'.


Revision 52255 - (view) (annotate) - [select for diffs]
Modified Thu Jun 16 19:53:43 2005 UTC (14 years, 5 months ago) by neilc
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 45810 byte(s)
Diff to previous 51986
Fixed bug in completion for formal generic infix call, and also on parenthesised expressions


Revision 51986 - (view) (annotate) - [select for diffs]
Modified Fri Jun 10 00:52:50 2005 UTC (14 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 45792 byte(s)
Diff to previous 50797
Small fix so that CLICKABLE positions that are one character long can also be
  pick and dropped.


Revision 50797 - (view) (annotate) - [select for diffs]
Modified Fri May 6 00:29:14 2005 UTC (14 years, 7 months ago) by neilc
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 45791 byte(s)
Diff to previous 50169
Protect Void call


Revision 50169 - (view) (annotate) - [select for diffs]
Modified Tue Apr 19 04:21:04 2005 UTC (14 years, 7 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 45767 byte(s)
Diff to previous 49773
Use various visitors to get info from the CLICKABLE_AST nodes.


Revision 49773 - (view) (annotate) - [select for diffs]
Modified Mon Apr 4 05:57:19 2005 UTC (14 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 45741 byte(s)
Diff to previous 49711
Position of CLICK_AST starting at 1 we needed to start at 1 here too for `pos_in_file'.
Removed non-used locals.
Fixed bug in `initialize_context' where if loading a class during degree 6
  would cause a crash because cluster won't be found yet.


Revision 49711 - (view) (annotate) - [select for diffs]
Modified Thu Mar 31 22:26:10 2005 UTC (14 years, 8 months ago) by neilc
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 45555 byte(s)
Diff to previous 49526
Re-implemented retrieval of type from a local entity to use new parser


Revision 49526 - (view) (annotate) - [select for diffs]
Modified Sat Mar 26 00:25:56 2005 UTC (14 years, 8 months ago) by neilc
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 46984 byte(s)
Diff to previous 49449
Implemented retrieving correct TYPE_A for generic types


Revision 49449 - (view) (annotate) - [select for diffs]
Modified Thu Mar 24 15:21:45 2005 UTC (14 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 46026 byte(s)
Diff to previous 49441
Removed non-used local


Revision 49441 - (view) (annotate) - [select for diffs]
Modified Thu Mar 24 05:47:16 2005 UTC (14 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 46054 byte(s)
Diff to previous 47234
Removed `current_class_c' and replaced it with `current_class_i' so that we
  can work with non-compiled class (at least to pick and drop them when
  compilation is stopped at degree 5).
Updated `initialize_context' to only get the `current_class_i'. Minimum is
  done here. Then in all routines that were previously using `current_class_c'
  we simply make sure that `current_class_i' is a compiled class and when
  necessary if it has a feature table.
Changed the way we resolve local variable type by using a new routine
  `local_evaluated_type' which catch all exceptions that might be triggered
  during evaluation and doing a correct job at setting the context and restoring
  it when it is done. It also deletes new errors if any.


Revision 47234 - (view) (annotate) - [select for diffs]
Modified Sat Dec 25 00:19:09 2004 UTC (14 years, 11 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 44154 byte(s)
Diff to previous 45590
Provided new class names, new feature names to entities representing
  basic types so that they are close to the new basic type names:
    real -> real_32
	double -> double_32
	float -> real_32
	long -> integer
	....


Revision 45590 - (view) (annotate) - [select for diffs]
Modified Mon Sep 13 23:46:13 2004 UTC (15 years, 3 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 44153 byte(s)
Diff to previous 45562
Fixed precondition violation in UNIVERSE_I.class_named caused by not putting
  class name in upper in `type_of_class_corresponding_to_current_token'.


Revision 45562 - (view) (annotate) - [select for diffs]
Modified Sat Sep 11 23:16:11 2004 UTC (15 years, 3 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 44153 byte(s)
Diff to previous 42632
Fixed errors reported by gelint since our compiler does not do yet system
validity checking (i.e. flat degree 3 checking).


Revision 42632 - (view) (annotate) - [select for diffs]
Modified Fri Apr 9 03:10:04 2004 UTC (15 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 44147 byte(s)
Diff to previous 40758
Made sure that editor keeps classes in upper case, so that precondition
of `class_named' from UNIVERSE_I is not violated.


Revision 40758 - (view) (annotate) - [select for diffs]
Modified Thu Dec 11 21:55:11 2003 UTC (16 years ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 44156 byte(s)
Diff to previous 40423
Use `twin' instead of `clone' which is now made obsolete.
Use `as_lower' and `as_upper' whenever appropriate instead of cloning and
  then calling `to_lower' or `to_upper'.


Revision 40423 - (view) (annotate) - [select for diffs]
Modified Fri Nov 14 02:06:03 2003 UTC (16 years, 1 month ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 44229 byte(s)
Diff to previous 29545
Use `as_lower' instead of `out' followed by `to_lower'.


Revision 29545 - (view) (annotate) - [select for diffs]
Modified Thu Dec 6 22:43:02 2001 UTC (18 years ago) by xavier
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 44313 byte(s)
Diff to previous 27476
Changed the internal names of infix and prefix operators: they are no longer _infix_?? but infix "??" etc.


Revision 27476 - (view) (annotate) - [select for diffs]
Modified Sun Sep 9 00:55:08 2001 UTC (18 years, 3 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 44314 byte(s)
Diff to previous 27106
Cosmetics on inheritance clauses
Since now local names are just integers, adapted the code to make use of it. The consequence
is that the code is a little bit faster since it does not perform any string comparison, but
just integer comparison.


Revision 27106 - (view) (annotate) - [select for diffs]
Modified Tue Aug 21 18:32:48 2001 UTC (18 years, 3 months ago) by etienne
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 44069 byte(s)
Diff to previous 26913
Fixed bug that occurred when using pick n drop on partially compiled projects.


Revision 26913 - (view) (annotate) - [select for diffs]
Added Sun Aug 12 23:50:20 2001 UTC (18 years, 4 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e
File length: 43907 byte(s)
Merged branch `dev46_manu' to the trunc.


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