org.gecode.explorer.swing.GraphicsNode Class Reference
Inherited by org.gecode.explorer.swing.ChoiceNode, org.gecode.explorer.swing.FailureNode, org.gecode.explorer.swing.HiddenNode, org.gecode.explorer.swing.SuccessNode, and org.gecode.explorer.swing.UnknownNode.Detailed Description
Definition at line 33 of file GraphicsNode.java.
Static Protected Attributes | |
| final static int | unit = 100 |
| final static int | halfUnit = unit / 2 |
| final static int | shadowOff = 10 |
Package Functions | |
| abstract void | draw (Graphics2D g, int momx, int momy, boolean hasShadow) |
| abstract Point | getConnector (int x, int y) |
| abstract boolean | containsPoint (Coordinate x) |
| Icon | getIcon () |
Static Package Attributes | |
| static final Color | bg = Color.white |
| static final Color | fg = Color.black |
| static final Color | red = new Color(218, 37, 29) |
| static final Color | white = Color.white |
| static final Color | green = new Color(11, 118, 70) |
| static final Color | blue = new Color(0, 92, 161) |
| static final Color | yellow = new Color(235, 137, 27) |
| static final Color | marker = yellow |
| static final Color | shadow = Color.gray |
| static final BasicStroke | stroke |
Member Function Documentation
| abstract void org.gecode.explorer.swing.GraphicsNode.draw | ( | Graphics2D | g, | |
| int | momx, | |||
| int | momy, | |||
| boolean | hasShadow | |||
| ) | [package, pure virtual] |
| abstract Point org.gecode.explorer.swing.GraphicsNode.getConnector | ( | int | x, | |
| int | y | |||
| ) | [package, pure virtual] |
| abstract boolean org.gecode.explorer.swing.GraphicsNode.containsPoint | ( | Coordinate | x | ) | [package, pure virtual] |
| Icon org.gecode.explorer.swing.GraphicsNode.getIcon | ( | ) | [package] |
Definition at line 53 of file GraphicsNode.java.
Member Data Documentation
final static int org.gecode.explorer.swing.GraphicsNode.unit = 100 [static, protected] |
Definition at line 34 of file GraphicsNode.java.
final static int org.gecode.explorer.swing.GraphicsNode.halfUnit = unit / 2 [static, protected] |
Definition at line 35 of file GraphicsNode.java.
final static int org.gecode.explorer.swing.GraphicsNode.shadowOff = 10 [static, protected] |
Definition at line 36 of file GraphicsNode.java.
final Color org.gecode.explorer.swing.GraphicsNode.bg = Color.white [static, package] |
Definition at line 37 of file GraphicsNode.java.
final Color org.gecode.explorer.swing.GraphicsNode.fg = Color.black [static, package] |
Definition at line 38 of file GraphicsNode.java.
final Color org.gecode.explorer.swing.GraphicsNode.red = new Color(218, 37, 29) [static, package] |
Definition at line 39 of file GraphicsNode.java.
final Color org.gecode.explorer.swing.GraphicsNode.white = Color.white [static, package] |
Definition at line 40 of file GraphicsNode.java.
final Color org.gecode.explorer.swing.GraphicsNode.green = new Color(11, 118, 70) [static, package] |
Definition at line 41 of file GraphicsNode.java.
final Color org.gecode.explorer.swing.GraphicsNode.blue = new Color(0, 92, 161) [static, package] |
Definition at line 42 of file GraphicsNode.java.
final Color org.gecode.explorer.swing.GraphicsNode.yellow = new Color(235, 137, 27) [static, package] |
Definition at line 43 of file GraphicsNode.java.
final Color org.gecode.explorer.swing.GraphicsNode.marker = yellow [static, package] |
Definition at line 44 of file GraphicsNode.java.
final Color org.gecode.explorer.swing.GraphicsNode.shadow = Color.gray [static, package] |
Definition at line 45 of file GraphicsNode.java.
final BasicStroke org.gecode.explorer.swing.GraphicsNode.stroke [static, package] |
Initial value:
new BasicStroke(5, BasicStroke.CAP_BUTT, BasicStroke.JOIN_MITER)
Definition at line 46 of file GraphicsNode.java.
The documentation for this class was generated from the following file:
- org/gecode/explorer/swing/GraphicsNode.java (Revision: 2943)