PageRenderTime 3ms CodeModel.GetById 1ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 1ms

/test/language/unclassified/wmh/aux_wmh06.e

http://github.com/tybor/Liberty
Specman e | 25 lines | 19 code | 6 blank | 0 comment | 1 complexity | 454b9063b31525270d57cbb90ef2b321 MD5 | raw file
 1class AUX_WMH06
 2
 3inherit
 4   DISPOSABLE
 5
 6create {ANY}
 7   make
 8
 9feature {}
10   make
11      do
12      end
13
14feature {}
15   dispose
16      do
17         dispose_count := dispose_count + 1
18         if dispose_count > 1 then
19            io.put_string("Error in TEST_WMH06.%N")
20         end
21      end
22
23   dispose_count: INTEGER
24
25end -- class AUX_WMH06