org.estouro.tools
Class SelectionTool

java.lang.Object
  org.estouro.tools.generated.Selection
      org.estouro.tools.SelectionTool

All Implemented Interfaces:

Automaton

public class SelectionTool
extends Selection

Tool to select geometries

Author:

Fernando González Cortés

Constructor Summary

SelectionTool()

Method Summary

void	drawIn_MakeMove(PluginContext ctx, java.awt.Graphics g)
void	drawIn_Movement(PluginContext ctx, java.awt.Graphics g)
void	drawIn_OnePoint(PluginContext ctx, java.awt.Graphics g)
void	drawIn_OnePointLeft(PluginContext ctx, java.awt.Graphics g)
void	drawIn_PointWithSelection(PluginContext ctx, java.awt.Graphics g)
void	drawIn_Selection(PluginContext ctx, java.awt.Graphics g)
void	drawIn_Standby(PluginContext ctx, java.awt.Graphics g)
void	drawIn_TwoPoints(PluginContext ctx, java.awt.Graphics g)
java.net.URL	getMouseCursor()
boolean	isEnabled(PluginContext ctx)
boolean	isVisible(PluginContext ctx)
void	transitionTo_MakeMove(PluginContext ctx)
void	transitionTo_Movement(PluginContext ctx)
void	transitionTo_OnePoint(PluginContext ctx)
void	transitionTo_OnePointLeft(PluginContext ctx)
void	transitionTo_PointWithSelection(PluginContext ctx)
void	transitionTo_Selection(PluginContext ctx)
void	transitionTo_Standby(PluginContext ctx)
void	transitionTo_TwoPoints(PluginContext ctx)

Methods inherited from class org.estouro.tools.generated.Selection

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

Constructor Detail

SelectionTool

public SelectionTool()

Method Detail

transitionTo_Standby

public void transitionTo_Standby(PluginContext ctx)
                          throws TransitionException

Specified by:

transitionTo_Standby in class Selection

Throws:

TransitionException

See Also:

org.estouro.tools.generated.Selection#transitionTo_Standby()

transitionTo_OnePoint

public void transitionTo_OnePoint(PluginContext ctx)
                           throws TransitionException,
                                  FinishedAutomatonException

Specified by:

transitionTo_OnePoint in class Selection

Throws:

FinishedAutomatonException

TransitionException

See Also:

org.estouro.tools.generated.Selection#transitionTo_OnePoint()

transitionTo_OnePointLeft

public void transitionTo_OnePointLeft(PluginContext ctx)
                               throws TransitionException

Specified by:

transitionTo_OnePointLeft in class Selection

Throws:

TransitionException

See Also:

org.estouro.tools.generated.Selection#transitionTo_OnePointLeft()

transitionTo_TwoPoints

public void transitionTo_TwoPoints(PluginContext ctx)
                            throws TransitionException,
                                   FinishedAutomatonException

Specified by:

transitionTo_TwoPoints in class Selection

Throws:

TransitionException

FinishedAutomatonException

See Also:

org.estouro.tools.generated.Selection#transitionTo_TwoPoints()

transitionTo_Selection

public void transitionTo_Selection(PluginContext ctx)
                            throws TransitionException

Specified by:

transitionTo_Selection in class Selection

Throws:

TransitionException

See Also:

org.estouro.tools.generated.Selection#transitionTo_Selection()

transitionTo_PointWithSelection

public void transitionTo_PointWithSelection(PluginContext ctx)
                                     throws TransitionException,
                                            FinishedAutomatonException

Specified by:

transitionTo_PointWithSelection in class Selection

Throws:

TransitionException

FinishedAutomatonException

See Also:

org.estouro.tools.generated.Selection#transitionTo_PointWithSelection()

transitionTo_Movement

public void transitionTo_Movement(PluginContext ctx)
                           throws TransitionException

Specified by:

transitionTo_Movement in class Selection

Throws:

TransitionException

See Also:

org.estouro.tools.generated.Selection#transitionTo_Movement()

transitionTo_MakeMove

public void transitionTo_MakeMove(PluginContext ctx)
                           throws TransitionException,
                                  FinishedAutomatonException

Specified by:

transitionTo_MakeMove in class Selection

Throws:

TransitionException

FinishedAutomatonException

See Also:

org.estouro.tools.generated.Selection#transitionTo_MakeMove()

drawIn_Standby

public void drawIn_Standby(PluginContext ctx,
                           java.awt.Graphics g)
                    throws DrawingException

Specified by:

drawIn_Standby in class Selection

Throws:

DrawingException

See Also:

org.estouro.tools.generated.Selection#drawIn_Standby(java.awt.Graphics)

drawIn_OnePoint

public void drawIn_OnePoint(PluginContext ctx,
                            java.awt.Graphics g)

Specified by:

drawIn_OnePoint in class Selection

See Also:

org.estouro.tools.generated.Selection#drawIn_OnePoint(java.awt.Graphics)

drawIn_OnePointLeft

public void drawIn_OnePointLeft(PluginContext ctx,
                                java.awt.Graphics g)

Specified by:

drawIn_OnePointLeft in class Selection

See Also:

org.estouro.tools.generated.Selection#drawIn_OnePointLeft(java.awt.Graphics)

drawIn_TwoPoints

public void drawIn_TwoPoints(PluginContext ctx,
                             java.awt.Graphics g)

Specified by:

drawIn_TwoPoints in class Selection

See Also:

org.estouro.tools.generated.Selection#drawIn_TwoPoints(java.awt.Graphics)

drawIn_Selection

public void drawIn_Selection(PluginContext ctx,
                             java.awt.Graphics g)

Specified by:

drawIn_Selection in class Selection

See Also:

org.estouro.tools.generated.Selection#drawIn_Selection(java.awt.Graphics)

drawIn_PointWithSelection

public void drawIn_PointWithSelection(PluginContext ctx,
                                      java.awt.Graphics g)

Specified by:

drawIn_PointWithSelection in class Selection

See Also:

org.estouro.tools.generated.Selection#drawIn_PointWithSelection(java.awt.Graphics)

drawIn_Movement

public void drawIn_Movement(PluginContext ctx,
                            java.awt.Graphics g)
                     throws DrawingException

Specified by:

drawIn_Movement in class Selection

Throws:

DrawingException

See Also:

org.estouro.tools.generated.Selection#drawIn_Movement(java.awt.Graphics)

drawIn_MakeMove

public void drawIn_MakeMove(PluginContext ctx,
                            java.awt.Graphics g)

Specified by:

drawIn_MakeMove in class Selection

See Also:

org.estouro.tools.generated.Selection#drawIn_MakeMove(java.awt.Graphics)

isEnabled

public boolean isEnabled(PluginContext ctx)

isVisible

public boolean isVisible(PluginContext ctx)

getMouseCursor

public java.net.URL getMouseCursor()