org.estouro.tools
Class VertexAditionTool
java.lang.Object
org.estouro.tools.generated.VertexAdition
org.estouro.tools.VertexAditionTool
- All Implemented Interfaces:
- Automaton
public class VertexAditionTool
- extends VertexAdition
Methods inherited from class org.estouro.tools.generated.VertexAdition |
draw, getConsoleCommand, getIconURL, getMessage, getMouseCursorURL, getName, getStatus, getTooltip, getTransitionCodes, getTransitionLabels, init, isFinished, setStatus, toolFinished, transition |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VertexAditionTool
public VertexAditionTool()
transitionTo_Standby
public void transitionTo_Standby(PluginContext ctx)
throws FinishedAutomatonException,
TransitionException
- Specified by:
transitionTo_Standby
in class VertexAdition
- Throws:
FinishedAutomatonException
TransitionException
transitionTo_Done
public void transitionTo_Done(PluginContext ctx)
throws FinishedAutomatonException,
TransitionException
- Specified by:
transitionTo_Done
in class VertexAdition
- Throws:
FinishedAutomatonException
TransitionException
transitionTo_Cancel
public void transitionTo_Cancel(PluginContext ctx)
throws FinishedAutomatonException,
TransitionException
- Specified by:
transitionTo_Cancel
in class VertexAdition
- Throws:
FinishedAutomatonException
TransitionException
drawIn_Standby
public void drawIn_Standby(PluginContext ctx,
java.awt.Graphics g)
throws DrawingException
- Specified by:
drawIn_Standby
in class VertexAdition
- Throws:
DrawingException
drawIn_Done
public void drawIn_Done(PluginContext ctx,
java.awt.Graphics g)
throws DrawingException
- Specified by:
drawIn_Done
in class VertexAdition
- Throws:
DrawingException
drawIn_Cancel
public void drawIn_Cancel(PluginContext ctx,
java.awt.Graphics g)
throws DrawingException
- Specified by:
drawIn_Cancel
in class VertexAdition
- Throws:
DrawingException
isEnabled
public boolean isEnabled(PluginContext ctx)
isVisible
public boolean isVisible(PluginContext ctx)
getMouseCursor
public java.net.URL getMouseCursor()
Copyright © 2005-2006 Fernando González Cortés. All Rights Reserved.