PageRenderTime 12ms CodeModel.GetById 5ms app.highlight 2ms RepoModel.GetById 2ms app.codeStats 0ms

/test/language/unclassified/jvm/test_jvm23.e

http://github.com/tybor/Liberty
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-- ------------------------------------------------------------------------------------------------------------------------------