PageRenderTime 14ms CodeModel.GetById 12ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/src/tools/interpreter/liberty_interpreter_options.e

http://github.com/tybor/Liberty
Specman e | 47 lines | 38 code | 9 blank | 0 comment | 0 complexity | e05f738523ea355c19eefd840d80a629 MD5 | raw file
 1expanded class LIBERTY_INTERPRETER_OPTIONS
 2
 3feature {ANY}
 4   debug_enabled: BOOLEAN is
 5      do
 6         Result := debug_memory.item
 7      end
 8
 9   is_all_checked: BOOLEAN is
10      do
11         Result := level_memory.item.is_all_checked
12      end
13
14   is_invariant_checked: BOOLEAN is
15      do
16         Result := level_memory.item.is_invariant_checked
17      end
18
19   is_ensure_checked: BOOLEAN is
20      do
21         Result := level_memory.item.is_ensure_checked
22      end
23
24   is_require_checked: BOOLEAN is
25      do
26         Result := level_memory.item.is_require_checked
27      end
28
29feature {LIBERTYI}
30   set (check_level: LIBERTY_MAIN_CHECK_LEVEL; enable_debug: BOOLEAN) is
31      do
32         debug_memory.set_item(enable_debug)
33         level_memory.set_item(check_level)
34      end
35
36feature {}
37   debug_memory: REFERENCE[BOOLEAN] is
38      once
39         create Result
40      end
41
42   level_memory: REFERENCE[LIBERTY_MAIN_CHECK_LEVEL] is
43      once
44         create Result
45      end
46
47end -- class LIBERTY_INTERPRETER_OPTIONS