| java.lang.Object de.uka.ilkd.key.ocl.gf.TreeAnalysisResult
TreeAnalysisResult | class TreeAnalysisResult (Code) | | A class to store the result of the tree analysis done in formTree
author: daniels |
Constructor Summary | |
public | TreeAnalysisResult(String command, int undoSteps, boolean reduceCoerce, boolean probeSelfResult, boolean deleteAlsoAbove, boolean easyAttributes, GfAstNode currentNode, LinPosition focusPosition) Just sets both values. |
command | String command(Code) | | The command, that is to be executed next automatically
|
deleteAlsoAbove | boolean deleteAlsoAbove(Code) | | If we at the the Instance Argument of a hidden
coerce, we mark that (to change the d command)
|
easyAttributes | boolean easyAttributes(Code) | | if the attributes of self should be added to the refinement menu.
|
focusPosition | LinPosition focusPosition(Code) | | Where the cursor in GF is.
Correct is not yet known and thus always true.
|
probeSelfResult | boolean probeSelfResult(Code) | | If the editor should ask GF if self an result are applicable here or not
|
reduceCoerce | boolean reduceCoerce(Code) | | reduceCoerce Whether the mechanism to produce a reduced
refinement menu for coerce's 4th argument should kick in or not.
|
undoSteps | int undoSteps(Code) | | the number of undo steps needed to undo command
|
TreeAnalysisResult | public TreeAnalysisResult(String command, int undoSteps, boolean reduceCoerce, boolean probeSelfResult, boolean deleteAlsoAbove, boolean easyAttributes, GfAstNode currentNode, LinPosition focusPosition)(Code) | | Just sets both values.
Parameters: command - The command, that is to be executed next automatically Parameters: undoSteps - the number of undo steps needed to undo command Parameters: reduceCoerce - Whether the mechanism to produce a reducedrefinement menu for coerce's 4th argument should kick in or not. Parameters: probeSelfResult - If the editor should ask GF if self an resultare applicable here or not Parameters: deleteAlsoAbove - If we at the the Instance Argument of a hiddencoerce, we mark that (to change the d command) Parameters: easyAttributes - if the attributes of self should be added to therefinement menu. Parameters: currentNode - The currently selected node Parameters: focusPosition - Where the cursor in GF is. Correct is not yet known and thus always true. |
|
|