maps.gml.editor

Class CreateSpaceTool

java.lang.Object

maps.gml.editor.AbstractTool

maps.gml.editor.CreateShapeTool

maps.gml.editor.CreateSpaceTool

All Implemented Interfaces:

Tool

public class CreateSpaceTool
extends CreateShapeTool

A tool for creating spaces.

Field Summary

Fields inherited from class maps.gml.editor.AbstractTool

editor

Constructor Summary

Constructors

Constructor and Description
CreateSpaceTool(GMLEditor editor) Construct a CreateSpaceTool.

Method Summary

Modifier and Type	Method and Description
protected javax.swing.undo.UndoableEdit	finished(java.util.List<GMLNode> nodes) Perform whatever shape creation tasks are needed once the shape has been closed.
java.lang.String	getName() Get the name of this tool.

Methods inherited from class maps.gml.editor.CreateShapeTool

activate, deactivate

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CreateSpaceTool

public CreateSpaceTool(GMLEditor editor)

Construct a CreateSpaceTool.

Parameters:

editor - The editor instance.

Method Detail

getName

public java.lang.String getName()

Description copied from interface: Tool

Get the name of this tool.

Returns:

The name of the tool.

finished

protected javax.swing.undo.UndoableEdit finished(java.util.List<GMLNode> nodes)

Description copied from class: CreateShapeTool

Perform whatever shape creation tasks are needed once the shape has been closed.

Specified by:

finished in class CreateShapeTool

Parameters:

nodes - The nodes of the shape.

Returns:

An UndoableEdit for the change.