org.grinvin.gred.commands

Class SpringEmbedder


public class SpringEmbedder
extends RepeaterCommand

Repeater command that changes the current embedding by means of a spring embedder algorithm.

Constructor Summary

SpringEmbedder(CommandManager manager, String id)

Method Summary

void
handleCancel()
Reverts to saved embedding.
void
handleExecute()
Consolidates the changes.
void
handleFirst()
Copies original embedding and initializes internal datastructures.
void
handleRepeat()
Performs a single adjustment of the coordinates.

Constructor Details

SpringEmbedder

public SpringEmbedder(CommandManager manager,
                      String id)

Method Details

handleCancel

public void handleCancel()
Reverts to saved embedding.

handleExecute

public void handleExecute()
Consolidates the changes.

handleFirst

public void handleFirst()
Copies original embedding and initializes internal datastructures.

handleRepeat

public void handleRepeat()
Performs a single adjustment of the coordinates.