/test/language/unclassified/jvm/test_jvm23.e
Specman e | 71 lines | 45 code | 5 blank | 21 comment | 0 complexity | 00550b523152ba74084c919e074b39b1 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 TEST_JVM23 5 6inherit 7 ANY 8 9create {} 10 make 11 12feature {ANY} 13 make 14 do 15 foo(1, 2, 'c', Current) 16 end 17 18feature {} 19 foo (v1, v2: INTEGER; c1: CHARACTER; o1: ANY) 20 local 21 lv1, lv2: INTEGER; lc1: CHARACTER; lo1: ANY 22 do 23 check 24 lv1 = 0 25 lv2 = 0 26 lc1 = '%U' 27 lo1 = Void 28 end 29 lv1 := v1 30 lv2 := v2 31 lc1 := c1 32 lo1 := o1 33 check 34 v1 = lv1 35 v2 = lv2 36 c1 = lc1 37 o1 = lo1 38 end 39 check 40 lc1 = 'c' 41 o1 = Current 42 v1 = 1 43 v2 = 2 44 end 45 check 46 c1 = 'c' 47 o1 = Current 48 v1 = 1 49 v2 = 2 50 end 51 end 52 53end -- class TEST_JVM23 54-- 55-- ------------------------------------------------------------------------------------------------------------------------------ 56-- Copyright notice below. Please read. 57-- 58-- SmartEiffel is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License, 59-- as published by the Free Software Foundation; either version 2, or (at your option) any later version. 60-- SmartEiffel is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY; without even the implied warranty 61-- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have 62-- received a copy of the GNU General Public License along with SmartEiffel; see the file COPYING. If not, write to the Free 63-- Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. 64-- 65-- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P. - University of Nancy 1 - FRANCE 66-- Copyright(C) 2003-2006: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE 67-- 68-- Authors: Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN 69-- 70-- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr 71-- ------------------------------------------------------------------------------------------------------------------------------