maps.gml.editor

Class PruneOrphanEdgesFunction

java.lang.Object

maps.gml.editor.AbstractFunction

maps.gml.editor.PruneOrphanEdgesFunction

All Implemented Interfaces:

Function

public class PruneOrphanEdgesFunction
extends AbstractFunction

A function for pruning edges that are not attached to any shapes.

Field Summary

Fields inherited from class maps.gml.editor.AbstractFunction

editor

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	execute() Execute this function.
java.lang.String	getName() Get the name of this function.

Methods inherited from class java.lang.Object

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

Constructor Detail

PruneOrphanEdgesFunction

public PruneOrphanEdgesFunction(GMLEditor editor)

Construct a PruneOrphanEdgesFunction.

Parameters:

editor - The editor instance.

Method Detail

getName

public java.lang.String getName()

Description copied from interface: Function

Get the name of this function.

Returns:

The name of the function.

execute

public void execute()

Description copied from interface: Function

Execute this function.