Menu
▾
▴
gobo-eiffel-commits — SVN logs
You can subscribe to this list here.
| 2001 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(42) |
Jul
(154) |
Aug
(373) |
Sep
(265) |
Oct
(464) |
Nov
(289) |
Dec
(42) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2002 |
Jan
(4) |
Feb
(96) |
Mar
(198) |
Apr
(436) |
May
(205) |
Jun
(95) |
Jul
(354) |
Aug
(153) |
Sep
(82) |
Oct
(106) |
Nov
(95) |
Dec
(284) |
| 2003 |
Jan
(82) |
Feb
(146) |
Mar
(66) |
Apr
(62) |
May
(36) |
Jun
(190) |
Jul
(73) |
Aug
(36) |
Sep
(18) |
Oct
(56) |
Nov
(49) |
Dec
(77) |
| 2004 |
Jan
(70) |
Feb
(78) |
Mar
(137) |
Apr
(260) |
May
(105) |
Jun
(114) |
Jul
(141) |
Aug
(175) |
Sep
(406) |
Oct
(281) |
Nov
(259) |
Dec
(257) |
| 2005 |
Jan
(92) |
Feb
(287) |
Mar
(113) |
Apr
(119) |
May
(77) |
Jun
(255) |
Jul
(483) |
Aug
(221) |
Sep
(139) |
Oct
(238) |
Nov
(179) |
Dec
(42) |
| 2006 |
Jan
(37) |
Feb
(179) |
Mar
(178) |
Apr
(124) |
May
(62) |
Jun
(57) |
Jul
(123) |
Aug
(85) |
Sep
(117) |
Oct
(62) |
Nov
(52) |
Dec
(97) |
| 2007 |
Jan
(160) |
Feb
(24) |
Mar
(26) |
Apr
(22) |
May
(25) |
Jun
(20) |
Jul
(28) |
Aug
(20) |
Sep
(45) |
Oct
(61) |
Nov
(43) |
Dec
(44) |
| 2008 |
Jan
(42) |
Feb
(31) |
Mar
(15) |
Apr
(59) |
May
(39) |
Jun
(12) |
Jul
(19) |
Aug
(35) |
Sep
(35) |
Oct
(13) |
Nov
(22) |
Dec
(6) |
| 2009 |
Jan
(10) |
Feb
(10) |
Mar
(32) |
Apr
(7) |
May
(11) |
Jun
(6) |
Jul
(10) |
Aug
(9) |
Sep
(13) |
Oct
(9) |
Nov
(7) |
Dec
(2) |
| 2010 |
Jan
(2) |
Feb
(7) |
Mar
(10) |
Apr
(7) |
May
(6) |
Jun
(1) |
Jul
(1) |
Aug
(2) |
Sep
|
Oct
(1) |
Nov
(1) |
Dec
(2) |
| 2011 |
Jan
(4) |
Feb
(2) |
Mar
(2) |
Apr
(1) |
May
(1) |
Jun
(10) |
Jul
(7) |
Aug
(5) |
Sep
(3) |
Oct
|
Nov
(1) |
Dec
|
| 2012 |
Jan
(1) |
Feb
|
Mar
(1) |
Apr
(3) |
May
(1) |
Jun
(1) |
Jul
|
Aug
(7) |
Sep
|
Oct
(1) |
Nov
(4) |
Dec
(1) |
| 2013 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Eric B. <er...@us...> - 2011-09-13 20:12:25
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via dddcd70562d5a0311f58a495116269241938880d (commit)
via 7bf5b12040575f4ac48732d04e362eb5ff3a011c (commit)
via 3e6c7fac122764d1c8883ae2c4178047da2f8146 (commit)
via 308298569e8da91138369840f8a723b1192ead56 (commit)
via 1b082d5134b2fe513c2f52aeff72fa8965ca9f73 (commit)
via 6ba34511eb8068c9a067f4644151c7d7db3dad16 (commit)
via 2767abb781cc5b4f25e850d6f75e1047d72c1cfe (commit)
from d647479f32a02a4fb9de798c6d8347e2d9ad6bc4 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit dddcd70562d5a0311f58a495116269241938880d
Author: Eric Bezault <er...@go...>
Date: Tue Sep 13 13:09:36 2011 -0700
Fixed incrementality bug when a class in an override cluster gets moved or removed.
commit 7bf5b12040575f4ac48732d04e362eb5ff3a011c
Author: Eric Bezault <er...@go...>
Date: Mon Sep 12 15:09:44 2011 -0700
Take into account the fact that the validity error GVTCG-5 (the actual generic parameter whose formal generic parameter is declared as reference must be a reference type) may reported as flat Degree 3 error.
commit 3e6c7fac122764d1c8883ae2c4178047da2f8146
Author: Eric Bezault <er...@go...>
Date: Mon Sep 12 05:33:53 2011 -0700
Made it compile with ISE 6.8.
commit 308298569e8da91138369840f8a723b1192ead56
Author: Eric Bezault <er...@go...>
Date: Tue Sep 6 11:46:12 2011 -0700
Fixed incrementality bug when classes in ECF libraries have validity errors. These errors didn't get reported the second time gelint was run.
commit 1b082d5134b2fe513c2f52aeff72fa8965ca9f73
Author: Eric Bezault <er...@go...>
Date: Tue Sep 6 08:41:29 2011 -0700
Fixed bug where gelint was wrongly claiming that the actual generic parameter of a type was not a reference type.
commit 6ba34511eb8068c9a067f4644151c7d7db3dad16
Author: Eric Bezault <er...@go...>
Date: Tue Sep 6 08:39:22 2011 -0700
Fixed incremental bug when dealing with object-test locals.
commit 2767abb781cc5b4f25e850d6f75e1047d72c1cfe
Author: Eric Bezault <er...@go...>
Date: Tue Sep 6 08:32:34 2011 -0700
Fixed BOM regexp.
-----------------------------------------------------------------------
Summary of changes:
library/kernel/unicode/uc_string.e | 8 ++--
library/tools/eiffel/ast/class/et_master_class.e | 9 +++
.../eiffel/ast/expression/et_named_object_test.e | 1 -
.../eiffel/ast/expression/et_old_object_test.e | 1 -
library/tools/eiffel/ast/group/et_universe.e | 4 +-
.../compilation/et_formal_parameter_checker1.e | 6 +-
.../tools/eiffel/compilation/et_parent_checker1.e | 10 ++--
library/tools/eiffel/compilation/et_type_checker.e | 10 ++--
library/tools/eiffel/error/et_error_handler.e | 24 +++++----
library/tools/eiffel/error/et_validity_error.e | 28 ++++++----
library/tools/eiffel/parser/et_eiffel_preparser.l | 2 +-
library/tools/eiffel/parser/et_eiffel_scanner.l | 2 +-
test/gelint/validity/build.eant | 7 ++-
test/gelint/validity/gvtcg5/build.eant | 55 ++++++++++++++++++++
test/gelint/validity/gvtcg5/getest.cfg | 15 +++++
test/gelint/validity/gvtcg5/system.xace | 39 ++++++++++++++
test/gelint/validity/gvtcg5/test1/aa.e | 16 ++++++
test/gelint/validity/gvtcg5/test1/bb.e | 3 +
test/gelint/validity/gvtcg5/test1/build.eant | 26 +++++++++
test/gelint/validity/gvtcg5/test1/passed.gec | 2 +
test/gelint/validity/gvtcg5/test1/passed.gelint | 2 +
test/gelint/validity/gvtcg5/test1/passed.ise | 19 +++++++
test/gelint/validity/gvtcg5/test1/system.xace | 31 +++++++++++
test/gelint/validity/gvtcg5/test2/aa.e | 18 ++++++
test/gelint/validity/gvtcg5/test2/bb.e | 3 +
test/gelint/validity/gvtcg5/test2/build.eant | 26 +++++++++
test/gelint/validity/gvtcg5/test2/cc.e | 22 ++++++++
test/gelint/validity/gvtcg5/test2/dd.e | 20 +++++++
test/gelint/validity/gvtcg5/test2/passed.gec | 2 +
test/gelint/validity/gvtcg5/test2/passed.gelint | 2 +
test/gelint/validity/gvtcg5/test2/passed.ise | 21 ++++++++
test/gelint/validity/gvtcg5/test2/system.xace | 32 +++++++++++
test/gelint/validity/gvtcg5/test_gvtcg5_test1.e | 45 ++++++++++++++++
test/gelint/validity/gvtcg5/test_gvtcg5_test2.e | 45 ++++++++++++++++
34 files changed, 510 insertions(+), 46 deletions(-)
create mode 100644 test/gelint/validity/gvtcg5/build.eant
create mode 100644 test/gelint/validity/gvtcg5/getest.cfg
create mode 100644 test/gelint/validity/gvtcg5/system.xace
create mode 100644 test/gelint/validity/gvtcg5/test1/aa.e
create mode 100644 test/gelint/validity/gvtcg5/test1/bb.e
create mode 100644 test/gelint/validity/gvtcg5/test1/build.eant
create mode 100644 test/gelint/validity/gvtcg5/test1/passed.gec
create mode 100644 test/gelint/validity/gvtcg5/test1/passed.gelint
create mode 100644 test/gelint/validity/gvtcg5/test1/passed.ise
create mode 100644 test/gelint/validity/gvtcg5/test1/system.xace
create mode 100644 test/gelint/validity/gvtcg5/test2/aa.e
create mode 100644 test/gelint/validity/gvtcg5/test2/bb.e
create mode 100644 test/gelint/validity/gvtcg5/test2/build.eant
create mode 100644 test/gelint/validity/gvtcg5/test2/cc.e
create mode 100644 test/gelint/validity/gvtcg5/test2/dd.e
create mode 100644 test/gelint/validity/gvtcg5/test2/passed.gec
create mode 100644 test/gelint/validity/gvtcg5/test2/passed.gelint
create mode 100644 test/gelint/validity/gvtcg5/test2/passed.ise
create mode 100644 test/gelint/validity/gvtcg5/test2/system.xace
create mode 100644 test/gelint/validity/gvtcg5/test_gvtcg5_test1.e
create mode 100644 test/gelint/validity/gvtcg5/test_gvtcg5_test2.e
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-08-31 14:54:16
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via d647479f32a02a4fb9de798c6d8347e2d9ad6bc4 (commit)
from 98e688367e4953dfdf82b7036486063d482cc355 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit d647479f32a02a4fb9de798c6d8347e2d9ad6bc4
Author: Eric Bezault <er...@go...>
Date: Wed Aug 31 16:53:15 2011 +0200
Accept class text files which start with the byte order mark (BOM).
-----------------------------------------------------------------------
Summary of changes:
History.txt | 6 ++++--
library/tools/eiffel/parser/et_eiffel_preparser.l | 10 ++++++++++
library/tools/eiffel/parser/et_eiffel_scanner.l | 10 ++++++++++
3 files changed, 24 insertions(+), 2 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Berend de B. <ber...@us...> - 2011-08-31 06:41:48
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 98e688367e4953dfdf82b7036486063d482cc355 (commit)
via 4042bd6604b86bf948a862807feaa0664353a322 (commit)
via 1d7e2f1feaffeba24a4e9feb0503791f26fbd350 (commit)
from 374878957f417a5ddeb7d2da76b70701cfbb14c6 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 98e688367e4953dfdf82b7036486063d482cc355
Merge: 4042bd6 3748789
Author: Berend de Boer <be...@po...>
Date: Wed Aug 31 18:37:39 2011 +1200
Merge branch 'master' of ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo
Conflicts:
History.txt
commit 4042bd6604b86bf948a862807feaa0664353a322
Author: Berend de Boer <be...@po...>
Date: Mon Jul 11 17:00:32 2011 +1200
*** empty log message ***
commit 1d7e2f1feaffeba24a4e9feb0503791f26fbd350
Author: Berend de Boer <be...@po...>
Date: Tue Jul 5 10:37:19 2011 +1200
Don't use ecb, not compatible with estudio, and the 10% performance is
probably not very noticable on todays quad cores.
-----------------------------------------------------------------------
Summary of changes:
History.txt | 30 ++++++++++++++++--------------
src/geant/command/geant_ise_command.e | 2 +-
2 files changed, 17 insertions(+), 15 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-08-30 19:10:34
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, dev has been created
at 374878957f417a5ddeb7d2da76b70701cfbb14c6 (commit)
- Log -----------------------------------------------------------------
-----------------------------------------------------------------------
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-08-30 13:39:55
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 374878957f417a5ddeb7d2da76b70701cfbb14c6 (commit)
via 142d076c7ffba7554d38a2cae2ca8a1be3cae1c0 (commit)
via c10aaadaff818b38545e2643f4333feb5bee5b69 (commit)
via 7dd796d29d48a85167c1b428da261cc21fae5e94 (commit)
via b943a719dea72a832507cbc433d504d42d66544a (commit)
via 3ef18be9242217fe705841e86ef3997365eebce3 (commit)
via 696106aa7ad2d8c93525c3da8c2f7e26df4b2a9a (commit)
via 245d4a93a47bf43ab5abede6efdef0537b2b6f18 (commit)
via 4d1b75a1e26766dddd1291d23d70ef34273df166 (commit)
via 606e5787e78638a69db877fc0d6e5de03fcf61a3 (commit)
via 90002da1c2b56903b231bc2c34ddf3afc20bec8b (commit)
via 0d89d33184477872d565718c462758cf04b0e662 (commit)
via 69f95fef89575e2ab835190a481389b95b199622 (commit)
via 8ae1ad2d5eca320dc2f52067ff8d2734b9f4ebb9 (commit)
via ac9c5ff262d92aca5bdc30695b1c6f28fc94d073 (commit)
via 72e460ee1320077124bffd8bc9047ec48c873c68 (commit)
via 13f009b78068b78bd8b094c13978db1b9631823a (commit)
via ccf372759fcb7ffd993142079455a1bdafed7ba3 (commit)
via cefbf2506206dc73f94d04eb9dceb161f4757943 (commit)
from 74cf0d6b10d4388fe48e029e8c28c01d777a1fe5 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 374878957f417a5ddeb7d2da76b70701cfbb14c6
Author: Eric Bezault <er...@go...>
Date: Tue Aug 30 15:37:57 2011 +0200
Test showing that EiffelStudio relies on the body of the routine to determine the attachment status of 'Result' in the postcondition. The position of the Gobo compiler is to only rely on the short form of the routine when checking its contracts.
-----------------------------------------------------------------------
Summary of changes:
History.txt | 5 +
.../tools/ecf/ast/et_ecf_concurrency_condition.e | 92 +
library/tools/ecf/ast/et_ecf_options.e | 104 ++
library/tools/ecf/ast/et_ecf_platform_condition.e | 4 +-
library/tools/ecf/ast/et_ecf_setting_names.e | 3 +
library/tools/ecf/ast/et_ecf_state.e | 17 +
library/tools/ecf/ast/et_ecf_target.e | 66 +
library/tools/ecf/error/et_ecf_error.e | 109 ++
library/tools/ecf/error/et_ecf_error_handler.e | 49 +
library/tools/ecf/parser/et_ecf_ast_factory.e | 12 +
library/tools/ecf/parser/et_ecf_element_names.e | 12 +
library/tools/ecf/parser/et_ecf_parser_skeleton.e | 75 +
library/tools/ecf/parser/et_ecf_system_parser.e | 1 +
library/tools/eiffel/ast/agent/et_inline_agent.e | 14 +-
library/tools/eiffel/ast/assertion/et_invariants.e | 7 +-
.../tools/eiffel/ast/assertion/et_postconditions.e | 51 +-
.../tools/eiffel/ast/assertion/et_preconditions.e | 51 +-
library/tools/eiffel/ast/class/et_class.e | 4 +-
.../tools/eiffel/ast/constant/et_manifest_string.e | 6 +-
.../tools/eiffel/ast/expression/et_expression.e | 10 +-
.../ast/expression/et_parenthesized_expression.e | 9 +-
library/tools/eiffel/ast/feature/et_closure.e | 14 +-
.../eiffel/ast/feature/et_extended_attribute.e | 2 +-
library/tools/eiffel/ast/feature/et_feature.e | 33 +-
.../tools/eiffel/ast/feature/et_feature_closure.e | 6 +-
.../tools/eiffel/ast/feature/et_internal_routine.e | 4 +-
.../eiffel/ast/feature/et_standalone_closure.e | 76 +-
library/tools/eiffel/ast/group/et_clusters.e | 18 +-
library/tools/eiffel/ast/group/et_none_group.e | 6 +-
library/tools/eiffel/ast/group/et_system.e | 7 +-
library/tools/eiffel/ast/group/et_universe.e | 119 +-
library/tools/eiffel/ast/instruction/et_compound.e | 18 +
.../ast/misc/et_attachment_separate_keywords.e | 114 ++
.../misc/et_attachment_symbol_separate_keyword.e | 114 ++
library/tools/eiffel/ast/misc/et_class_mark.e | 8 +-
.../tools/eiffel/ast/misc/et_implicit_type_mark.e | 150 ++
library/tools/eiffel/ast/misc/et_keyword.e | 5 +-
library/tools/eiffel/ast/misc/et_symbol.e | 5 +-
library/tools/eiffel/ast/misc/et_token_constants.e | 269 +++-
library/tools/eiffel/ast/misc/et_type_mark.e | 227 ++-
library/tools/eiffel/ast/type/et_base_type.e | 274 ++-
library/tools/eiffel/ast/type/et_bit_type.e | 107 +-
library/tools/eiffel/ast/type/et_class_type.e | 407 ++++-
.../eiffel/ast/type/et_formal_parameter_type.e | 662 +++++---
library/tools/eiffel/ast/type/et_like_current.e | 304 ++--
library/tools/eiffel/ast/type/et_like_feature.e | 647 +++++---
library/tools/eiffel/ast/type/et_like_type.e | 36 +-
library/tools/eiffel/ast/type/et_named_type.e | 12 +-
.../tools/eiffel/ast/type/et_nested_type_context.e | 276 ++--
.../ast/type/et_qualified_like_braced_type.e | 51 +-
.../eiffel/ast/type/et_qualified_like_identifier.e | 454 +++--
.../tools/eiffel/ast/type/et_qualified_like_type.e | 56 +-
library/tools/eiffel/ast/type/et_tuple_type.e | 342 +++-
library/tools/eiffel/ast/type/et_type.e | 357 ++++-
library/tools/eiffel/ast/type/et_type_context.e | 217 ++-
library/tools/eiffel/ast/type/et_type_list.e | 2 +-
.../tools/eiffel/compilation/et_attachment_scope.e | 379 ++++
.../compilation/et_attachment_scope_builder.e | 195 ++
.../compilation/et_builtin_feature_checker.e | 18 +-
.../compilation/et_expression_object_tests.e | 107 --
.../tools/eiffel/compilation/et_feature_checker.e | 1928 +++++++++++++++-----
.../eiffel/compilation/et_feature_flattener.e | 38 +-
.../compilation/et_formal_parameter_checker1.e | 20 +-
.../compilation/et_formal_parameter_checker2.e | 4 +-
.../eiffel/compilation/et_implementation_checker.e | 41 +-
.../eiffel/compilation/et_interface_checker.e | 6 +-
.../eiffel/compilation/et_object_test_scope.e | 2 +-
.../compilation/et_object_test_scope_builder.e | 55 +-
.../tools/eiffel/compilation/et_parent_checker2.e | 4 +-
.../tools/eiffel/compilation/et_parent_checker3.e | 6 +-
.../eiffel/compilation/et_signature_checker.e | 40 +-
library/tools/eiffel/compilation/et_type_checker.e | 4 +-
.../dynamic/et_dynamic_pull_type_set_builder.e | 4 +-
.../dynamic/et_dynamic_push_type_set_builder.e | 4 +-
library/tools/eiffel/dynamic/et_dynamic_system.e | 8 +-
.../tools/eiffel/dynamic/et_dynamic_type_builder.e | 20 +-
library/tools/eiffel/error/et_error_handler.e | 177 ++-
library/tools/eiffel/error/et_validity_error.e | 345 ++++-
library/tools/eiffel/generation/et_c_generator.e | 4 +-
library/tools/eiffel/parser/et_ast_factory.e | 20 +-
library/tools/eiffel/parser/et_eiffel_parser.y | 639 +++++---
.../eiffel/parser/et_eiffel_parser_skeleton.e | 77 +-
library/tools/eiffel/parser/et_eiffel_scanner.l | 26 +-
library/tools/eiffel/processor/et_ast_iterator.e | 32 +
.../tools/eiffel/processor/et_ast_null_processor.e | 17 +-
.../tools/eiffel/processor/et_ast_pretty_printer.e | 52 +-
library/tools/eiffel/processor/et_ast_processor.e | 23 +-
library/tools/eiffel/processor/et_comment_finder.e | 20 +-
.../eiffel/processor/et_expression_type_finder.e | 136 +-
.../eiffel/processor/et_feature_call_handler.e | 6 +-
misc/eiffel.eant | 5 +-
src/geant/command/geant_delete_command.e | 69 +-
src/geant/command/geant_gec_command.e | 6 +-
src/gec/gec.e | 25 +-
test/gelint/gelint_test_case.e | 43 +-
test/gelint/semantics/equality/system.xace | 1 +
test/gelint/semantics/equality/test_equality.e | 6 +-
test/gelint/semantics/integer_constant/system.xace | 1 +
test/gelint/semantics/object_equality/system.xace | 1 +
.../object_equality/test_object_equality.e | 4 +-
test/gelint/semantics/object_test/build.eant | 3 +-
test/gelint/semantics/object_test/system.xace | 1 +
.../semantics/object_test/test_object_test.e | 46 +-
.../semantics/object_test/test_old_object_test.e | 67 +-
test/gelint/semantics/once/system.xace | 1 +
test/gelint/semantics/precursor/system.xace | 1 +
test/gelint/validity/build.eant | 69 +-
test/gelint/validity/vdrd2/build.eant | 52 +
test/gelint/validity/vdrd2/getest.cfg | 15 +
test/gelint/validity/vdrd2/system.xace | 39 +
test/gelint/validity/vdrd2/test1/aa.e | 17 +
test/gelint/validity/vdrd2/test1/build.eant | 26 +
test/gelint/validity/vdrd2/test1/failed.gec | 2 +
test/gelint/validity/vdrd2/test1/failed.gelint | 2 +
.../validity/vdrd2/test1/failed_finalized.ise | 13 +
.../validity/vdrd2/test1/failed_workbench.ise | 19 +
test/gelint/validity/vdrd2/test1/lib1/bb1.e | 29 +
test/gelint/validity/vdrd2/test1/lib1/lib1.ecf | 8 +
test/gelint/validity/vdrd2/test1/lib2/cc2.e | 19 +
test/gelint/validity/vdrd2/test1/lib2/lib2.ecf | 9 +
test/gelint/validity/vdrd2/test1/passed.gec | 2 +
test/gelint/validity/vdrd2/test1/passed.gelint | 2 +
test/gelint/validity/vdrd2/test1/system.ecf | 13 +
test/gelint/validity/vdrd2/test_vdrd2_test1.e | 46 +
test/gelint/validity/veen8/build.eant | 10 +-
test/gelint/validity/veen8/test1/aa.e | 4 +-
.../validity/veen8/test1/failed_finalized.ise | 2 -
.../validity/veen8/test1/failed_workbench.ise | 18 -
.../validity/veen8/test1/failed_workbench1.ise | 16 +
.../validity/veen8/test1/failed_workbench2.ise | 16 +
test/gelint/validity/veen8/test1/passed.gec | 2 +-
test/gelint/validity/veen8/test1/passed.gelint | 2 +-
test/gelint/validity/veen8/test2/aa.e | 18 +
test/gelint/validity/veen8/test2/build.eant | 26 +
test/gelint/validity/veen8/test2/passed.gec | 2 +
test/gelint/validity/veen8/test2/passed.gelint | 2 +
test/gelint/validity/veen8/test2/passed.ise | 18 +
test/gelint/validity/veen8/test2/system.xace | 31 +
test/gelint/validity/veen8/test3/aa.e | 18 +
test/gelint/validity/veen8/test3/build.eant | 26 +
test/gelint/validity/veen8/test3/passed.gec | 2 +
test/gelint/validity/veen8/test3/passed.gelint | 2 +
test/gelint/validity/veen8/test3/passed.ise | 18 +
test/gelint/validity/veen8/test3/system.xace | 31 +
test/gelint/validity/veen8/test_veen8_test2.e | 45 +
test/gelint/validity/veen8/test_veen8_test3.e | 45 +
test/gelint/validity/vevi/build.eant | 104 ++
test/gelint/validity/vevi/getest.cfg | 15 +
test/gelint/validity/vevi/system.xace | 39 +
test/gelint/validity/vevi/test1/aa.e | 23 +
test/gelint/validity/vevi/test1/build.eant | 26 +
test/gelint/validity/vevi/test1/passed.gec | 2 +
test/gelint/validity/vevi/test1/passed.gelint | 2 +
test/gelint/validity/vevi/test1/passed.ise | 17 +
test/gelint/validity/vevi/test1/system.ecf | 11 +
test/gelint/validity/vevi/test10/aa.e | 23 +
test/gelint/validity/vevi/test10/build.eant | 26 +
test/gelint/validity/vevi/test10/passed.gec | 2 +
test/gelint/validity/vevi/test10/passed.gelint | 2 +
test/gelint/validity/vevi/test10/passed.ise | 17 +
test/gelint/validity/vevi/test10/system.ecf | 11 +
test/gelint/validity/vevi/test11/aa.e | 24 +
test/gelint/validity/vevi/test11/build.eant | 26 +
test/gelint/validity/vevi/test11/passed.gec | 2 +
test/gelint/validity/vevi/test11/passed.gelint | 2 +
test/gelint/validity/vevi/test11/passed.ise | 17 +
test/gelint/validity/vevi/test11/system.ecf | 11 +
test/gelint/validity/vevi/test12/aa.e | 23 +
test/gelint/validity/vevi/test12/build.eant | 26 +
test/gelint/validity/vevi/test12/passed.gec | 2 +
test/gelint/validity/vevi/test12/passed.gelint | 2 +
test/gelint/validity/vevi/test12/passed.ise | 17 +
test/gelint/validity/vevi/test12/system.ecf | 11 +
test/gelint/validity/vevi/test13/aa.e | 24 +
test/gelint/validity/vevi/test13/build.eant | 26 +
.../test9/failed.ise => vevi/test13/failed.gec} | 0
.../test9/failed.ise => vevi/test13/failed.gelint} | 0
test/gelint/validity/vevi/test13/passed.gec | 2 +
test/gelint/validity/vevi/test13/passed.gelint | 2 +
test/gelint/validity/vevi/test13/passed.ise | 17 +
test/gelint/validity/vevi/test13/system.ecf | 11 +
test/gelint/validity/vevi/test14/aa.e | 25 +
test/gelint/validity/vevi/test14/build.eant | 26 +
.../test9/failed.ise => vevi/test14/failed.gec} | 0
.../test9/failed.ise => vevi/test14/failed.gelint} | 0
test/gelint/validity/vevi/test14/passed.gec | 2 +
test/gelint/validity/vevi/test14/passed.gelint | 2 +
test/gelint/validity/vevi/test14/passed.ise | 17 +
test/gelint/validity/vevi/test14/system.ecf | 11 +
test/gelint/validity/vevi/test2/aa.e | 24 +
test/gelint/validity/vevi/test2/build.eant | 26 +
test/gelint/validity/vevi/test2/passed.gec | 2 +
test/gelint/validity/vevi/test2/passed.gelint | 2 +
test/gelint/validity/vevi/test2/passed.ise | 17 +
test/gelint/validity/vevi/test2/system.ecf | 11 +
test/gelint/validity/vevi/test3/aa.e | 23 +
test/gelint/validity/vevi/test3/build.eant | 26 +
test/gelint/validity/vevi/test3/passed.gec | 2 +
test/gelint/validity/vevi/test3/passed.gelint | 2 +
test/gelint/validity/vevi/test3/passed.ise | 17 +
test/gelint/validity/vevi/test3/system.ecf | 11 +
test/gelint/validity/vevi/test4/aa.e | 25 +
test/gelint/validity/vevi/test4/build.eant | 26 +
test/gelint/validity/vevi/test4/passed.gec | 2 +
test/gelint/validity/vevi/test4/passed.gelint | 2 +
test/gelint/validity/vevi/test4/passed.ise | 17 +
test/gelint/validity/vevi/test4/system.ecf | 11 +
test/gelint/validity/vevi/test5/aa.e | 25 +
test/gelint/validity/vevi/test5/build.eant | 26 +
test/gelint/validity/vevi/test5/passed.gec | 2 +
test/gelint/validity/vevi/test5/passed.gelint | 2 +
test/gelint/validity/vevi/test5/passed.ise | 17 +
test/gelint/validity/vevi/test5/system.ecf | 11 +
test/gelint/validity/vevi/test6/aa.e | 23 +
test/gelint/validity/vevi/test6/build.eant | 26 +
test/gelint/validity/vevi/test6/passed.gec | 2 +
test/gelint/validity/vevi/test6/passed.gelint | 2 +
test/gelint/validity/vevi/test6/passed.ise | 17 +
test/gelint/validity/vevi/test6/system.ecf | 11 +
test/gelint/validity/vevi/test7/aa.e | 22 +
test/gelint/validity/vevi/test7/build.eant | 26 +
test/gelint/validity/vevi/test7/passed.gec | 2 +
test/gelint/validity/vevi/test7/passed.gelint | 2 +
test/gelint/validity/vevi/test7/passed.ise | 17 +
test/gelint/validity/vevi/test7/system.ecf | 11 +
test/gelint/validity/vevi/test8/aa.e | 21 +
test/gelint/validity/vevi/test8/build.eant | 26 +
test/gelint/validity/vevi/test8/passed.gec | 2 +
test/gelint/validity/vevi/test8/passed.gelint | 2 +
test/gelint/validity/vevi/test8/passed.ise | 17 +
test/gelint/validity/vevi/test8/system.ecf | 11 +
test/gelint/validity/vevi/test9/aa.e | 23 +
test/gelint/validity/vevi/test9/build.eant | 26 +
test/gelint/validity/vevi/test9/passed.gec | 2 +
test/gelint/validity/vevi/test9/passed.gelint | 2 +
test/gelint/validity/vevi/test9/passed.ise | 17 +
test/gelint/validity/vevi/test9/system.ecf | 11 +
test/gelint/validity/vevi/test_vevi_test1.e | 45 +
test/gelint/validity/vevi/test_vevi_test10.e | 45 +
test/gelint/validity/vevi/test_vevi_test11.e | 45 +
test/gelint/validity/vevi/test_vevi_test12.e | 45 +
test/gelint/validity/vevi/test_vevi_test13.e | 45 +
test/gelint/validity/vevi/test_vevi_test14.e | 45 +
test/gelint/validity/vevi/test_vevi_test2.e | 45 +
test/gelint/validity/vevi/test_vevi_test3.e | 45 +
test/gelint/validity/vevi/test_vevi_test4.e | 45 +
test/gelint/validity/vevi/test_vevi_test5.e | 45 +
test/gelint/validity/vevi/test_vevi_test6.e | 45 +
test/gelint/validity/vevi/test_vevi_test7.e | 45 +
test/gelint/validity/vevi/test_vevi_test8.e | 45 +
test/gelint/validity/vevi/test_vevi_test9.e | 45 +
test/gelint/validity/vfac3/build.eant | 64 +
test/gelint/validity/vfac3/getest.cfg | 15 +
test/gelint/validity/vfac3/system.xace | 39 +
test/gelint/validity/vfac3/test1/aa.e | 18 +
test/gelint/validity/vfac3/test1/bb.e | 17 +
test/gelint/validity/vfac3/test1/build.eant | 26 +
test/gelint/validity/vfac3/test1/passed.gec | 2 +
test/gelint/validity/vfac3/test1/passed.gelint | 2 +
test/gelint/validity/vfac3/test1/passed.ise | 15 +
test/gelint/validity/vfac3/test1/system.xace | 31 +
test/gelint/validity/vfac3/test2/aa.e | 18 +
test/gelint/validity/vfac3/test2/bb.e | 17 +
test/gelint/validity/vfac3/test2/build.eant | 26 +
test/gelint/validity/vfac3/test2/failed.gec | 2 +
test/gelint/validity/vfac3/test2/failed.gelint | 2 +
test/gelint/validity/vfac3/test2/failed.ise | 17 +
test/gelint/validity/vfac3/test2/system.xace | 31 +
test/gelint/validity/vfac3/test3/aa.e | 19 +
test/gelint/validity/vfac3/test3/bb.e | 33 +
test/gelint/validity/vfac3/test3/build.eant | 26 +
test/gelint/validity/vfac3/test3/passed.gec | 2 +
test/gelint/validity/vfac3/test3/passed.gelint | 2 +
test/gelint/validity/vfac3/test3/passed.ise | 15 +
test/gelint/validity/vfac3/test3/system.ecf | 11 +
test/gelint/validity/vfac3/test4/aa.e | 20 +
test/gelint/validity/vfac3/test4/bb.e | 32 +
test/gelint/validity/vfac3/test4/build.eant | 26 +
test/gelint/validity/vfac3/test4/failed.gec | 2 +
test/gelint/validity/vfac3/test4/failed.gelint | 2 +
test/gelint/validity/vfac3/test4/failed.ise | 17 +
test/gelint/validity/vfac3/test4/system.ecf | 11 +
test/gelint/validity/vfac3/test_vfac3_test1.e | 45 +
test/gelint/validity/vfac3/test_vfac3_test2.e | 45 +
test/gelint/validity/vfac3/test_vfac3_test3.e | 45 +
test/gelint/validity/vfac3/test_vfac3_test4.e | 45 +
test/gelint/validity/vjar/build.eant | 4 +
.../validity/vjar/test1/failed_finalized3.ise | 1 +
test/gelint/validity/vjar/test2/build.eant | 4 +-
test/gelint/validity/vjar/test3/aa.e | 23 +
test/gelint/validity/vjar/test3/bb.e | 11 +
test/gelint/validity/vjar/test3/build.eant | 26 +
test/gelint/validity/vjar/test3/failed.ise | 1 +
test/gelint/validity/vjar/test3/passed.gec | 2 +
test/gelint/validity/vjar/test3/passed.gelint | 2 +
test/gelint/validity/vjar/test3/system.ecf | 11 +
test/gelint/validity/vjar/test_vjar_test3.e | 46 +
test/gelint/validity/vpir1/test1/aa.e | 8 +-
test/gelint/validity/vpir1/test1/passed.gec | 2 +-
test/gelint/validity/vpir1/test1/passed.gelint | 2 +-
.../vpir1/test1/{passed.ise => passed1.ise} | 0
test/gelint/validity/vpir1/test1/passed2.ise | 12 +
test/gelint/validity/vpir1/test2/aa.e | 6 +-
test/gelint/validity/vpir1/test2/passed.gec | 2 +-
test/gelint/validity/vpir1/test2/passed.gelint | 2 +-
.../vpir1/test2/{passed.ise => passed1.ise} | 0
test/gelint/validity/vpir1/test2/passed2.ise | 12 +
.../vqmc3/test1/{passed.ise => passed1.ise} | 0
test/gelint/validity/vqmc3/test1/passed2.ise | 14 +
.../vqmc3/test2/{passed.ise => passed1.ise} | 0
test/gelint/validity/vqmc3/test2/passed2.ise | 14 +
.../vqmc3/test3/{passed.ise => passed1.ise} | 0
test/gelint/validity/vqmc3/test3/passed2.ise | 14 +
.../vqmc3/test4/{passed.ise => passed1.ise} | 0
test/gelint/validity/vqmc3/test4/passed2.ise | 14 +
.../vtct/test4/{passed.ise => passed1.ise} | 0
test/gelint/validity/vtct/test4/passed2.ise | 11 +
...{passed_veen_code.ise => passed_veen_code1.ise} | 0
.../validity/vuex1/test1/passed_veen_code2.ise | 18 +
...{passed_veen_code.ise => passed_veen_code1.ise} | 0
.../validity/vuex1/test2/passed_veen_code2.ise | 18 +
test/gelint/validity/vuex1/test3/aa.e | 6 +-
test/gelint/validity/vuex1/test3/passed.gec | 2 +-
test/gelint/validity/vuex1/test3/passed.gelint | 2 +-
.../validity/vuex1/test3/passed_veen_code.ise | 17 -
.../validity/vuex1/test3/passed_veen_code1.ise | 17 +
.../validity/vuex1/test3/passed_veen_code2.ise | 18 +
test/gelint/validity/vuot1/build.eant | 24 +-
test/gelint/validity/vuot1/test1/failed.gec | 1 -
.../test9/failed.ise => vuot1/test1/failed.gelint} | 0
test/gelint/validity/vuot1/test2/passed.gec | 2 +-
test/gelint/validity/vuot1/test2/passed.gelint | 2 +-
test/gelint/validity/vuot1/test3/aa.e | 26 +
test/gelint/validity/vuot1/test3/build.eant | 26 +
test/gelint/validity/vuot1/test3/passed.gec | 2 +
test/gelint/validity/vuot1/test3/passed.gelint | 2 +
test/gelint/validity/vuot1/test3/passed.ise | 19 +
test/gelint/validity/vuot1/test3/system.xace | 31 +
test/gelint/validity/vuot1/test4/aa.e | 26 +
test/gelint/validity/vuot1/test4/build.eant | 26 +
test/gelint/validity/vuot1/test4/passed.gec | 2 +
test/gelint/validity/vuot1/test4/passed.gelint | 2 +
test/gelint/validity/vuot1/test4/passed.ise | 19 +
test/gelint/validity/vuot1/test4/system.xace | 31 +
test/gelint/validity/vuot1/test5/aa.e | 20 +
test/gelint/validity/vuot1/test5/build.eant | 26 +
test/gelint/validity/vuot1/test5/passed.gec | 2 +
test/gelint/validity/vuot1/test5/passed.gelint | 2 +
test/gelint/validity/vuot1/test5/passed.ise | 19 +
test/gelint/validity/vuot1/test5/system.xace | 31 +
test/gelint/validity/vuot1/test6/aa.e | 20 +
test/gelint/validity/vuot1/test6/build.eant | 26 +
test/gelint/validity/vuot1/test6/passed.gec | 2 +
test/gelint/validity/vuot1/test6/passed.gelint | 2 +
test/gelint/validity/vuot1/test6/passed.ise | 19 +
test/gelint/validity/vuot1/test6/system.xace | 31 +
test/gelint/validity/vuot1/test7/aa.e | 20 +
test/gelint/validity/vuot1/test7/build.eant | 26 +
test/gelint/validity/vuot1/test7/passed.gec | 2 +
test/gelint/validity/vuot1/test7/passed.gelint | 2 +
test/gelint/validity/vuot1/test7/passed.ise | 19 +
test/gelint/validity/vuot1/test7/system.xace | 31 +
test/gelint/validity/vuot1/test_vuot1_test3.e | 45 +
test/gelint/validity/vuot1/test_vuot1_test4.e | 45 +
test/gelint/validity/vuot1/test_vuot1_test5.e | 45 +
test/gelint/validity/vuot1/test_vuot1_test6.e | 45 +
test/gelint/validity/vuot1/test_vuot1_test7.e | 45 +
test/gelint/validity/vuta2/build.eant | 68 +
test/gelint/validity/vuta2/getest.cfg | 15 +
test/gelint/validity/vuta2/system.xace | 39 +
test/gelint/validity/vuta2/test1/aa.e | 47 +
test/gelint/validity/vuta2/test1/build.eant | 26 +
test/gelint/validity/vuta2/test1/passed.gec | 2 +
test/gelint/validity/vuta2/test1/passed.gelint | 2 +
test/gelint/validity/vuta2/test1/passed.ise | 16 +
test/gelint/validity/vuta2/test1/system.ecf | 11 +
test/gelint/validity/vuta2/test2/aa.e | 44 +
test/gelint/validity/vuta2/test2/build.eant | 26 +
.../validity/vuta2/test2/failed_finalized.ise | 13 +
.../validity/vuta2/test2/failed_workbench.ise | 19 +
test/gelint/validity/vuta2/test2/passed.gec | 2 +
test/gelint/validity/vuta2/test2/passed.gelint | 2 +
test/gelint/validity/vuta2/test2/system.ecf | 11 +
test/gelint/validity/vuta2/test3/aa.e | 51 +
test/gelint/validity/vuta2/test3/build.eant | 26 +
.../test3/failed_finalized.ise} | 0
.../validity/vuta2/test3/failed_workbench.ise | 22 +
test/gelint/validity/vuta2/test3/passed.gec | 2 +
test/gelint/validity/vuta2/test3/passed.gelint | 2 +
test/gelint/validity/vuta2/test3/system.ecf | 14 +
test/gelint/validity/vuta2/test4/aa.e | 51 +
test/gelint/validity/vuta2/test4/build.eant | 26 +
.../test4/failed_finalized.ise} | 0
.../validity/vuta2/test4/failed_workbench.ise | 23 +
test/gelint/validity/vuta2/test4/passed.gec | 2 +
test/gelint/validity/vuta2/test4/passed.gelint | 2 +
test/gelint/validity/vuta2/test4/system.ecf | 14 +
test/gelint/validity/vuta2/test5/aa.e | 18 +
test/gelint/validity/vuta2/test5/bb.e | 12 +
test/gelint/validity/vuta2/test5/build.eant | 26 +
.../{gvwmc2/test9 => vuta2/test5}/failed.ise | 0
test/gelint/validity/vuta2/test5/passed.gec | 2 +
test/gelint/validity/vuta2/test5/passed.gelint | 2 +
test/gelint/validity/vuta2/test5/system.ecf | 14 +
test/gelint/validity/vuta2/test_vuta2_test1.e | 45 +
test/gelint/validity/vuta2/test_vuta2_test2.e | 45 +
test/gelint/validity/vuta2/test_vuta2_test3.e | 45 +
test/gelint/validity/vuta2/test_vuta2_test4.e | 45 +
test/gelint/validity/vuta2/test_vuta2_test5.e | 45 +
409 files changed, 13586 insertions(+), 2640 deletions(-)
create mode 100644 library/tools/ecf/ast/et_ecf_concurrency_condition.e
create mode 100644 library/tools/ecf/ast/et_ecf_options.e
create mode 100644 library/tools/eiffel/ast/misc/et_attachment_separate_keywords.e
create mode 100644 library/tools/eiffel/ast/misc/et_attachment_symbol_separate_keyword.e
create mode 100644 library/tools/eiffel/ast/misc/et_implicit_type_mark.e
create mode 100644 library/tools/eiffel/compilation/et_attachment_scope.e
create mode 100644 library/tools/eiffel/compilation/et_attachment_scope_builder.e
delete mode 100644 library/tools/eiffel/compilation/et_expression_object_tests.e
create mode 100644 test/gelint/validity/vdrd2/build.eant
create mode 100644 test/gelint/validity/vdrd2/getest.cfg
create mode 100644 test/gelint/validity/vdrd2/system.xace
create mode 100644 test/gelint/validity/vdrd2/test1/aa.e
create mode 100644 test/gelint/validity/vdrd2/test1/build.eant
create mode 100644 test/gelint/validity/vdrd2/test1/failed.gec
create mode 100644 test/gelint/validity/vdrd2/test1/failed.gelint
create mode 100644 test/gelint/validity/vdrd2/test1/failed_finalized.ise
create mode 100644 test/gelint/validity/vdrd2/test1/failed_workbench.ise
create mode 100644 test/gelint/validity/vdrd2/test1/lib1/bb1.e
create mode 100644 test/gelint/validity/vdrd2/test1/lib1/lib1.ecf
create mode 100644 test/gelint/validity/vdrd2/test1/lib2/cc2.e
create mode 100644 test/gelint/validity/vdrd2/test1/lib2/lib2.ecf
create mode 100644 test/gelint/validity/vdrd2/test1/passed.gec
create mode 100644 test/gelint/validity/vdrd2/test1/passed.gelint
create mode 100644 test/gelint/validity/vdrd2/test1/system.ecf
create mode 100644 test/gelint/validity/vdrd2/test_vdrd2_test1.e
delete mode 100644 test/gelint/validity/veen8/test1/failed_workbench.ise
create mode 100644 test/gelint/validity/veen8/test1/failed_workbench1.ise
create mode 100644 test/gelint/validity/veen8/test1/failed_workbench2.ise
create mode 100644 test/gelint/validity/veen8/test2/aa.e
create mode 100644 test/gelint/validity/veen8/test2/build.eant
create mode 100644 test/gelint/validity/veen8/test2/passed.gec
create mode 100644 test/gelint/validity/veen8/test2/passed.gelint
create mode 100644 test/gelint/validity/veen8/test2/passed.ise
create mode 100644 test/gelint/validity/veen8/test2/system.xace
create mode 100644 test/gelint/validity/veen8/test3/aa.e
create mode 100644 test/gelint/validity/veen8/test3/build.eant
create mode 100644 test/gelint/validity/veen8/test3/passed.gec
create mode 100644 test/gelint/validity/veen8/test3/passed.gelint
create mode 100644 test/gelint/validity/veen8/test3/passed.ise
create mode 100644 test/gelint/validity/veen8/test3/system.xace
create mode 100644 test/gelint/validity/veen8/test_veen8_test2.e
create mode 100644 test/gelint/validity/veen8/test_veen8_test3.e
create mode 100644 test/gelint/validity/vevi/build.eant
create mode 100644 test/gelint/validity/vevi/getest.cfg
create mode 100644 test/gelint/validity/vevi/system.xace
create mode 100644 test/gelint/validity/vevi/test1/aa.e
create mode 100644 test/gelint/validity/vevi/test1/build.eant
create mode 100644 test/gelint/validity/vevi/test1/passed.gec
create mode 100644 test/gelint/validity/vevi/test1/passed.gelint
create mode 100644 test/gelint/validity/vevi/test1/passed.ise
create mode 100644 test/gelint/validity/vevi/test1/system.ecf
create mode 100644 test/gelint/validity/vevi/test10/aa.e
create mode 100644 test/gelint/validity/vevi/test10/build.eant
create mode 100644 test/gelint/validity/vevi/test10/passed.gec
create mode 100644 test/gelint/validity/vevi/test10/passed.gelint
create mode 100644 test/gelint/validity/vevi/test10/passed.ise
create mode 100644 test/gelint/validity/vevi/test10/system.ecf
create mode 100644 test/gelint/validity/vevi/test11/aa.e
create mode 100644 test/gelint/validity/vevi/test11/build.eant
create mode 100644 test/gelint/validity/vevi/test11/passed.gec
create mode 100644 test/gelint/validity/vevi/test11/passed.gelint
create mode 100644 test/gelint/validity/vevi/test11/passed.ise
create mode 100644 test/gelint/validity/vevi/test11/system.ecf
create mode 100644 test/gelint/validity/vevi/test12/aa.e
create mode 100644 test/gelint/validity/vevi/test12/build.eant
create mode 100644 test/gelint/validity/vevi/test12/passed.gec
create mode 100644 test/gelint/validity/vevi/test12/passed.gelint
create mode 100644 test/gelint/validity/vevi/test12/passed.ise
create mode 100644 test/gelint/validity/vevi/test12/system.ecf
create mode 100644 test/gelint/validity/vevi/test13/aa.e
create mode 100644 test/gelint/validity/vevi/test13/build.eant
copy test/gelint/validity/{gvwmc2/test9/failed.ise => vevi/test13/failed.gec} (100%)
copy test/gelint/validity/{gvwmc2/test9/failed.ise => vevi/test13/failed.gelint} (100%)
create mode 100644 test/gelint/validity/vevi/test13/passed.gec
create mode 100644 test/gelint/validity/vevi/test13/passed.gelint
create mode 100644 test/gelint/validity/vevi/test13/passed.ise
create mode 100644 test/gelint/validity/vevi/test13/system.ecf
create mode 100644 test/gelint/validity/vevi/test14/aa.e
create mode 100644 test/gelint/validity/vevi/test14/build.eant
copy test/gelint/validity/{gvwmc2/test9/failed.ise => vevi/test14/failed.gec} (100%)
copy test/gelint/validity/{gvwmc2/test9/failed.ise => vevi/test14/failed.gelint} (100%)
create mode 100644 test/gelint/validity/vevi/test14/passed.gec
create mode 100644 test/gelint/validity/vevi/test14/passed.gelint
create mode 100644 test/gelint/validity/vevi/test14/passed.ise
create mode 100644 test/gelint/validity/vevi/test14/system.ecf
create mode 100644 test/gelint/validity/vevi/test2/aa.e
create mode 100644 test/gelint/validity/vevi/test2/build.eant
create mode 100644 test/gelint/validity/vevi/test2/passed.gec
create mode 100644 test/gelint/validity/vevi/test2/passed.gelint
create mode 100644 test/gelint/validity/vevi/test2/passed.ise
create mode 100644 test/gelint/validity/vevi/test2/system.ecf
create mode 100644 test/gelint/validity/vevi/test3/aa.e
create mode 100644 test/gelint/validity/vevi/test3/build.eant
create mode 100644 test/gelint/validity/vevi/test3/passed.gec
create mode 100644 test/gelint/validity/vevi/test3/passed.gelint
create mode 100644 test/gelint/validity/vevi/test3/passed.ise
create mode 100644 test/gelint/validity/vevi/test3/system.ecf
create mode 100644 test/gelint/validity/vevi/test4/aa.e
create mode 100644 test/gelint/validity/vevi/test4/build.eant
create mode 100644 test/gelint/validity/vevi/test4/passed.gec
create mode 100644 test/gelint/validity/vevi/test4/passed.gelint
create mode 100644 test/gelint/validity/vevi/test4/passed.ise
create mode 100644 test/gelint/validity/vevi/test4/system.ecf
create mode 100644 test/gelint/validity/vevi/test5/aa.e
create mode 100644 test/gelint/validity/vevi/test5/build.eant
create mode 100644 test/gelint/validity/vevi/test5/passed.gec
create mode 100644 test/gelint/validity/vevi/test5/passed.gelint
create mode 100644 test/gelint/validity/vevi/test5/passed.ise
create mode 100644 test/gelint/validity/vevi/test5/system.ecf
create mode 100644 test/gelint/validity/vevi/test6/aa.e
create mode 100644 test/gelint/validity/vevi/test6/build.eant
create mode 100644 test/gelint/validity/vevi/test6/passed.gec
create mode 100644 test/gelint/validity/vevi/test6/passed.gelint
create mode 100644 test/gelint/validity/vevi/test6/passed.ise
create mode 100644 test/gelint/validity/vevi/test6/system.ecf
create mode 100644 test/gelint/validity/vevi/test7/aa.e
create mode 100644 test/gelint/validity/vevi/test7/build.eant
create mode 100644 test/gelint/validity/vevi/test7/passed.gec
create mode 100644 test/gelint/validity/vevi/test7/passed.gelint
create mode 100644 test/gelint/validity/vevi/test7/passed.ise
create mode 100644 test/gelint/validity/vevi/test7/system.ecf
create mode 100644 test/gelint/validity/vevi/test8/aa.e
create mode 100644 test/gelint/validity/vevi/test8/build.eant
create mode 100644 test/gelint/validity/vevi/test8/passed.gec
create mode 100644 test/gelint/validity/vevi/test8/passed.gelint
create mode 100644 test/gelint/validity/vevi/test8/passed.ise
create mode 100644 test/gelint/validity/vevi/test8/system.ecf
create mode 100644 test/gelint/validity/vevi/test9/aa.e
create mode 100644 test/gelint/validity/vevi/test9/build.eant
create mode 100644 test/gelint/validity/vevi/test9/passed.gec
create mode 100644 test/gelint/validity/vevi/test9/passed.gelint
create mode 100644 test/gelint/validity/vevi/test9/passed.ise
create mode 100644 test/gelint/validity/vevi/test9/system.ecf
create mode 100644 test/gelint/validity/vevi/test_vevi_test1.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test10.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test11.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test12.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test13.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test14.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test2.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test3.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test4.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test5.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test6.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test7.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test8.e
create mode 100644 test/gelint/validity/vevi/test_vevi_test9.e
create mode 100644 test/gelint/validity/vfac3/build.eant
create mode 100644 test/gelint/validity/vfac3/getest.cfg
create mode 100644 test/gelint/validity/vfac3/system.xace
create mode 100644 test/gelint/validity/vfac3/test1/aa.e
create mode 100644 test/gelint/validity/vfac3/test1/bb.e
create mode 100644 test/gelint/validity/vfac3/test1/build.eant
create mode 100644 test/gelint/validity/vfac3/test1/passed.gec
create mode 100644 test/gelint/validity/vfac3/test1/passed.gelint
create mode 100644 test/gelint/validity/vfac3/test1/passed.ise
create mode 100644 test/gelint/validity/vfac3/test1/system.xace
create mode 100644 test/gelint/validity/vfac3/test2/aa.e
create mode 100644 test/gelint/validity/vfac3/test2/bb.e
create mode 100644 test/gelint/validity/vfac3/test2/build.eant
create mode 100644 test/gelint/validity/vfac3/test2/failed.gec
create mode 100644 test/gelint/validity/vfac3/test2/failed.gelint
create mode 100644 test/gelint/validity/vfac3/test2/failed.ise
create mode 100644 test/gelint/validity/vfac3/test2/system.xace
create mode 100644 test/gelint/validity/vfac3/test3/aa.e
create mode 100644 test/gelint/validity/vfac3/test3/bb.e
create mode 100644 test/gelint/validity/vfac3/test3/build.eant
create mode 100644 test/gelint/validity/vfac3/test3/passed.gec
create mode 100644 test/gelint/validity/vfac3/test3/passed.gelint
create mode 100644 test/gelint/validity/vfac3/test3/passed.ise
create mode 100644 test/gelint/validity/vfac3/test3/system.ecf
create mode 100644 test/gelint/validity/vfac3/test4/aa.e
create mode 100644 test/gelint/validity/vfac3/test4/bb.e
create mode 100644 test/gelint/validity/vfac3/test4/build.eant
create mode 100644 test/gelint/validity/vfac3/test4/failed.gec
create mode 100644 test/gelint/validity/vfac3/test4/failed.gelint
create mode 100644 test/gelint/validity/vfac3/test4/failed.ise
create mode 100644 test/gelint/validity/vfac3/test4/system.ecf
create mode 100644 test/gelint/validity/vfac3/test_vfac3_test1.e
create mode 100644 test/gelint/validity/vfac3/test_vfac3_test2.e
create mode 100644 test/gelint/validity/vfac3/test_vfac3_test3.e
create mode 100644 test/gelint/validity/vfac3/test_vfac3_test4.e
create mode 100644 test/gelint/validity/vjar/test1/failed_finalized3.ise
create mode 100644 test/gelint/validity/vjar/test3/aa.e
create mode 100644 test/gelint/validity/vjar/test3/bb.e
create mode 100644 test/gelint/validity/vjar/test3/build.eant
create mode 100644 test/gelint/validity/vjar/test3/failed.ise
create mode 100644 test/gelint/validity/vjar/test3/passed.gec
create mode 100644 test/gelint/validity/vjar/test3/passed.gelint
create mode 100644 test/gelint/validity/vjar/test3/system.ecf
create mode 100644 test/gelint/validity/vjar/test_vjar_test3.e
rename test/gelint/validity/vpir1/test1/{passed.ise => passed1.ise} (100%)
create mode 100644 test/gelint/validity/vpir1/test1/passed2.ise
rename test/gelint/validity/vpir1/test2/{passed.ise => passed1.ise} (100%)
create mode 100644 test/gelint/validity/vpir1/test2/passed2.ise
rename test/gelint/validity/vqmc3/test1/{passed.ise => passed1.ise} (100%)
create mode 100644 test/gelint/validity/vqmc3/test1/passed2.ise
rename test/gelint/validity/vqmc3/test2/{passed.ise => passed1.ise} (100%)
create mode 100644 test/gelint/validity/vqmc3/test2/passed2.ise
rename test/gelint/validity/vqmc3/test3/{passed.ise => passed1.ise} (100%)
create mode 100644 test/gelint/validity/vqmc3/test3/passed2.ise
rename test/gelint/validity/vqmc3/test4/{passed.ise => passed1.ise} (100%)
create mode 100644 test/gelint/validity/vqmc3/test4/passed2.ise
rename test/gelint/validity/vtct/test4/{passed.ise => passed1.ise} (100%)
create mode 100644 test/gelint/validity/vtct/test4/passed2.ise
rename test/gelint/validity/vuex1/test1/{passed_veen_code.ise => passed_veen_code1.ise} (100%)
create mode 100644 test/gelint/validity/vuex1/test1/passed_veen_code2.ise
rename test/gelint/validity/vuex1/test2/{passed_veen_code.ise => passed_veen_code1.ise} (100%)
create mode 100644 test/gelint/validity/vuex1/test2/passed_veen_code2.ise
delete mode 100644 test/gelint/validity/vuex1/test3/passed_veen_code.ise
create mode 100644 test/gelint/validity/vuex1/test3/passed_veen_code1.ise
create mode 100644 test/gelint/validity/vuex1/test3/passed_veen_code2.ise
copy test/gelint/validity/{gvwmc2/test9/failed.ise => vuot1/test1/failed.gelint} (100%)
create mode 100644 test/gelint/validity/vuot1/test3/aa.e
create mode 100644 test/gelint/validity/vuot1/test3/build.eant
create mode 100644 test/gelint/validity/vuot1/test3/passed.gec
create mode 100644 test/gelint/validity/vuot1/test3/passed.gelint
create mode 100644 test/gelint/validity/vuot1/test3/passed.ise
create mode 100644 test/gelint/validity/vuot1/test3/system.xace
create mode 100644 test/gelint/validity/vuot1/test4/aa.e
create mode 100644 test/gelint/validity/vuot1/test4/build.eant
create mode 100644 test/gelint/validity/vuot1/test4/passed.gec
create mode 100644 test/gelint/validity/vuot1/test4/passed.gelint
create mode 100644 test/gelint/validity/vuot1/test4/passed.ise
create mode 100644 test/gelint/validity/vuot1/test4/system.xace
create mode 100644 test/gelint/validity/vuot1/test5/aa.e
create mode 100644 test/gelint/validity/vuot1/test5/build.eant
create mode 100644 test/gelint/validity/vuot1/test5/passed.gec
create mode 100644 test/gelint/validity/vuot1/test5/passed.gelint
create mode 100644 test/gelint/validity/vuot1/test5/passed.ise
create mode 100644 test/gelint/validity/vuot1/test5/system.xace
create mode 100644 test/gelint/validity/vuot1/test6/aa.e
create mode 100644 test/gelint/validity/vuot1/test6/build.eant
create mode 100644 test/gelint/validity/vuot1/test6/passed.gec
create mode 100644 test/gelint/validity/vuot1/test6/passed.gelint
create mode 100644 test/gelint/validity/vuot1/test6/passed.ise
create mode 100644 test/gelint/validity/vuot1/test6/system.xace
create mode 100644 test/gelint/validity/vuot1/test7/aa.e
create mode 100644 test/gelint/validity/vuot1/test7/build.eant
create mode 100644 test/gelint/validity/vuot1/test7/passed.gec
create mode 100644 test/gelint/validity/vuot1/test7/passed.gelint
create mode 100644 test/gelint/validity/vuot1/test7/passed.ise
create mode 100644 test/gelint/validity/vuot1/test7/system.xace
create mode 100644 test/gelint/validity/vuot1/test_vuot1_test3.e
create mode 100644 test/gelint/validity/vuot1/test_vuot1_test4.e
create mode 100644 test/gelint/validity/vuot1/test_vuot1_test5.e
create mode 100644 test/gelint/validity/vuot1/test_vuot1_test6.e
create mode 100644 test/gelint/validity/vuot1/test_vuot1_test7.e
create mode 100644 test/gelint/validity/vuta2/build.eant
create mode 100644 test/gelint/validity/vuta2/getest.cfg
create mode 100644 test/gelint/validity/vuta2/system.xace
create mode 100644 test/gelint/validity/vuta2/test1/aa.e
create mode 100644 test/gelint/validity/vuta2/test1/build.eant
create mode 100644 test/gelint/validity/vuta2/test1/passed.gec
create mode 100644 test/gelint/validity/vuta2/test1/passed.gelint
create mode 100644 test/gelint/validity/vuta2/test1/passed.ise
create mode 100644 test/gelint/validity/vuta2/test1/system.ecf
create mode 100644 test/gelint/validity/vuta2/test2/aa.e
create mode 100644 test/gelint/validity/vuta2/test2/build.eant
create mode 100644 test/gelint/validity/vuta2/test2/failed_finalized.ise
create mode 100644 test/gelint/validity/vuta2/test2/failed_workbench.ise
create mode 100644 test/gelint/validity/vuta2/test2/passed.gec
create mode 100644 test/gelint/validity/vuta2/test2/passed.gelint
create mode 100644 test/gelint/validity/vuta2/test2/system.ecf
create mode 100644 test/gelint/validity/vuta2/test3/aa.e
create mode 100644 test/gelint/validity/vuta2/test3/build.eant
copy test/gelint/validity/{gvwmc2/test9/failed.ise => vuta2/test3/failed_finalized.ise} (100%)
create mode 100644 test/gelint/validity/vuta2/test3/failed_workbench.ise
create mode 100644 test/gelint/validity/vuta2/test3/passed.gec
create mode 100644 test/gelint/validity/vuta2/test3/passed.gelint
create mode 100644 test/gelint/validity/vuta2/test3/system.ecf
create mode 100644 test/gelint/validity/vuta2/test4/aa.e
create mode 100644 test/gelint/validity/vuta2/test4/build.eant
copy test/gelint/validity/{gvwmc2/test9/failed.ise => vuta2/test4/failed_finalized.ise} (100%)
create mode 100644 test/gelint/validity/vuta2/test4/failed_workbench.ise
create mode 100644 test/gelint/validity/vuta2/test4/passed.gec
create mode 100644 test/gelint/validity/vuta2/test4/passed.gelint
create mode 100644 test/gelint/validity/vuta2/test4/system.ecf
create mode 100644 test/gelint/validity/vuta2/test5/aa.e
create mode 100644 test/gelint/validity/vuta2/test5/bb.e
create mode 100644 test/gelint/validity/vuta2/test5/build.eant
copy test/gelint/validity/{gvwmc2/test9 => vuta2/test5}/failed.ise (100%)
create mode 100644 test/gelint/validity/vuta2/test5/passed.gec
create mode 100644 test/gelint/validity/vuta2/test5/passed.gelint
create mode 100644 test/gelint/validity/vuta2/test5/system.ecf
create mode 100644 test/gelint/validity/vuta2/test_vuta2_test1.e
create mode 100644 test/gelint/validity/vuta2/test_vuta2_test2.e
create mode 100644 test/gelint/validity/vuta2/test_vuta2_test3.e
create mode 100644 test/gelint/validity/vuta2/test_vuta2_test4.e
create mode 100644 test/gelint/validity/vuta2/test_vuta2_test5.e
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-08-29 20:43:17
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, dev has been created
at 142d076c7ffba7554d38a2cae2ca8a1be3cae1c0 (commit)
- Log -----------------------------------------------------------------
commit 142d076c7ffba7554d38a2cae2ca8a1be3cae1c0
Author: Eric Bezault <er...@go...>
Date: Mon Aug 29 22:42:24 2011 +0200
Fixed bug when parsing nested check-instructions. The assertions of the enclosing check-instruction were associated with the inner check-instruction.
commit c10aaadaff818b38545e2643f4333feb5bee5b69
Author: Eric Bezault <er...@go...>
Date: Mon Aug 29 08:29:04 2011 +0200
Fixed bug when determining the attachment status of formal generic parameters.
commit 7dd796d29d48a85167c1b428da261cc21fae5e94
Author: Eric Bezault <er...@go...>
Date: Mon Aug 29 08:27:52 2011 +0200
Take into account the fact that arguments may be have different names in redefinitions.
commit b943a719dea72a832507cbc433d504d42d66544a
Author: Eric Bezault <er...@go...>
Date: Sun Aug 28 15:54:54 2011 +0200
Look for convert feature without taking into account the attachment status of the types involved.
commit 3ef18be9242217fe705841e86ef3997365eebce3
Author: Eric Bezault <er...@go...>
Date: Sun Aug 28 12:26:14 2011 +0200
Compatibility with ISE when detecting object-test local names scope overlaps.
commit 696106aa7ad2d8c93525c3da8c2f7e26df4b2a9a
Author: Eric Bezault <er...@go...>
Date: Sat Aug 27 12:15:29 2011 +0200
Made sure that the target of qualified call agents is attached.
commit 245d4a93a47bf43ab5abede6efdef0537b2b6f18
Author: Eric Bezault <er...@go...>
Date: Sat Aug 27 10:48:45 2011 +0200
Fixed bug when setting a stable attribute with another stable attribute. The attachment status was not correctly handled.
commit 4d1b75a1e26766dddd1291d23d70ef34273df166
Author: Eric Bezault <er...@go...>
Date: Sat Aug 27 09:23:04 2011 +0200
Changed VWEQ so that the attachment status is not taken into account.
commit 606e5787e78638a69db877fc0d6e5de03fcf61a3
Author: Eric Bezault <er...@go...>
Date: Fri Aug 26 22:58:30 2011 +0200
Relaxed validity rule VDRD-2 to be compliant with EiffelStudio 6.8: it's accepted to have type 'attached like Current' in the signature of the routine in the parent class and 'detachable like Current' in the signature of the redefined routine.
commit 90002da1c2b56903b231bc2c34ddf3afc20bec8b
Author: Eric Bezault <er...@go...>
Date: Thu Aug 25 19:45:10 2011 +0200
To be compliant with EiffelStudio, the TUPLE part in the type of agents should be attached even when there are no open operands.
commit 0d89d33184477872d565718c462758cf04b0e662
Author: Eric Bezault <er...@go...>
Date: Thu Aug 25 17:11:22 2011 +0200
Stable attributes are not supported yet. Make as if there are all stable for the time being.
commit 69f95fef89575e2ab835190a481389b95b199622
Author: Eric Bezault <er...@go...>
Date: Thu Aug 25 17:09:45 2011 +0200
Added missing impplicit type mark for TUPLE types.
commit 8ae1ad2d5eca320dc2f52067ff8d2734b9f4ebb9
Author: Eric Bezault <er...@go...>
Date: Thu Aug 25 14:22:18 2011 +0200
Support the ECMA syntax for typed manifest strings and typed character constants.
commit ac9c5ff262d92aca5bdc30695b1c6f28fc94d073
Author: Eric Bezault <er...@go...>
Date: Thu Aug 25 00:52:50 2011 +0200
Implemented validity rule VEVI where the 'Result' entity declared of attached type is not initialized at the end of the body of an attribute.
commit 72e460ee1320077124bffd8bc9047ec48c873c68
Author: Eric Bezault <er...@go...>
Date: Wed Aug 24 19:13:09 2011 +0200
Implemented validity rule VEVI where the 'Result' entity declared of attached type is not initialized at the end of a do or once function or a do or once inline agent.
commit 13f009b78068b78bd8b094c13978db1b9631823a
Author: Eric Bezault <er...@go...>
Date: Tue Aug 23 23:58:50 2011 +0200
Fixed bug when running 'gec --gelint ...'. Validity errors were reported twice.
commit ccf372759fcb7ffd993142079455a1bdafed7ba3
Author: Eric Bezault <er...@go...>
Date: Mon Aug 22 17:28:51 2011 +0200
First implementation of void-safety validity rules.
commit cefbf2506206dc73f94d04eb9dceb161f4757943
Author: Eric Bezault <er...@go...>
Date: Fri Aug 12 18:26:05 2011 +0200
Workaround ISE's bug when determining the type of manifest tuples at run-time.
See bug report #17781.
-----------------------------------------------------------------------
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-07-21 12:02:47
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 74cf0d6b10d4388fe48e029e8c28c01d777a1fe5 (commit)
from 572bfb73a7f5da4805d19220f1f55e069c01dcfb (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 74cf0d6b10d4388fe48e029e8c28c01d777a1fe5
Author: Eric Bezault <er...@go...>
Date: Tue Jul 19 13:38:06 2011 +0200
Fixed conformance rule. Validity rule VJAR was not reported when assigning a reference type to an expanded type.
-----------------------------------------------------------------------
Summary of changes:
library/tools/eiffel/ast/type/et_class_type.e | 4 +-
test/gelint/gelint_test_case.e | 17 ++++++--
test/gelint/validity/vjar/build.eant | 6 ++-
...{failed_finalized.ise => failed_finalized1.ise} | 0
.../validity/vjar/test1/failed_finalized2.ise | 2 +
...{failed_workbench.ise => failed_workbench1.ise} | 0
.../validity/vjar/test1/failed_workbench2.ise | 16 +++++++
test/gelint/validity/vjar/test2/aa.e | 18 ++++++++
test/gelint/validity/vjar/test2/build.eant | 26 +++++++++++
test/gelint/validity/vjar/test2/passed.gec | 2 +
test/gelint/validity/vjar/test2/passed.gelint | 2 +
test/gelint/validity/vjar/test2/passed.ise | 29 ++++++++++++
test/gelint/validity/vjar/test2/system.xace | 31 +++++++++++++
test/gelint/validity/vjar/test_vjar_test2.e | 46 ++++++++++++++++++++
14 files changed, 193 insertions(+), 6 deletions(-)
rename test/gelint/validity/vjar/test1/{failed_finalized.ise => failed_finalized1.ise} (100%)
create mode 100644 test/gelint/validity/vjar/test1/failed_finalized2.ise
rename test/gelint/validity/vjar/test1/{failed_workbench.ise => failed_workbench1.ise} (100%)
create mode 100644 test/gelint/validity/vjar/test1/failed_workbench2.ise
create mode 100644 test/gelint/validity/vjar/test2/aa.e
create mode 100644 test/gelint/validity/vjar/test2/build.eant
create mode 100644 test/gelint/validity/vjar/test2/passed.gec
create mode 100644 test/gelint/validity/vjar/test2/passed.gelint
create mode 100644 test/gelint/validity/vjar/test2/passed.ise
create mode 100644 test/gelint/validity/vjar/test2/system.xace
create mode 100644 test/gelint/validity/vjar/test_vjar_test2.e
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-07-15 12:47:01
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 572bfb73a7f5da4805d19220f1f55e069c01dcfb (commit)
from 98c786899e24433a58b73e0c92fdcb570e92f771 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 572bfb73a7f5da4805d19220f1f55e069c01dcfb
Author: Eric Bezault <er...@go...>
Date: Fri Jul 15 14:46:22 2011 +0200
Improved group classes.
-----------------------------------------------------------------------
Summary of changes:
.../tools/eiffel/ast/group/et_dotnet_assembly.e | 7 ++
library/tools/eiffel/ast/group/et_group.e | 114 ++++++++++++++++++++
library/tools/eiffel/ast/group/et_library.e | 7 ++
3 files changed, 128 insertions(+), 0 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-07-12 16:57:14
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 98c786899e24433a58b73e0c92fdcb570e92f771 (commit)
from cf05ac2328254bfb4ad134de098df1941f0f1f43 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 98c786899e24433a58b73e0c92fdcb570e92f771
Author: Eric Bezault <er...@go...>
Date: Tue Jul 12 18:44:01 2011 +0200
Fixed bug (infinite recursion).
-----------------------------------------------------------------------
Summary of changes:
library/tools/eiffel/ast/class/et_master_class.e | 9 ++++++---
1 files changed, 6 insertions(+), 3 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-07-11 12:43:35
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via cf05ac2328254bfb4ad134de098df1941f0f1f43 (commit)
from 6857a16098ba22ce158627abfe2d5348b617378d (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit cf05ac2328254bfb4ad134de098df1941f0f1f43
Author: Eric Bezault <er...@go...>
Date: Mon Jul 11 14:42:47 2011 +0200
Made sure that a syntax error is reported when a comma is used as a terminator instead of as a delimiter in rename clauses.
-----------------------------------------------------------------------
Summary of changes:
library/tools/eiffel/parser/et_eiffel_parser.y | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-07-07 16:38:25
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 6857a16098ba22ce158627abfe2d5348b617378d (commit)
from 8304ccfd2a9139f25c611a0bc1eaf8da4acee887 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 6857a16098ba22ce158627abfe2d5348b617378d
Author: Eric Bezault <er...@go...>
Date: Thu Jul 7 18:37:35 2011 +0200
Made sure that the 'build' condition in ECF files works as expected.
-----------------------------------------------------------------------
Summary of changes:
library/tools/ecf/ast/et_ecf_build_condition.e | 2 +-
library/tools/ecf/ast/et_ecf_state.e | 11 +++++++++++
library/tools/ecf/parser/et_ecf_system_parser.e | 16 ++++++++++++++++
src/gec/gec.e | 1 +
4 files changed, 29 insertions(+), 1 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-07-07 12:25:27
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 8304ccfd2a9139f25c611a0bc1eaf8da4acee887 (commit)
from e9e5890f23d2b077947c4f356bd2b208f039ebc9 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 8304ccfd2a9139f25c611a0bc1eaf8da4acee887
Author: Eric Bezault <er...@go...>
Date: Thu Jul 7 14:24:56 2011 +0200
Made ET_DOTNET_ASSEMBLIES inherit from ET_ADAPTED_DOTNET_ASSEMBLIES.
-----------------------------------------------------------------------
Summary of changes:
.../tools/eiffel/ast/group/et_dotnet_assemblies.e | 159 --------------------
1 files changed, 0 insertions(+), 159 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-07-07 12:05:42
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via e9e5890f23d2b077947c4f356bd2b208f039ebc9 (commit)
via 44cc8228370ac3963380a2654146a0b205ab1716 (commit)
from 948e1726c38cd36bad83d1eba8e23fe5ed0ea93d (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit e9e5890f23d2b077947c4f356bd2b208f039ebc9
Author: Eric Bezault <er...@go...>
Date: Thu Jul 7 14:04:31 2011 +0200
Made ET_DOTNET_ASSEMBLIES inherit from ET_ADAPTED_DOTNET_ASSEMBLIES.
commit 44cc8228370ac3963380a2654146a0b205ab1716
Author: Eric Bezault <er...@go...>
Date: Thu Jul 7 14:02:02 2011 +0200
Improved C code for file deletion.
-----------------------------------------------------------------------
Summary of changes:
library/tools/ecf/ast/et_ecf_dotnet_assemblies.e | 8 +-
.../ast/group/et_adapted_dotnet_assemblies.e | 4 +-
.../tools/eiffel/ast/group/et_dotnet_assemblies.e | 292 +++++++++++---------
.../tools/eiffel/ast/group/et_dotnet_assembly.e | 6 +-
.../eiffel/parser/et_dotnet_assembly_consumer.e | 4 +-
library/tools/lace/ast/et_lace_dotnet_assemblies.e | 8 +-
tool/gec/runtime/c/eif_file.c | 47 ++--
7 files changed, 210 insertions(+), 159 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-06-30 16:37:43
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 948e1726c38cd36bad83d1eba8e23fe5ed0ea93d (commit)
from 1181bf10de98ee6286903caf2add382b12019576 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 948e1726c38cd36bad83d1eba8e23fe5ed0ea93d
Author: Eric Bezault <er...@go...>
Date: Thu Jun 30 18:16:57 2011 +0200
New features in Eiffel group classes.
-----------------------------------------------------------------------
Summary of changes:
.../ecf/ast/et_ecf_adapted_dotnet_assemblies.e | 22 +++++-
library/tools/ecf/ast/et_ecf_adapted_libraries.e | 20 +++++-
.../ast/group/et_adapted_dotnet_assemblies.e | 10 +++
.../eiffel/ast/group/et_adapted_dotnet_assembly.e | 9 ++-
library/tools/eiffel/ast/group/et_adapted_group.e | 56 ++++++++++++++
...ame.e => et_adapted_group_comparator_by_name.e} | 10 +-
.../tools/eiffel/ast/group/et_adapted_libraries.e | 30 +++++++
.../tools/eiffel/ast/group/et_adapted_library.e | 9 ++-
library/tools/eiffel/ast/group/et_cluster.e | 59 ++++++++++++---
library/tools/eiffel/ast/group/et_clusters.e | 46 +++++++++--
.../tools/eiffel/ast/group/et_customizable_group.e | 3 +
.../tools/eiffel/ast/group/et_dotnet_assemblies.e | 20 +++++
.../tools/eiffel/ast/group/et_dotnet_assembly.e | 41 ++++++++++-
library/tools/eiffel/ast/group/et_group.e | 80 ++++++++++++--------
.../tools/eiffel/ast/group/et_internal_universe.e | 6 +-
library/tools/eiffel/ast/group/et_library.e | 53 ++++++++++++-
.../tools/eiffel/ast/group/et_secondary_group.e | 3 -
17 files changed, 402 insertions(+), 75 deletions(-)
create mode 100644 library/tools/eiffel/ast/group/et_adapted_group.e
copy library/tools/eiffel/ast/group/{et_cluster_comparator_by_name.e => et_adapted_group_comparator_by_name.e} (67%)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-06-24 16:16:04
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 1181bf10de98ee6286903caf2add382b12019576 (commit)
via 2016adeb11a6b45fb2ad83fb04dc3b188597b0de (commit)
from c312141702c872eeeff8eb5fc01736c443bb38bf (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 1181bf10de98ee6286903caf2add382b12019576
Author: Eric Bezault <er...@go...>
Date: Fri Jun 24 18:14:46 2011 +0200
New features to traverse classes in groups.
commit 2016adeb11a6b45fb2ad83fb04dc3b188597b0de
Author: Eric Bezault <er...@go...>
Date: Fri Jun 24 08:56:52 2011 +0200
Properly handles read-only ECF libraries.
-----------------------------------------------------------------------
Summary of changes:
library/tools/ecf/ast/et_ecf_library.e | 3 +-
library/tools/ecf/ast/et_ecf_system.e | 3 +-
library/tools/ecf/parser/et_ecf_system_parser.e | 1 +
.../ast/group/et_adapted_dotnet_assemblies.e | 20 ++++++++
.../tools/eiffel/ast/group/et_adapted_universe.e | 15 ++++++
library/tools/eiffel/ast/group/et_cluster.e | 43 +++++++++++++++++
.../tools/eiffel/ast/group/et_customizable_group.e | 8 +++
.../tools/eiffel/ast/group/et_dotnet_assembly.e | 22 +++++++++-
library/tools/eiffel/ast/group/et_group.e | 34 ++++++++++++++
.../tools/eiffel/ast/group/et_internal_universe.e | 48 +++++++++++++++----
library/tools/eiffel/ast/group/et_library.e | 10 ++++-
library/tools/eiffel/ast/group/et_none_group.e | 34 ++++++++++++++
.../tools/eiffel/ast/group/et_secondary_group.e | 25 ----------
library/tools/eiffel/ast/group/et_system.e | 11 ++++-
library/tools/eiffel/ast/group/et_unknown_group.e | 29 ++++++++++++
library/tools/eiffel/parser/et_eiffel_parser.y | 3 +-
.../tools/xace/generator/et_xace_ecf_generator.e | 4 +-
17 files changed, 271 insertions(+), 42 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-06-13 20:52:27
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via c312141702c872eeeff8eb5fc01736c443bb38bf (commit)
from 1cb5783a68f7f1cf82f06de5696e9514ae5eb99c (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit c312141702c872eeeff8eb5fc01736c443bb38bf
Author: Eric Bezault <er...@go...>
Date: Mon Jun 13 22:51:15 2011 +0200
Improved implementation of groups.
-----------------------------------------------------------------------
Summary of changes:
library/tools/eiffel/ast/class/et_class.e | 12 ++-
library/tools/eiffel/ast/group/et_builtin_group.e | 4 +-
library/tools/eiffel/ast/group/et_cluster.e | 4 +-
library/tools/eiffel/ast/group/et_clusters.e | 64 ++++++++----
.../tools/eiffel/ast/group/et_customizable_group.e | 106 ++++++++++++++++++++
.../tools/eiffel/ast/group/et_dotnet_assembly.e | 44 ++++++++-
library/tools/eiffel/ast/group/et_group.e | 68 ++++++++++---
.../tools/eiffel/ast/group/et_internal_universe.e | 59 +++++++++++-
library/tools/eiffel/ast/group/et_library.e | 2 +-
library/tools/eiffel/ast/group/et_primary_group.e | 40 ++++++++
.../tools/eiffel/ast/group/et_secondary_group.e | 60 ++++++++----
library/tools/eiffel/ast/group/et_universe.e | 13 +++
.../eiffel/parser/et_eiffel_parser_skeleton.e | 6 +-
.../eiffel/parser/et_eiffel_preparser_skeleton.e | 4 +-
.../eiffel/parser/et_eiffel_scanner_skeleton.e | 8 +-
15 files changed, 413 insertions(+), 81 deletions(-)
create mode 100644 library/tools/eiffel/ast/group/et_customizable_group.e
create mode 100644 library/tools/eiffel/ast/group/et_primary_group.e
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-06-09 10:02:10
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 1cb5783a68f7f1cf82f06de5696e9514ae5eb99c (commit)
from 7cff0738909edf8a3d41c0a2315ae3fcecb1de7d (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 1cb5783a68f7f1cf82f06de5696e9514ae5eb99c
Author: Eric Bezault <er...@go...>
Date: Thu Jun 9 11:59:41 2011 +0200
Fixed bugs in ECF support.
-----------------------------------------------------------------------
Summary of changes:
library/tools/ecf/ast/et_ecf_settings.e | 2 +-
library/tools/ecf/ast/et_ecf_target.e | 2 +-
library/tools/ecf/ast/et_ecf_variables.e | 2 +-
library/tools/ecf/parser/et_ecf_ast_factory.e | 13 +++++
library/tools/ecf/parser/et_ecf_parser.e | 19 +++++++-
library/tools/ecf/parser/et_ecf_parser_skeleton.e | 53 +++++++++++++++++++++
library/tools/ecf/parser/et_ecf_system_parser.e | 1 +
7 files changed, 88 insertions(+), 4 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-06-08 20:33:04
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 7cff0738909edf8a3d41c0a2315ae3fcecb1de7d (commit)
from 191df50be047edcf31ef27ecebb4d2af5f98fb62 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 7cff0738909edf8a3d41c0a2315ae3fcecb1de7d
Author: Eric Bezault <er...@go...>
Date: Wed Jun 8 22:32:03 2011 +0200
ET_LIBRARY inherits from ET_GROUP.
Improved ECF support.
-----------------------------------------------------------------------
Summary of changes:
.../ecf/ast/et_ecf_adapted_dotnet_assemblies.e | 50 +++
..._library.e => et_ecf_adapted_dotnet_assembly.e} | 26 +-
library/tools/ecf/ast/et_ecf_dotnet_condition.e | 4 +-
library/tools/ecf/ast/et_ecf_library.e | 7 +-
.../tools/ecf/ast/et_ecf_multithreaded_condition.e | 4 +-
library/tools/ecf/ast/et_ecf_setting_names.e | 32 ++
library/tools/ecf/ast/et_ecf_settings.e | 104 ++++++
library/tools/ecf/ast/et_ecf_state.e | 28 ++-
library/tools/ecf/ast/et_ecf_target.e | 72 ++++-
library/tools/ecf/ast/et_ecf_variables.e | 10 +-
library/tools/ecf/error/et_ecf_error.e | 346 +++++++++++++++++++-
library/tools/ecf/error/et_ecf_error_handler.e | 158 +++++++++-
library/tools/ecf/parser/et_ecf_ast_factory.e | 24 ++-
library/tools/ecf/parser/et_ecf_element_names.e | 12 +
library/tools/ecf/parser/et_ecf_parser_skeleton.e | 180 ++++++++++
library/tools/ecf/parser/et_ecf_system_parser.e | 3 +-
.../ast/group/et_adapted_dotnet_assemblies.e | 27 ++-
.../tools/eiffel/ast/group/et_adapted_libraries.e | 27 ++-
.../tools/eiffel/ast/group/et_adapted_universe.e | 20 +-
library/tools/eiffel/ast/group/et_clusters.e | 98 ++++--
.../tools/eiffel/ast/group/et_dotnet_assembly.e | 44 ++-
library/tools/eiffel/ast/group/et_group.e | 20 +-
.../tools/eiffel/ast/group/et_internal_universe.e | 81 +++++-
library/tools/eiffel/ast/group/et_library.e | 48 +++-
library/tools/eiffel/ast/group/et_universe.e | 15 +-
library/tools/eiffel/ast/misc/et_token_constants.e | 10 +-
26 files changed, 1369 insertions(+), 81 deletions(-)
create mode 100644 library/tools/ecf/ast/et_ecf_adapted_dotnet_assemblies.e
copy library/tools/ecf/ast/{et_ecf_adapted_library.e => et_ecf_adapted_dotnet_assembly.e} (59%)
create mode 100644 library/tools/ecf/ast/et_ecf_setting_names.e
create mode 100644 library/tools/ecf/ast/et_ecf_settings.e
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-06-07 08:10:42
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 191df50be047edcf31ef27ecebb4d2af5f98fb62 (commit)
from a4ae7b382cc8dc56de7ea9ef653a5f3af3777258 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 191df50be047edcf31ef27ecebb4d2af5f98fb62
Author: Eric Bezault <er...@go...>
Date: Tue Jun 7 10:09:40 2011 +0200
Fixed compilation errors.
-----------------------------------------------------------------------
Summary of changes:
.../tools/eiffel/ast/group/et_internal_universe.e | 8 ++++----
1 files changed, 4 insertions(+), 4 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-06-07 07:49:02
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via a4ae7b382cc8dc56de7ea9ef653a5f3af3777258 (commit)
from 2610c8fcacdbc89ec921dfddd263beb7f00da28a (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit a4ae7b382cc8dc56de7ea9ef653a5f3af3777258
Author: Eric Bezault <er...@go...>
Date: Tue Jun 7 00:46:45 2011 -0700
Added routines which traverse the universes recursively.
-----------------------------------------------------------------------
Summary of changes:
.../tools/eiffel/ast/group/et_internal_universe.e | 92 ++++++++++++++++++++
1 files changed, 92 insertions(+), 0 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-06-05 20:54:35
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 2610c8fcacdbc89ec921dfddd263beb7f00da28a (commit)
via 73cc9ff86520b64d2f72f40ad319f11d38118ad9 (commit)
from 93bf414fa6c2420b80f964a96f4a2b7652871afa (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 2610c8fcacdbc89ec921dfddd263beb7f00da28a
Author: Eric Bezault <er...@go...>
Date: Sun Jun 5 22:53:37 2011 +0200
The scope of object-test locals can cover the following assertions in the same postcondition or invariant clause because it's as if they were separated by "and then" operators. It was already implemented that way in preconditions.
commit 73cc9ff86520b64d2f72f40ad319f11d38118ad9
Author: Eric Bezault <er...@go...>
Date: Sun Jun 5 22:00:08 2011 +0200
Improved the way the type of a manifest array is determined in the case where the types of all items conform to one of them. In that case the manifest array will be an array of that type.
-----------------------------------------------------------------------
Summary of changes:
History.txt | 7 +++
.../tools/eiffel/compilation/et_feature_checker.e | 52 ++++++++++++++++----
.../eiffel/processor/et_expression_type_finder.e | 38 +++++++++++----
3 files changed, 77 insertions(+), 20 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-06-05 09:18:15
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via 93bf414fa6c2420b80f964a96f4a2b7652871afa (commit)
from fa23495541340a09f8029e89caad4b5c435f3386 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 93bf414fa6c2420b80f964a96f4a2b7652871afa
Author: Eric Bezault <er...@go...>
Date: Sun Jun 5 02:16:34 2011 -0700
Interoperability with ISE.
-----------------------------------------------------------------------
Summary of changes:
library/free_elks/kernel/array.e | 13 +++++++++++++
library/free_elks/kernel/type.e | 10 ++++++++++
2 files changed, 23 insertions(+), 0 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-06-05 09:05:37
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via fa23495541340a09f8029e89caad4b5c435f3386 (commit)
via 26983a87f0d02ebd5ed2852ee22a9df2a44c322d (commit)
via 649e7e7430b11b71e1f1d603e16aa0787dde551d (commit)
via 0e1b84f58d5f15f6239738cef08cf7914d1ffc4b (commit)
via f67c8bd6bd494e0fa8dba82e8bc6e1bc8637aef4 (commit)
via 6ff2ea55a08dc60bee6b45415e6291c2e978b9ef (commit)
via bdcb057eea1e9930f9e14e57ec07c8351d332506 (commit)
via fca3e75e88cef4f30181c3c6c1279c086b351a61 (commit)
via 5efbbaa35d5295c1c3020dd8ec6b02aff63d9eff (commit)
via b9be7faad4ff1c0dcc109f0ef8be91f655f2aa76 (commit)
via 119069898febeabad1214168d15c25c415276f0b (commit)
from b312ff810a2c8011c6a45cb9b68e3bc33275a956 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit fa23495541340a09f8029e89caad4b5c435f3386
Author: Eric Bezault <er...@go...>
Date: Sat Jun 4 22:31:34 2011 +0200
Report a VIPR-3 error for inline agent of the once and external forms.
This is not in ECMA 367-2, but a restriction in ISE.
commit 26983a87f0d02ebd5ed2852ee22a9df2a44c322d
Author: Eric Bezault <er...@go...>
Date: Sat Jun 4 13:14:23 2011 +0200
Fixed bug in feature `read_to_string' of file classes where the hash code was not reset properly.
commit 649e7e7430b11b71e1f1d603e16aa0787dde551d
Author: Eric Bezault <er...@go...>
Date: Sat Jun 4 11:15:22 2011 +0200
Added support for once keys in once routines.
commit 0e1b84f58d5f15f6239738cef08cf7914d1ffc4b
Author: Eric Bezault <er...@go...>
Date: Fri Jun 3 16:28:52 2011 +0200
Fixed the reset routines with the new attribute initialization body construct.
commit f67c8bd6bd494e0fa8dba82e8bc6e1bc8637aef4
Author: Eric Bezault <er...@go...>
Date: Fri Jun 3 16:27:46 2011 +0200
Fixed the reset routines with the new check-instruction construct.
commit 6ff2ea55a08dc60bee6b45415e6291c2e978b9ef
Author: Eric Bezault <er...@go...>
Date: Thu Jun 2 20:32:20 2011 +0200
Added support for check instructions with a then-branch.
commit bdcb057eea1e9930f9e14e57ec07c8351d332506
Author: Eric Bezault <er...@go...>
Date: Thu Jun 2 01:17:40 2011 +0200
Fixed bug when an inspect instruction had no else-branch. No exception was raised.
commit fca3e75e88cef4f30181c3c6c1279c086b351a61
Author: Eric Bezault <er...@go...>
Date: Tue May 31 20:54:57 2011 +0200
Fixed pretty-printer when processing indexing clauses in features.
An extra empty line was inserted.
commit 5efbbaa35d5295c1c3020dd8ec6b02aff63d9eff
Author: Eric Bezault <er...@go...>
Date: Tue May 31 17:58:30 2011 +0200
Added support for renaming clause in libraries when parsing ECF files.
commit b9be7faad4ff1c0dcc109f0ef8be91f655f2aa76
Author: Eric Bezault <er...@go...>
Date: Tue May 31 09:05:21 2011 +0200
Fixed bug introduced when fixing an internal error in gelint when the type of the target of a creation instruction was not valid.
commit 119069898febeabad1214168d15c25c415276f0b
Author: Eric Bezault <er...@go...>
Date: Tue May 31 09:01:43 2011 +0200
Added support for attribute initialization body.
-----------------------------------------------------------------------
Summary of changes:
History.txt | 12 +
library/kernel/io/kl_stdin_file.e | 3 +
library/tools/ecf/error/et_ecf_error.e | 140 +++++++++-
library/tools/ecf/error/et_ecf_error_handler.e | 61 ++++
library/tools/ecf/parser/et_ecf_element_names.e | 11 +-
library/tools/ecf/parser/et_ecf_parser_skeleton.e | 31 ++-
.../ast/agent/et_once_function_inline_agent.e | 9 +-
.../ast/agent/et_once_procedure_inline_agent.e | 7 +-
.../ast/agent/et_once_routine_inline_agent.e | 24 ++
.../eiffel/ast/feature/et_extended_attribute.e | 34 ++-
.../ast/feature/et_extended_attribute_closure.e | 41 ++-
.../tools/eiffel/ast/feature/et_once_function.e | 15 +-
.../tools/eiffel/ast/feature/et_once_procedure.e | 11 +-
library/tools/eiffel/ast/feature/et_once_routine.e | 34 ++
.../eiffel/ast/feature/et_once_routine_closure.e | 34 ++
.../eiffel/ast/instruction/et_check_instruction.e | 29 ++-
.../eiffel/ast/misc/et_shared_standard_once_keys.e | 25 ++
.../tools/eiffel/ast/misc/et_standard_once_keys.e | 111 +++++++
.../tools/eiffel/compilation/et_feature_checker.e | 186 +++++++++++-
.../eiffel/compilation/et_precursor_checker.e | 7 +-
.../tools/eiffel/dynamic/et_dynamic_type_builder.e | 2 +-
library/tools/eiffel/error/et_error_handler.e | 106 +++++++-
library/tools/eiffel/error/et_validity_error.e | 171 +++++++++++
library/tools/eiffel/generation/et_c_generator.e | 103 ++++++-
library/tools/eiffel/parser/et_ast_factory.e | 57 +++-
.../tools/eiffel/parser/et_decorated_ast_factory.e | 65 +++--
library/tools/eiffel/parser/et_eiffel_parser.y | 176 ++++++------
.../eiffel/parser/et_eiffel_parser_skeleton.e | 8 +-
library/tools/eiffel/processor/et_ast_iterator.e | 82 +++++-
.../tools/eiffel/processor/et_ast_pretty_printer.e | 315 ++++++++++++--------
.../eiffel/processor/et_feature_call_handler.e | 45 +++-
.../eiffel/processor/et_system_class_marker.e | 30 ++-
library/tools/eiffel/processor/et_system_marker.e | 30 ++-
33 files changed, 1683 insertions(+), 332 deletions(-)
create mode 100644 library/tools/eiffel/ast/agent/et_once_routine_inline_agent.e
create mode 100644 library/tools/eiffel/ast/feature/et_once_routine.e
create mode 100644 library/tools/eiffel/ast/feature/et_once_routine_closure.e
create mode 100644 library/tools/eiffel/ast/misc/et_shared_standard_once_keys.e
create mode 100644 library/tools/eiffel/ast/misc/et_standard_once_keys.e
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-05-28 08:08:06
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via b312ff810a2c8011c6a45cb9b68e3bc33275a956 (commit)
from e8985d54f25c34e611be6a2946b7f6cd46e1cf99 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit b312ff810a2c8011c6a45cb9b68e3bc33275a956
Author: Eric Bezault <er...@go...>
Date: Fri May 27 10:00:32 2011 -0700
Fixed internal error in gelint when the type of the target of a creation instruction is not valid.
-----------------------------------------------------------------------
Summary of changes:
.../tools/eiffel/compilation/et_feature_checker.e | 34 +++++++++++++++++---
1 files changed, 29 insertions(+), 5 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
|
From: Eric B. <er...@us...> - 2011-04-28 12:22:13
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".
The branch, master has been updated
via e8985d54f25c34e611be6a2946b7f6cd46e1cf99 (commit)
from 742f7d99f9cb2717e38a34e5f27b57650626c6cd (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit e8985d54f25c34e611be6a2946b7f6cd46e1cf99
Author: Eric Bezault <er...@go...>
Date: Thu Apr 28 14:20:47 2011 +0200
Fixed bug when processing extended attributes.
-----------------------------------------------------------------------
Summary of changes:
.../eiffel/ast/feature/et_extended_attribute.e | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
hooks/post-receive
--
gobo-eiffel
|
