/test/language/error_warning_msg/bad_vdrs4.e
Specman e | 56 lines | 18 code | 6 blank | 32 comment | 0 complexity | 0d828f5f0574ceeb2506619991e63ca4 MD5 | raw file
1-- This file is part of SmartEiffel The GNU Eiffel Compiler Tools and Libraries. 2-- See the Copyright notice at the end of this file. 3-- 4class BAD_VDRS4 5--SZ:179: Testing VDRS.4 rule 6 7inherit 8 AUX_VDRS4 9 redefine 10 b -- VDRS.4 11 end 12 13 -- 14 -- a,b are deferred in TS6 15 -- 16 -- ETL says inheriting a deferred routine is a (re)declaration 17 -- but not a (re)definition. Thus a deferred feature should not 18 -- appear in a redefine clause (VDRS.4 p 152/153 in french 19 -- version of ETL)(fix in BASE_CLASS.look_up_for). Same problem 20 -- when trying to undefine a deferred feature (VDUS.3, fix in 21 -- PARENT.apply_undefine) 22 -- 23 24create {} 25 make 26 27feature {ANY} 28 a do end 29 b do end 30 31feature {} 32 make 33 do 34 a 35 b 36 end 37 38end -- class BAD_VDRS4 39-- 40-- ------------------------------------------------------------------------------------------------------------------------------ 41-- Copyright notice below. Please read. 42-- 43-- SmartEiffel is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License, 44-- as published by the Free Software Foundation; either version 2, or (at your option) any later version. 45-- SmartEiffel is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY; without even the implied warranty 46-- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have 47-- received a copy of the GNU General Public License along with SmartEiffel; see the file COPYING. If not, write to the Free 48-- Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. 49-- 50-- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P. - University of Nancy 1 - FRANCE 51-- Copyright(C) 2003-2006: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE 52-- 53-- Authors: Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN 54-- 55-- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr 56-- ------------------------------------------------------------------------------------------------------------------------------