|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectmauda.treeoperationview.TreeOperationView
public class TreeOperationView
Provides methods for displaying and manipulating a view of the operations as a tree.
| Field Summary | |
|---|---|
static int |
DISPLAY_MODE
Contains the actual display-mode |
static int |
GENERATION_DISPLAY_MODE
ID for displaying the operation-text with e.g. the word (template). |
static int |
NORMAL_DISPLAY_MODE
ID for displaying the operation-text without e.g. the word (template) that marks a operation as non-executed. |
| Constructor Summary | |
|---|---|
TreeOperationView(Exercise exercise)
Creates a Tree-Operation-View |
|
| Method Summary | |
|---|---|
void |
actionPerformed(java.awt.event.ActionEvent e)
|
UndoRedoUnit |
cutTree()
Removes all following (relativly to the actual tree-node) tree-nodes from the tree. |
void |
disableJumping()
Disables jumping by the user |
void |
enableJumping()
Enables jumping by the user |
void |
enableStop()
Enables the stop-button, so that the replay of an exercise can stopped. |
void |
exerciseUpdate(ExerciseUpdateEvent e)
Invoked when an Event occures |
int |
getActionIndex()
Returns the index of the node, that context-menu was lastly activated. |
NodePopup |
getNodePopup()
Gets the associated context-menu |
javax.swing.JPanel |
getPanel()
Gets the drawing-panel of the tree |
javax.swing.JTree |
getTree()
Gets the tree-component of the tree |
void |
load(java.util.Vector v)
Loads the values of the current tree with the values of the delivered vector-representation |
void |
makeActual(javax.swing.tree.DefaultMutableTreeNode node)
Makes a specific node as the actual-node |
void |
makeActualProcessing(javax.swing.tree.DefaultMutableTreeNode node)
Makes a specific node as the actual-node that was in process |
void |
markActAsCorrect()
Marks the actual node as correct |
void |
markActAsIncorrect()
Marks the actual node as incorrect |
void |
markAsCorrect(int index)
Marks a specific node as correct |
void |
markAsIncorrect(int index)
Marks a specific node as incorrect |
void |
markCorrectness(boolean limited,
boolean folderMark)
Marks the correctness in the tree. |
void |
markTodoPosition()
Marks init- and todo-operations in the tree. |
void |
mouseClicked(java.awt.event.MouseEvent e)
|
void |
mouseEntered(java.awt.event.MouseEvent e)
|
void |
mouseExited(java.awt.event.MouseEvent e)
|
void |
mousePressed(java.awt.event.MouseEvent e)
|
void |
mouseReleased(java.awt.event.MouseEvent e)
|
void |
noFinishedLoadingMessage()
Defines that the tree should immediatly recording operations, not until a FINISHED_LOADING-Message received. |
java.util.Vector |
save()
Converts the important values into a vector-representation for saving-purposes. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final int NORMAL_DISPLAY_MODE
public static final int GENERATION_DISPLAY_MODE
public static int DISPLAY_MODE
| Constructor Detail |
|---|
public TreeOperationView(Exercise exercise)
exercise - Exercise| Method Detail |
|---|
public javax.swing.JPanel getPanel()
public javax.swing.JTree getTree()
public void enableJumping()
public void disableJumping()
public void noFinishedLoadingMessage()
public void markTodoPosition()
public NodePopup getNodePopup()
public void exerciseUpdate(ExerciseUpdateEvent e)
ExerciseUpdateListener
exerciseUpdate in interface ExerciseUpdateListenere - The eventpublic UndoRedoUnit cutTree()
public void makeActual(javax.swing.tree.DefaultMutableTreeNode node)
node - TreeNodepublic void makeActualProcessing(javax.swing.tree.DefaultMutableTreeNode node)
node - TreeNode
public void markCorrectness(boolean limited,
boolean folderMark)
limited - true means: Marking only up to the current node, false means to mark all nodesfolderMark - true if the folders should marked (e.g. INSERT), false otherwisepublic void markActAsCorrect()
public void markActAsIncorrect()
public void markAsCorrect(int index)
index - Index (counted by 0)public void markAsIncorrect(int index)
index - Index (counted by 0)public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked in interface java.awt.event.MouseListenerpublic void mousePressed(java.awt.event.MouseEvent e)
mousePressed in interface java.awt.event.MouseListenerpublic void mouseReleased(java.awt.event.MouseEvent e)
mouseReleased in interface java.awt.event.MouseListenerpublic void mouseEntered(java.awt.event.MouseEvent e)
mouseEntered in interface java.awt.event.MouseListenerpublic void mouseExited(java.awt.event.MouseEvent e)
mouseExited in interface java.awt.event.MouseListenerpublic void enableStop()
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed in interface java.awt.event.ActionListenerpublic int getActionIndex()
public java.util.Vector save()
public void load(java.util.Vector v)
v - vector-representation
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||