org.gecode.explorer.swing.TreeCanvas Class Reference
List of all members.Detailed Description
Definition at line 36 of file TreeCanvas.java.
Public Member Functions | |
| TreeCanvas (ExplorerController ctrl) | |
| void | updateTree (UINode rootNode, UINode currentNode) |
| void | scaleToFit () |
| void | centerCursor () |
| void | paintComponent (Graphics g) |
| void | update (Graphics g) |
| void | setCurrentNode (UINode newNode) |
| void | mousePressed (MouseEvent e) |
| void | mouseDragged (MouseEvent e) |
| void | mouseReleased (MouseEvent e) |
| void | mouseMoved (MouseEvent e) |
| void | mouseClicked (MouseEvent e) |
| void | mouseExited (MouseEvent e) |
| void | mouseEntered (MouseEvent e) |
| void | stateChanged (ChangeEvent e) |
| Dimension | getPreferredSize () |
| Dimension | getPreferredScrollableViewportSize () |
| int | getScrollableUnitIncrement (Rectangle r, int i, int j) |
| int | getScrollableBlockIncrement (Rectangle r, int i, int j) |
| boolean | getScrollableTracksViewportWidth () |
| boolean | getScrollableTracksViewportHeight () |
Package Functions | |
| JFrame | getFrame () |
Package Attributes | |
| boolean | firstTime = true |
| UINode | root |
| UINode | current |
| double | scale = 0.3 |
| double | xtrans |
| double | ytrans = 30.0 |
| int | width |
| int | depth |
| ExplorerController | _ctrl |
| JFrame | frame |
| JScrollPane | scrollPane |
| JPopupMenu | pop |
| JSlider | scaleSlider |
| MenuBar | menuBar |
| JLabel | jl_status |
| JLabel | jl_statistics |
| JPanel | jp_status |
| StatusPanel | sp_statistics |
Static Package Attributes | |
| static final BasicStroke | stroke = new BasicStroke(2.0f) |
| static byte[] | gecodeLogo |
Classes | |
| class | StatusPanel |
Constructor & Destructor Documentation
| org.gecode.explorer.swing.TreeCanvas.TreeCanvas | ( | ExplorerController | ctrl | ) |
Definition at line 62 of file TreeCanvas.java.
Member Function Documentation
| JFrame org.gecode.explorer.swing.TreeCanvas.getFrame | ( | ) | [package] |
Definition at line 125 of file TreeCanvas.java.
Definition at line 129 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.scaleToFit | ( | ) |
Definition at line 152 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.centerCursor | ( | ) |
Definition at line 166 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.paintComponent | ( | Graphics | g | ) |
Definition at line 189 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.update | ( | Graphics | g | ) |
Definition at line 195 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.setCurrentNode | ( | UINode | newNode | ) |
Definition at line 217 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.mousePressed | ( | MouseEvent | e | ) |
Definition at line 243 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.mouseDragged | ( | MouseEvent | e | ) |
Definition at line 244 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.mouseReleased | ( | MouseEvent | e | ) |
Definition at line 245 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.mouseMoved | ( | MouseEvent | e | ) |
Definition at line 246 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.mouseClicked | ( | MouseEvent | e | ) |
Definition at line 247 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.mouseExited | ( | MouseEvent | e | ) |
Definition at line 265 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.mouseEntered | ( | MouseEvent | e | ) |
Definition at line 266 of file TreeCanvas.java.
| void org.gecode.explorer.swing.TreeCanvas.stateChanged | ( | ChangeEvent | e | ) |
Definition at line 269 of file TreeCanvas.java.
| Dimension org.gecode.explorer.swing.TreeCanvas.getPreferredSize | ( | ) |
Definition at line 283 of file TreeCanvas.java.
| Dimension org.gecode.explorer.swing.TreeCanvas.getPreferredScrollableViewportSize | ( | ) |
Definition at line 291 of file TreeCanvas.java.
| int org.gecode.explorer.swing.TreeCanvas.getScrollableUnitIncrement | ( | Rectangle | r, | |
| int | i, | |||
| int | j | |||
| ) |
Definition at line 294 of file TreeCanvas.java.
| int org.gecode.explorer.swing.TreeCanvas.getScrollableBlockIncrement | ( | Rectangle | r, | |
| int | i, | |||
| int | j | |||
| ) |
Definition at line 297 of file TreeCanvas.java.
| boolean org.gecode.explorer.swing.TreeCanvas.getScrollableTracksViewportWidth | ( | ) |
Definition at line 300 of file TreeCanvas.java.
| boolean org.gecode.explorer.swing.TreeCanvas.getScrollableTracksViewportHeight | ( | ) |
Definition at line 303 of file TreeCanvas.java.
Member Data Documentation
boolean org.gecode.explorer.swing.TreeCanvas.firstTime = true [package] |
Definition at line 40 of file TreeCanvas.java.
Definition at line 42 of file TreeCanvas.java.
Definition at line 43 of file TreeCanvas.java.
double org.gecode.explorer.swing.TreeCanvas.scale = 0.3 [package] |
Definition at line 45 of file TreeCanvas.java.
double org.gecode.explorer.swing.TreeCanvas.xtrans [package] |
Definition at line 46 of file TreeCanvas.java.
double org.gecode.explorer.swing.TreeCanvas.ytrans = 30.0 [package] |
Definition at line 47 of file TreeCanvas.java.
int org.gecode.explorer.swing.TreeCanvas.width [package] |
Definition at line 48 of file TreeCanvas.java.
int org.gecode.explorer.swing.TreeCanvas.depth [package] |
Definition at line 48 of file TreeCanvas.java.
Definition at line 50 of file TreeCanvas.java.
JFrame org.gecode.explorer.swing.TreeCanvas.frame [package] |
Definition at line 53 of file TreeCanvas.java.
JScrollPane org.gecode.explorer.swing.TreeCanvas.scrollPane [package] |
Definition at line 54 of file TreeCanvas.java.
JPopupMenu org.gecode.explorer.swing.TreeCanvas.pop [package] |
Definition at line 55 of file TreeCanvas.java.
JSlider org.gecode.explorer.swing.TreeCanvas.scaleSlider [package] |
Definition at line 56 of file TreeCanvas.java.
Definition at line 57 of file TreeCanvas.java.
JLabel org.gecode.explorer.swing.TreeCanvas.jl_status [package] |
Definition at line 58 of file TreeCanvas.java.
JLabel org.gecode.explorer.swing.TreeCanvas.jl_statistics [package] |
Definition at line 58 of file TreeCanvas.java.
JPanel org.gecode.explorer.swing.TreeCanvas.jp_status [package] |
Definition at line 59 of file TreeCanvas.java.
Definition at line 60 of file TreeCanvas.java.
final BasicStroke org.gecode.explorer.swing.TreeCanvas.stroke = new BasicStroke(2.0f) [static, package] |
Definition at line 194 of file TreeCanvas.java.
byte [] org.gecode.explorer.swing.TreeCanvas.gecodeLogo [static, package] |
Definition at line 363 of file TreeCanvas.java.
The documentation for this class was generated from the following file:
- org/gecode/explorer/swing/TreeCanvas.java (Revision: 3721)