[gobo-eiffel-commits] SF.net Git: gobo-eiffel branch, master, updated. 74cf0d6b10d4388fe48e029e8c28c01d777a1fe5

[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  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