PageRenderTime 4ms CodeModel.GetById 2ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/tutorial/ace/example_debug.e

http://github.com/tybor/Liberty
Specman e | 51 lines | 41 code | 3 blank | 7 comment | 0 complexity | 56e234253a056e26167165f7fd315a5f MD5 | raw file
 1class EXAMPLE_DEBUG
 2
 3create {ANY}
 4   make
 5
 6feature {}
 7   make
 8      local
 9         a: AUX_EXAMPLE_DEBUG_A; b: AUX_EXAMPLE_DEBUG_B; c: AUX_EXAMPLE_DEBUG_C
10      do
11         debug ("trace 1")
12            -- Not executed (Default key overridden by per-class option)
13            io.put_string(generating_type)
14            io.put_string(": Debug 1%N")
15         end
16         debug ("trace 2")
17            -- Not executed (Default key overridden by per-class option)
18            io.put_string(generating_type)
19            io.put_string(": Debug 2%N")
20         end
21         debug ("trace 3")
22            -- Executed (Per-class option)
23            io.put_string(generating_type)
24            io.put_string(": Debug 3%N")
25         end
26         debug ("trace 4")
27            -- Executed (Per-class option)
28            io.put_string(generating_type)
29            io.put_string(": Debug 4%N")
30         end
31         debug ("trace 5")
32            -- Not executed (Key not set for this cluster)
33            io.put_string(generating_type)
34            io.put_string(": Debug 5%N")
35         end
36         debug ("trace 6")
37            -- Not executed (Key not set for this cluster)
38            io.put_string(generating_type)
39            io.put_string(": Debug 6%N")
40         end
41         debug ("trace 7")
42            -- Not executed (Key not set for this class)
43            io.put_string(generating_type)
44            io.put_string(": Debug 7%N")
45         end
46         create a.make
47         create b.make
48         create c.make
49      end
50
51end -- class EXAMPLE_DEBUG