[gobo-eiffel-commits] SF.net Git: gobo-eiffel branch, master, updated. 5df95b932a1efa2b6fd20fb83cc35b5f6a1c8667

[Eric B. <er...@us...>]

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  5df95b932a1efa2b6fd20fb83cc35b5f6a1c8667 (commit)
      from  dddcd70562d5a0311f58a495116269241938880d (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 5df95b932a1efa2b6fd20fb83cc35b5f6a1c8667
Author: Eric Bezault <er...@go...>
Date:   Thu Sep 15 09:30:47 2011 +0200

    Relaxed the validity rule to prevent cycles in qualified anchored types so that it can accept code appearing in ISE's libraries.
    Qualified anchored types are now accepted by default in gec and gelint.

-----------------------------------------------------------------------

Summary of changes:
 History.txt                                        |    4 ++
 .../eiffel/ast/type/et_actual_parameter_list.e     |   21 ++++++++
 library/tools/eiffel/ast/type/et_base_type.e       |   13 +++++
 library/tools/eiffel/ast/type/et_like_feature.e    |   54 +++++++++++++++++++-
 .../eiffel/ast/type/et_qualified_like_identifier.e |    8 +++
 library/tools/eiffel/ast/type/et_type.e            |   11 ++++
 .../et_qualified_anchored_type_checker.e           |   20 +++----
 library/tools/eiffel/compilation/et_type_checker.e |   30 ++++-------
 library/tools/eiffel/error/et_error_handler.e      |    4 +-
 library/tools/eiffel/error/et_validity_error.e     |    6 +-
 src/gec/gec.e                                      |    4 +-
 src/gelint/gelint.e                                |    1 +
 test/gelint/validity/build.eant                    |    5 ++
 test/gelint/validity/vtat2/build.eant              |   52 +++++++++++++++++++
 test/gelint/validity/vtat2/getest.cfg              |   15 ++++++
 test/gelint/validity/vtat2/system.xace             |   39 ++++++++++++++
 test/gelint/validity/vtat2/test1/aa.e              |   20 +++++++
 test/gelint/validity/vtat2/test1/bb.e              |   13 +++++
 test/gelint/validity/vtat2/test1/build.eant        |   26 +++++++++
 test/gelint/validity/vtat2/test1/passed.gec        |    2 +
 test/gelint/validity/vtat2/test1/passed.gelint     |    2 +
 test/gelint/validity/vtat2/test1/passed.ise        |   25 +++++++++
 test/gelint/validity/vtat2/test1/system.xace       |   31 +++++++++++
 test/gelint/validity/vtat2/test_vtat2_test1.e      |   45 ++++++++++++++++
 24 files changed, 413 insertions(+), 38 deletions(-)
 create mode 100644 test/gelint/validity/vtat2/build.eant
 create mode 100644 test/gelint/validity/vtat2/getest.cfg
 create mode 100644 test/gelint/validity/vtat2/system.xace
 create mode 100644 test/gelint/validity/vtat2/test1/aa.e
 create mode 100644 test/gelint/validity/vtat2/test1/bb.e
 create mode 100644 test/gelint/validity/vtat2/test1/build.eant
 create mode 100644 test/gelint/validity/vtat2/test1/passed.gec
 create mode 100644 test/gelint/validity/vtat2/test1/passed.gelint
 create mode 100644 test/gelint/validity/vtat2/test1/passed.ise
 create mode 100644 test/gelint/validity/vtat2/test1/system.xace
 create mode 100644 test/gelint/validity/vtat2/test_vtat2_test1.e


hooks/post-receive
-- 
gobo-eiffel