maps.gml.editor

Class DeleteEdgeTool

java.lang.Object

maps.gml.editor.AbstractTool

maps.gml.editor.DeleteEdgeTool

All Implemented Interfaces:

Tool

public class DeleteEdgeTool
extends AbstractTool

A tool for deleting edges.

Field Summary

Fields inherited from class maps.gml.editor.AbstractTool

editor

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	activate() Activate this tool.
void	deactivate() Deactivate this tool.
java.lang.String	getName() Get the name of this tool.

Methods inherited from class java.lang.Object

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

Constructor Detail

DeleteEdgeTool

public DeleteEdgeTool(GMLEditor editor)

Construct a DeleteEdgeTool.

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.

activate

public void activate()

Description copied from interface: Tool

Activate this tool.

deactivate

public void deactivate()

Description copied from interface: Tool

Deactivate this tool.