java: isac.util.tactics .. end renamed, formatted, inst_var_, import cleaned
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;
18 * get descriptions into all items of a model; these give hints for input to
21 public static final int UI_SPECIFY_GET_DESCRIPTIONS = 2;
24 * During the specifying phase, try to match a problem type to the data
25 * entered so far WN //// ?items of the model entered so far
27 public static final int UI_SPECIFY_TRY_MATCH = 2;
30 * During the specifying phase, try to refine the problem type. WN ////
32 public static final int UI_SPECIFY_TRY_REFINE = 3;
35 * During the specifying phase, change the view on the CalcHead.
37 public static final int UI_SPECIFY_CHANGE_VIEW = 4;
40 * During the specifying phase, have the CalcHead completed by the math
43 public static final int UI_SPECIFY_COMPLETE_CALCHEAD = 5;
46 * During the specifying phase, have the Method field of the CalcHead
47 * completed by the math engine.
49 public static final int UI_SPECIFY_COMPLETE_METHOD = 6;
52 * During the specifying phase, have the Theory field of the CalcHead
53 * completed by the math engine.
55 public static final int UI_SPECIFY_COMPLETE_THEORY = 7;
58 * During the specifying phase, have the Problem field of the CalcHead
59 * completed by the math engine.
61 public static final int UI_SPECIFY_COMPLETE_PROBLEM = 8;
64 * During the specifying phase, have the Given field of the CalcHead
65 * completed by the math engine.
67 public static final int UI_SPECIFY_COMPLETE_GIVEN = 9;
70 * During the specifying phase, have the Find field of the CalcHead
71 * completed by the math engine.
73 public static final int UI_SPECIFY_COMPLETE_FIND = 10;
76 * During the specifying phase, have the Relate field of the CalcHead
77 * completed by the math engine.
79 public static final int UI_SPECIFY_COMPLETE_RELATE = 11;
82 * During the specifying phase, have the CalcHead checked for completeness
85 public static final int UI_SPECIFY_CHECK_CALCHEAD = 12;
88 * Leave the specifying phase, enter the solving phase and calculate the
89 * first step of the method.
91 public static final int UI_SPECIFY_TO_SOLVE = 13;
94 * Leave the specifying phase, enter the solving phase and calculate until a
95 * final result is reached.
97 public static final int UI_SPECIFY_CALCULATE_ALL = 14;
99 public static final int UI_DUMMY_LAST_SPECIFY = 14;
101 /** ***************** NOTIFICATIONS: SOLVING PHASE ********************** */
103 public static final int UI_DUMMY_FIRST_SOLVE = 21;
106 * During the solving phase, calculate one more step.
108 public static final int UI_SOLVE_CALCULATE_1 = 21;
111 * During the solving phase, calculate until a final result is reached.
113 public static final int UI_SOLVE_CALCULATE_ALL = 22;
116 * During the solving phase, calculate until the current subproblem is
119 public static final int UI_SOLVE_CALCULATE_SUBPROBLEM = 23;
122 * During the solving phase, request editing the currently active formula.
124 * WN0412 If request is conceded, do
126 * @see UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE
128 public static final int UI_SOLVE_EDIT_ACTIVE_FORMULA = 24;
131 * During the solving phase, notify that editing the currently active
132 * formula is finished. This implies a request for updating the CalcTree.
134 public static final int UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE = 25;
137 * During the solving phase, request inserting a new formula _after_ the
138 * currently active formula, making the new formula the currently active
139 * formula. At present, this does not imply editing the formula and must be
140 * requested in a separate step. WN0412: ...??? is this right interpreted by
141 * ... WN0412 If request is conceded, do
143 * @see UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE
145 public static final int UI_SOLVE_APPEND_USER_FORMULA = 26;
148 * During the solving phase, request making the referened formula the
149 * currently active formula.
151 public static final int UI_SOLVE_MOVE_ACTIVE_FORMULA = 27;
154 * During the solving phase, ask for the tactic the math engine would apply
155 * to the current formula.
157 public static final int UI_SOLVE_GET_PROPOSED_TACTIC = 30;
160 * During the solving phase, ask for a list of tactics to the current
163 public static final int UI_SOLVE_GET_APPLICABLE_TACTICS = 31;
166 * During the solving phase, set the tactic to be applied to the current
169 public static final int UI_SOLVE_SET_NEXT_TACTIC = 32;
172 * When entering a formula during the solving phase, request help on
173 * entering the formula.
175 public static final int UI_SOLVE_HELP_ENTERING_FORMULA = 33;
178 * During the solving phase, show which assumptions hold at the current
179 * point of calculation.
181 public static final int UI_SOLVE_SHOW_ASSUMPTIONS = 40;
184 * During the solving phase, request more detail about the currently
185 * referenced element.
187 public static final int UI_SOLVE_SHOW_DETAILS = 41;
189 public static final int UI_DUMMY_LAST_SOLVE = 41;
191 /** ***************** NOTIFICATIONS: unaware of PHASE **************** */
193 public static final int UI_CALCULATE_1 = 101;
195 public static final int UI_CALCULATE_ALL = 102;
197 /** ***************** ACTIVE REQUESTS TO THE UI ********************** */
200 * Request editing the currently active formula. DG distinguishes between
201 * SPECIFY and SOLVE; thus could drop UI_SOLVE_EDIT_ACTIVE_FORMULA : int
203 public static final int UI_DO_EDIT_FORMULA = 129;
206 * Request appending a new, empty formula.
208 public static final int UI_DO_APPEND_FORMULA = 130;
211 * Activate an UI element.
213 public static final int UI_DO_ACTIVATE = 131;
216 * Deactivate an UI element.
218 public static final int UI_DO_DEACTIVATE = 132;
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 = 133; //WN ??? Design ???