From: Eric B. <er...@us...> - 2011-09-28 12:03: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, master has been updated via e60b57390017a52d50127d3d105e038b03271932 (commit) from 5df95b932a1efa2b6fd20fb83cc35b5f6a1c8667 (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 e60b57390017a52d50127d3d105e038b03271932 Author: Eric Bezault <er...@go...> Date: Tue Sep 20 18:25:24 2011 +0200 Fixed bug with void-safety validity rules when a feature or an inline agent has a rescue clause. ----------------------------------------------------------------------- Summary of changes: .../tools/eiffel/compilation/et_feature_checker.e | 333 ++++++++++++++++++-- test/gelint/validity/vuta2/build.eant | 4 + test/gelint/validity/vuta2/test6/aa.e | 36 +++ .../validity/vuta2/{test1 => test6}/build.eant | 6 +- .../{vevi/test13 => vuta2/test6}/failed.gec | 0 .../{vevi/test13 => vuta2/test6}/failed.gelint | 0 test/gelint/validity/vuta2/test6/passed.gec | 2 + test/gelint/validity/vuta2/test6/passed.gelint | 2 + .../validity/vuta2/{test1 => test6}/passed.ise | 8 +- .../validity/vuta2/{test3 => test6}/system.ecf | 0 .../{test_vuta2_test3.e => test_vuta2_test6.e} | 6 +- 11 files changed, 360 insertions(+), 37 deletions(-) create mode 100644 test/gelint/validity/vuta2/test6/aa.e copy test/gelint/validity/vuta2/{test1 => test6}/build.eant (81%) copy test/gelint/validity/{vevi/test13 => vuta2/test6}/failed.gec (100%) copy test/gelint/validity/{vevi/test13 => vuta2/test6}/failed.gelint (100%) create mode 100644 test/gelint/validity/vuta2/test6/passed.gec create mode 100644 test/gelint/validity/vuta2/test6/passed.gelint copy test/gelint/validity/vuta2/{test1 => test6}/passed.ise (74%) copy test/gelint/validity/vuta2/{test3 => test6}/system.ecf (100%) copy test/gelint/validity/vuta2/{test_vuta2_test3.e => test_vuta2_test6.e} (90%) hooks/post-receive -- gobo-eiffel |