|
Protege 2.1.1 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.nwoods.jgo.JGoDocument
edu.stanford.smi.protegex.widget.graph.GraphDocument
Constructor Summary | |
GraphDocument(GraphWidget widget)
|
Method Summary | |
void |
deleteContents()
|
Cls |
getCls()
|
FrameListener |
getFrameListener()
|
KnowledgeBase |
getKB()
|
Rectangle |
getNodeRectangle(Instance instance)
|
static HashMap |
getPositionInfo(Instance instance,
Slot slot)
|
PropertyList |
getPropertyList()
|
void |
handleBrowserTextChanged(Frame frame)
|
void |
handleOwnSlotValueChanged(FrameEvent event)
|
void |
initNode(Node node)
|
void |
initNodes(Collection instances)
|
void |
performAutomaticLayout(int direction)
|
void |
removeListener()
|
void |
removeValueFromSourceNode(SimpleLink sLink)
|
void |
savePositionInfo()
|
void |
setExternalUpdate(boolean update)
|
Methods inherited from class com.nwoods.jgo.JGoDocument |
addDocumentListener, addLayerAfter, addLayerBefore, addObjectAtHead, addObjectAtTail, bringLayerToFront, bringObjectToFront, canRedo, canUndo, changeValue, computeBounds, computeBounds, copyFromCollection, copyFromCollection, copyNewValueForRedo, copyOldValueForUndo, createDefaultCopyEnvironment, discardAllEdits, endTransaction, endTransaction, ensureUniquePartID, findLayer, findObject, findPart, fireForedate, fireUpdate, getAvoidableRectangle, getDefaultLayer, getDocumentListeners, getDocumentSize, getDocumentTopLeft, getFirstLayer, getFirstObjectPos, getLastLayer, getLastObjectPos, getNextLayer, getNextObjectPos, getNextObjectPosAtTop, getNumLayers, getNumObjects, getObjectAtPos, getPaperColor, getPrevLayer, getPrevObjectPos, getStandardDataFlavor, getTransferData, getTransferDataFlavors, getUndoManager, insertLayerAfter, insertLayerBefore, insertObjectAfter, insertObjectBefore, isAvoidable, isDataFlavorSupported, isEmpty, isMaintainsPartID, isModifiable, isSkipsUndoManager, isSuspendUpdates, pickObject, redo, removeDocumentListener, removeLayer, removeObject, removeObjectAtPos, sendLayerToBack, sendObjectToBack, setDefaultLayer, setDocumentSize, setDocumentSize, setDocumentTopLeft, setDocumentTopLeft, setMaintainsPartID, setModifiable, setPaperColor, setSkipsUndoManager, setSuspendUpdates, setUndoManager, startTransaction, SVGReadLayer, SVGReadObject, SVGUpdateReference, SVGWriteLayer, SVGWriteObject, undo, update, updateDocumentSize |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public GraphDocument(GraphWidget widget)
Method Detail |
public KnowledgeBase getKB()
public PropertyList getPropertyList()
public Cls getCls()
public FrameListener getFrameListener()
public void initNodes(Collection instances)
public void initNode(Node node)
public void handleBrowserTextChanged(Frame frame)
public void handleOwnSlotValueChanged(FrameEvent event)
public void performAutomaticLayout(int direction)
public void savePositionInfo()
public static HashMap getPositionInfo(Instance instance, Slot slot)
public Rectangle getNodeRectangle(Instance instance)
public void setExternalUpdate(boolean update)
public void removeValueFromSourceNode(SimpleLink sLink)
public void removeListener()
public void deleteContents()
|
Protege 2.1.1 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |