/[eiffelstudio]/trunk/Src/bench/Eiffel/interface/new_graphical/preference_tool/parameters/eb_debug_tool_data.e
ViewVC logotype

Contents of /trunk/Src/bench/Eiffel/interface/new_graphical/preference_tool/parameters/eb_debug_tool_data.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 43404 - (show annotations)
Tue Jun 1 20:05:13 2004 UTC (15 years, 8 months ago) by jfiat
File size: 2313 byte(s)
added preference to disable/enable "JIT debugging" in order to control the optimization due to JIT debugging

1 indexing
2 description: "All shared attributes specific to the debugger"
3 date: "$Date$"
4 revision: "$Revision$"
5
6 class
7 EB_DEBUG_TOOL_DATA
8
9 inherit
10 SHARED_RESOURCES
11 rename
12 initialize as initialize_resources
13 export
14 {NONE} all
15 end
16
17 feature -- Access
18
19 debug_tool_width: INTEGER is
20 do
21 Result := integer_resource_value ("debug_tool_width", 214)
22 end
23
24 debug_tool_height: INTEGER is
25 do
26 Result := integer_resource_value ("debug_tool_height", 214)
27 end
28
29 debug_tool_bar: BOOLEAN is
30 do
31 Result := boolean_resource_value ("debug_tool_bar", true)
32 end
33
34 last_saved_stack_path: STRING is
35 do
36 Result := string_resource_value ("last_saved_stack_path", "C:\")
37 end
38
39 interrupt_every_n_instructions: INTEGER is
40 do
41 Result := integer_resource_value ("interrupt_every_n_instructions", 1)
42 end
43
44 debug_output_evaluation_enabled: BOOLEAN is
45 do
46 Result := boolean_resource_value ("debug_output_evaluation", True)
47 end
48
49 generating_type_evaluation_enabled: BOOLEAN is
50 do
51 Result := boolean_resource_value ("generating_type_evaluation", True)
52 end
53
54 optimized_jit_debugging_enabled: BOOLEAN is
55 do
56 Result := boolean_resource_value ("enable_optimized_jit_debugging", True)
57 end
58
59 min_slice: INTEGER is
60 -- From which attribute number should special objects be displayed?
61 do
62 Result := integer_resource_value ("min_slice", 0)
63 end
64
65 max_slice: INTEGER is
66 -- Up to which attribute number should special objects be displayed?
67 do
68 Result := integer_resource_value ("max_slice", 50)
69 end
70
71 local_vs_object_proportion: REAL is
72 -- What ratio should we have between the locals tree
73 -- and the objects tree in the object tool?
74 local
75 str: STRING
76 do
77 str := string_resource_value ("proportion", "0.5")
78 if not str.is_real then
79 set_string_resource ("proportion", "0.5")
80 Result := 0.5
81 else
82 Result := str.to_real
83 end
84 end
85
86 feature -- Element change
87
88 set_last_saved_stack_path (new_path: STRING) is
89 -- Set `last_saved_stack_path' to `new_path'.
90 do
91 set_string_resource ("last_saved_stack_path", new_path)
92 end
93
94 set_max_stack_depth (new_depth: INTEGER) is
95 -- Set `max_stack_depth' to `new_depth'.
96 do
97 set_integer_resource ("debugger__default_maximum_stack_depth", new_depth)
98 end
99
100 end -- class EB_DEBUG_TOOL_DATA

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23