2 * Created on Dec 12, 2003
7 * @author Alan Krempler
9 * Constants describing interactions or request from the user
10 * TOOODO.AK? rename to IUInteractions ???
12 public interface IUIElement {
14 /** ***************** NOTIFICATIONS: SPECIFYING PHASE ********************** */
16 public static final int UI_DUMMY_FIRST_SPECIFY = 1;
19 * get descriptions into all items of a model; these give hints for input to
22 public static final int UI_SPECIFY_GET_DESCRIPTIONS = 2;
25 * During the specifying phase, try to match a problem type to the data
26 * entered so far WN //// ?items of the model entered so far
28 public static final int UI_SPECIFY_TRY_MATCH = 2;
31 * During the specifying phase, try to refine the problem type. WN ////
33 public static final int UI_SPECIFY_TRY_REFINE = 3;
36 * During the specifying phase, change the view on the CalcHead.
38 public static final int UI_SPECIFY_CHANGE_VIEW = 4;
41 * During the specifying phase, have the CalcHead completed by the math
44 public static final int UI_SPECIFY_COMPLETE_CALCHEAD = 5;
47 * During the specifying phase, have the Method field of the CalcHead
48 * completed by the math engine.
50 public static final int UI_SPECIFY_COMPLETE_METHOD = 6;
53 * During the specifying phase, have the Theory field of the CalcHead
54 * completed by the math engine.
56 public static final int UI_SPECIFY_COMPLETE_THEORY = 7;
59 * During the specifying phase, have the Problem field of the CalcHead
60 * completed by the math engine.
62 public static final int UI_SPECIFY_COMPLETE_PROBLEM = 8;
65 * During the specifying phase, have the Given field of the CalcHead
66 * completed by the math engine.
68 public static final int UI_SPECIFY_COMPLETE_GIVEN = 9;
71 * During the specifying phase, have the Find field of the CalcHead
72 * completed by the math engine.
74 public static final int UI_SPECIFY_COMPLETE_FIND = 10;
77 * During the specifying phase, have the Relate field of the CalcHead
78 * completed by the math engine.
80 public static final int UI_SPECIFY_COMPLETE_RELATE = 11;
83 * During the specifying phase, have the CalcHead checked for completeness
86 public static final int UI_SPECIFY_CHECK_CALCHEAD = 12;
89 * Leave the specifying phase, enter the solving phase and calculate the
90 * first step of the method.
92 public static final int UI_SPECIFY_TO_SOLVE = 13;
95 * Leave the specifying phase, enter the solving phase and calculate until a
96 * final result is reached.
98 public static final int UI_SPECIFY_CALCULATE_ALL = 14;
100 public static final int UI_SPECIFY_SHOW_CALCHEAD = 15;
102 public static final int UI_DUMMY_LAST_SPECIFY = 15;
104 /** ***************** NOTIFICATIONS: SOLVING PHASE ********************** */
106 public static final int UI_DUMMY_FIRST_SOLVE = 121;
109 * During the solving phase, calculate one more step.
111 public static final int UI_SOLVE_CALCULATE_1 = 121;
114 * During the solving phase, calculate until a final result is reached.
116 public static final int UI_SOLVE_CALCULATE_ALL = 122;
119 * During the solving phase, calculate until the current subproblem is
122 public static final int UI_SOLVE_CALCULATE_SUBPROBLEM = 123;
125 * During the solving phase, request editing the currently active formula.
127 * WN0412 If request is conceded, do
129 * @see UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE
131 public static final int UI_SOLVE_EDIT_ACTIVE_FORMULA = 124;
134 * During the solving phase, notify that editing the currently active
135 * formula is finished. This implies a request for updating the CalcTree.
137 public static final int UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE = 125;
140 * During the solving phase, request inserting a new formula _after_ the
141 * currently active formula, making the new formula the currently active
142 * formula. At present, this does not imply editing the formula and must be
143 * requested in a separate step. WN0412: ...??? is this right interpreted by
144 * ... WN0412 If request is conceded, do
146 * @see UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE
148 public static final int UI_SOLVE_APPEND_USER_FORMULA = 126;
151 * During the solving phase, request making the referened formula the
152 * currently active formula.
154 public static final int UI_SOLVE_MOVE_ACTIVE_FORMULA = 127;
157 * During the solving phase, ask for the tactic the math engine would apply
158 * to the current formula.
160 public static final int UI_SOLVE_GET_PROPOSED_TACTIC = 130;
163 * During the solving phase, ask for a list of tactics to the current
166 public static final int UI_SOLVE_GET_APPLICABLE_TACTICS = 131;
169 * During the solving phase, set the tactic to be applied to the current
172 public static final int UI_SOLVE_SET_NEXT_TACTIC = 132;
175 * When entering a formula during the solving phase, request help on
176 * entering the formula.
178 public static final int UI_SOLVE_HELP_ENTERING_FORMULA = 133;
181 * During the solving phase, show which assumptions hold at the current
182 * point of calculation.
184 public static final int UI_SOLVE_SHOW_ASSUMPTIONS = 140;
187 * During the solving phase, request more detail about the currently
188 * referenced element.
190 public static final int UI_SOLVE_SHOW_DETAILS = 141;
192 public static final int UI_DUMMY_LAST_SOLVE = 141;
195 /** ***************** ACTIVE REQUESTS TO THE UI ********************** */
198 * Request editing the currently active formula. DG distinguishes between
199 * SPECIFY and SOLVE; thus could drop UI_SOLVE_EDIT_ACTIVE_FORMULA : int
201 * LK050711 start editing implicit somewhere in tree, thus unused
203 public static final int UI_DO_EDIT_FORMULA = 229;
206 * Request appending a new, empty formula.
208 public static final int UI_DO_APPEND_FORMULA = 230;
211 * Activate an UI element.
213 public static final int UI_DO_ACTIVATE = 231;
216 * Deactivate an UI element.
218 public static final int UI_DO_DEACTIVATE = 232;
221 * The Dialog Guide has detached the listener and will not send any more
222 * control requests. If registered as a Data Change Listener, update
223 * notifications will still arrive!
225 public static final int UI_DO_DETACH = 233;