PageRenderTime 23ms CodeModel.GetById 16ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 1ms

/test/language/unclassified/jvm/test_jvm13.e

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