public class Id
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static int |
click |
static int |
clickOnCanvas |
static int |
clickRecenterButton |
static int |
clickRecenterPane |
static int |
clickRecenterTextBox |
static int |
clickTriChooseButton |
static int |
clickTriTypeChoice |
static int |
documentReady |
static int |
mouseDownVertex |
static int |
mouseLeaveCanvas |
static int |
mouseMove |
static int |
mouseUpCanvas |
static int |
recenterTextChange |
static int |
recenterTextFail |
static int |
recenterTextSucc |
| Modifier and Type | Method and Description |
|---|---|
static int |
id(java.lang.String str)
Convert a string containing a GUI message to its integer id.
|
static void |
main(java.lang.String[] args)
This main provides a quick test of the id() and msg() methods of class Id.
|
static java.lang.String |
msg(int k)
Convert an integer Id into the string representation of the GUI message.
|
public static final int click
public static final int clickOnCanvas
public static final int clickRecenterButton
public static final int clickRecenterPane
public static final int clickRecenterTextBox
public static final int clickTriChooseButton
public static final int clickTriTypeChoice
public static final int documentReady
public static final int mouseDownVertex
public static final int mouseLeaveCanvas
public static final int mouseMove
public static final int mouseUpCanvas
public static final int recenterTextChange
public static final int recenterTextFail
public static final int recenterTextSucc
public static int id(java.lang.String str)
str - The GUI messagepublic static java.lang.String msg(int k)
k - The integer Id.public static void main(java.lang.String[] args)