public class BreakpointEditorEvent extends KahinaEvent
Modifier and Type | Field and Description |
---|---|
static int |
ACTIVATE_BREAKPOINT |
static int |
APPLY_QUIT |
static int |
BREAKPOINT_NAME_UPDATE |
static int |
CHANGE_NODE_SELECTION_MODE |
static int |
DEACTIVATE_BREAKPOINT |
static int |
EXPORT_BREAKPOINT |
static int |
EXPORT_BREAKPOINT_PROFILE |
static int |
IMPORT_BREAKPOINT |
static int |
IMPORT_BREAKPOINT_PROFILE |
static int |
NEW_BREAKPOINT |
static int |
REMOVE_BREAKPOINT |
static int |
SYNCHRONIZE_EDITOR_VIEWS |
static int |
TEST_BREAKPOINTS |
static int |
TREE_NODE_UPDATE |
static int |
TREE_PATTERN_CHANGE |
Constructor and Description |
---|
BreakpointEditorEvent(int editorEventType) |
BreakpointEditorEvent(int editorEventType,
java.io.File file) |
BreakpointEditorEvent(int editorEventType,
int goalID) |
BreakpointEditorEvent(int editorEventType,
SingleNodeConstraintPanel panel) |
Modifier and Type | Method and Description |
---|---|
int |
getEditorEventType() |
java.io.File |
getFile() |
int |
getGoalID() |
SingleNodeConstraintPanel |
getPanel() |
java.lang.String |
toString() |
getType
public static final int NEW_BREAKPOINT
public static final int EXPORT_BREAKPOINT
public static final int IMPORT_BREAKPOINT
public static final int ACTIVATE_BREAKPOINT
public static final int DEACTIVATE_BREAKPOINT
public static final int REMOVE_BREAKPOINT
public static final int CHANGE_NODE_SELECTION_MODE
public static final int TREE_NODE_UPDATE
public static final int TREE_PATTERN_CHANGE
public static final int TEST_BREAKPOINTS
public static final int SYNCHRONIZE_EDITOR_VIEWS
public static final int BREAKPOINT_NAME_UPDATE
public static final int APPLY_QUIT
public static final int EXPORT_BREAKPOINT_PROFILE
public static final int IMPORT_BREAKPOINT_PROFILE
public BreakpointEditorEvent(int editorEventType)
public BreakpointEditorEvent(int editorEventType, java.io.File file)
public BreakpointEditorEvent(int editorEventType, SingleNodeConstraintPanel panel)
public BreakpointEditorEvent(int editorEventType, int goalID)
public java.io.File getFile()
public int getEditorEventType()
public int getGoalID()
public java.lang.String toString()
toString
in class KahinaEvent
public SingleNodeConstraintPanel getPanel()