2 * Created on Dec 12, 2003
7 * @author Alan Krempler
9 * Constants describing interactions or request from the user
11 public interface IUIElement {
13 /******************* NOTIFICATIONS: SPECIFYING PHASE ***********************/
15 public static final int UI_DUMMY_FIRST_SPECIFY = 1;
17 * During the specifying phase,
18 * try to match a problem type to the data entered so far
19 * WN //// ?items of the model entered so far
21 public static final int UI_SPECIFY_TRY_MATCH = 1;
24 * During the specifying phase,
25 * try to refine the problem type.
28 public static final int UI_SPECIFY_TRY_REFINE = 2;
31 * During the specifying phase,
32 * change the view on the CalcHead.
34 public static final int UI_SPECIFY_CHANGE_VIEW = 3;
37 * During the specifying phase,
38 * have the CalcHead completed by the math engine.
40 public static final int UI_SPECIFY_COMPLETE_CALCHEAD = 4;
43 * During the specifying phase,
44 * have the Method field of the CalcHead completed by the math engine.
46 public static final int UI_SPECIFY_COMPLETE_METHOD = 5;
49 * During the specifying phase,
50 * have the Theory field of the CalcHead completed by the math engine.
52 public static final int UI_SPECIFY_COMPLETE_THEORY = 6;
55 * During the specifying phase,
56 * have the Problem field of the CalcHead completed by the math engine.
58 public static final int UI_SPECIFY_COMPLETE_PROBLEM = 7;
61 * During the specifying phase,
62 * have the Given field of the CalcHead completed by the math engine.
64 public static final int UI_SPECIFY_COMPLETE_GIVEN = 8;
67 * During the specifying phase,
68 * have the Find field of the CalcHead completed by the math engine.
70 public static final int UI_SPECIFY_COMPLETE_FIND = 9;
73 * During the specifying phase,
74 * have the Relate field of the CalcHead completed by the math engine.
76 public static final int UI_SPECIFY_COMPLETE_RELATE = 10;
79 * During the specifying phase,
80 * have the CalcHead checked for completeness and consistency.
82 public static final int UI_SPECIFY_CHECK_CALCHEAD = 11;
85 * Leave the specifying phase, enter the solving phase
86 * and calculate the first step of the mathod.
88 public static final int UI_SPECIFY_CALCULATE_1 = 12;
91 * Leave the specifying phase, enter the solving phase
92 * and calculate until a final result is reached.
94 public static final int UI_SPECIFY_CALCULATE_ALL = 13;
96 public static final int UI_DUMMY_LAST_SPECIFY = 13;
98 /******************* NOTIFICATIONS: SOLVING PHASE ***********************/
100 public static final int UI_DUMMY_FIRST_SOLVE = 21;
103 * During the solving phase,
104 * calculate one more step.
106 public static final int UI_SOLVE_CALCULATE_1 = 21;
109 * During the solving phase,
110 * calculate until a final result is reached.
112 public static final int UI_SOLVE_CALCULATE_ALL = 22;
115 * During the solving phase,
116 * calculate until the current subproblem is solved.
118 public static final int UI_SOLVE_CALCULATE_SUBPROBLEM = 23;
121 * During the solving phase,
122 * request editing the currently active formula.
124 public static final int UI_SOLVE_EDIT_ACTIVE_FORMULA = 24;
127 * During the solving phase,
128 * notify that editing the currently active formula is finished.
129 * This implies a request for updating the CalcTree.
131 public static final int UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE = 25;
134 * During the solving phase,
135 * request inserting a new formula after the currently active
136 * formula, making the new formula the currently active formula.
137 * At present, this does not imply editing the formula and must
138 * be requested in a separate step.
140 public static final int UI_SOLVE_APPEND_USER_FORMULA = 26;
143 * During the solving phase,
144 * request making the referened formula the currently active
147 public static final int UI_SOLVE_MOVE_ACTIVE_FORMULA = 27;
150 * During the solving phase,
151 * ask for the tactic the math engine would apply to the current formula.
153 public static final int UI_SOLVE_GET_PROPOSED_TACTIC = 30;
156 * During the solving phase,
157 * ask for a list of tactics to the current formula.
159 public static final int UI_SOLVE_GET_APPLICABLE_TACTICS = 31;
162 * During the solving phase,
163 * set the tactic to be applied to the current formula.
165 public static final int UI_SOLVE_SET_NEXT_TACTIC = 32;
168 * When entering a formula during the solving phase,
169 * request help on entering the formula.
171 public static final int UI_SOLVE_HELP_ENTERING_FORMULA = 33;
174 * During the solving phase,
175 * show which assumptions hold at the current point of calculation.
177 public static final int UI_SOLVE_SHOW_ASSUMPTIONS = 40;
180 * During the solving phase,
181 * request more detail about the currently referenced element.
183 public static final int UI_SOLVE_SHOW_DETAILS = 41;
185 public static final int UI_DUMMY_LAST_SOLVE = 41;
187 /******************* ACTIVE REQUESTS TO THE UI ***********************/
190 * Request editing the currently active formula.
192 public static final int UI_DO_EDIT_FORMULA = 129;
195 * Request appending a new, empty formula.
197 public static final int UI_DO_APPEND_FORMULA = 130;
200 * Activate an UI element.
202 public static final int UI_DO_ACTIVATE = 131;
205 * Deactivate an UI element.
207 public static final int UI_DO_DEACTIVATE = 132;
210 * The Dialog Guide has detached the listener and will
211 * not send any more control requests.
212 * If registered as a Data Change Listener, update notifications
215 public static final int UI_DO_DETACH = 133; //WN ??? Design ???