public abstract class AbstractGraphPinningTool extends AbstractGraphTool
Modifier and Type | Field and Description |
---|---|
static int |
REVERSE_PINNING |
static int |
SET_PINNED |
static int |
SET_UNPINNED |
Constructor and Description |
---|
AbstractGraphPinningTool(TopicMapGraphPanel gp)
Creates a new instance of AbstractGraphPinningTool
|
Modifier and Type | Method and Description |
---|---|
void |
setPinning(java.util.Iterator nodes,
int mode) |
allowMultipleInvocations, execute, executeSynchronized, solveGraphPanel, solveGraphPanel, solveModel
addUndoMarker, addUndoMarker, clearAllThreads, clearThreads, clearThreads, clearToolLock, clearToolLock, clearToolLocks, configure, execute, execute, forceStop, forceStop, getContext, getCurrentLogger, getDefaultLogger, getDescription, getHistory, getIcon, getLastLogger, getName, getState, getThreads, getThreads, getToolMenuItem, getToolMenuItem, getTopicName, getType, hlog, initialize, interruptAllThreads, interruptThreads, interruptThreads, isConfigurable, isRunning, isRunning, lockLog, log, log, log, log, requiresRefresh, run, runInOwnThread, setContext, setDefaultLogger, setLogTitle, setProgress, setProgressMax, setState, setToolLogger, singleLog, singleLog, singleLog, solveContextTopicMap, solveNameForTopicMap, writeOptions
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
configure, execute, execute, getContext, getDescription, getIcon, getName, getToolMenuItem, getType, hlog, initialize, isConfigurable, isRunning, log, log, log, log, requiresRefresh, setContext, setToolLogger, writeOptions
forceStop, getHistory, getState, lockLog, setLogTitle, setProgress, setProgressMax, setState
public static final int SET_PINNED
public static final int SET_UNPINNED
public static final int REVERSE_PINNING
public AbstractGraphPinningTool(TopicMapGraphPanel gp)
Copyright 2004-2015 Wandora Team