org.gecode.explorer.swing.Inspector Class Reference
List of all members.Detailed Description
Definition at line 31 of file Inspector.java.
Public Member Functions | |
| void | windowOpened (WindowEvent e) |
| void | windowClosing (WindowEvent e) |
| void | windowClosed (WindowEvent e) |
| void | windowIconified (WindowEvent e) |
| void | windowDeiconified (WindowEvent e) |
| void | windowActivated (WindowEvent e) |
| void | windowDeactivated (WindowEvent e) |
| void | actionPerformed (ActionEvent e) |
Package Functions | |
| Inspector (String s) | |
| void | init () |
| void | addText (String s) |
| String | addFont (String t) |
Package Attributes | |
| JFrame | frame |
| JEditorPane | textArea |
| JButton | clearButton |
| JButton | plusSize |
| JButton | minusSize |
| String | text = "" |
| int | size = 14 |
Static Package Attributes | |
| static int | minSize = 3 |
| static int | maxSize = 26 |
Constructor & Destructor Documentation
| org.gecode.explorer.swing.Inspector.Inspector | ( | String | s | ) | [package] |
Definition at line 40 of file Inspector.java.
Member Function Documentation
| void org.gecode.explorer.swing.Inspector.init | ( | ) | [package] |
Definition at line 45 of file Inspector.java.
| void org.gecode.explorer.swing.Inspector.addText | ( | String | s | ) | [package] |
Definition at line 79 of file Inspector.java.
| String org.gecode.explorer.swing.Inspector.addFont | ( | String | t | ) | [package] |
Definition at line 90 of file Inspector.java.
| void org.gecode.explorer.swing.Inspector.windowOpened | ( | WindowEvent | e | ) |
Definition at line 97 of file Inspector.java.
| void org.gecode.explorer.swing.Inspector.windowClosing | ( | WindowEvent | e | ) |
Definition at line 98 of file Inspector.java.
| void org.gecode.explorer.swing.Inspector.windowClosed | ( | WindowEvent | e | ) |
Definition at line 102 of file Inspector.java.
| void org.gecode.explorer.swing.Inspector.windowIconified | ( | WindowEvent | e | ) |
Definition at line 103 of file Inspector.java.
| void org.gecode.explorer.swing.Inspector.windowDeiconified | ( | WindowEvent | e | ) |
Definition at line 104 of file Inspector.java.
| void org.gecode.explorer.swing.Inspector.windowActivated | ( | WindowEvent | e | ) |
Definition at line 105 of file Inspector.java.
| void org.gecode.explorer.swing.Inspector.windowDeactivated | ( | WindowEvent | e | ) |
Definition at line 106 of file Inspector.java.
| void org.gecode.explorer.swing.Inspector.actionPerformed | ( | ActionEvent | e | ) |
Definition at line 109 of file Inspector.java.
Member Data Documentation
JFrame org.gecode.explorer.swing.Inspector.frame [package] |
Definition at line 33 of file Inspector.java.
JEditorPane org.gecode.explorer.swing.Inspector.textArea [package] |
Definition at line 34 of file Inspector.java.
JButton org.gecode.explorer.swing.Inspector.clearButton [package] |
Definition at line 35 of file Inspector.java.
JButton org.gecode.explorer.swing.Inspector.plusSize [package] |
Definition at line 35 of file Inspector.java.
JButton org.gecode.explorer.swing.Inspector.minusSize [package] |
Definition at line 35 of file Inspector.java.
String org.gecode.explorer.swing.Inspector.text = "" [package] |
Definition at line 36 of file Inspector.java.
int org.gecode.explorer.swing.Inspector.size = 14 [package] |
Definition at line 37 of file Inspector.java.
int org.gecode.explorer.swing.Inspector.minSize = 3 [static, package] |
Definition at line 38 of file Inspector.java.
int org.gecode.explorer.swing.Inspector.maxSize = 26 [static, package] |
Definition at line 38 of file Inspector.java.
The documentation for this class was generated from the following file:
- org/gecode/explorer/swing/Inspector.java (Revision: 3016)