/src/tools/interpreter/liberty_interpreter_options.e

 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