|
Search this API | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface GraphElementIdProvider
Interface for classes that provide custom id's for core graphml elements
Method Summary | |
---|---|
java.lang.String |
getEdgeId(Edge edge,
GraphMLWriteContext context)
Get an ID for the specified edge Object |
java.lang.String |
getGraphId(Graph graph,
GraphMLWriteContext context)
Get an ID for the specified graph Object |
java.lang.String |
getNodeId(Node node,
GraphMLWriteContext context)
Get an ID for the specified node Object |
java.lang.String |
getPortId(Port port,
Node owner,
GraphMLWriteContext context)
Get an ID for the specified port Object |
Method Detail |
---|
java.lang.String getGraphId(Graph graph, GraphMLWriteContext context)
graph
- the current graph Objectcontext
- the current write context, for further information to the provider
java.lang.String getNodeId(Node node, GraphMLWriteContext context)
node
- the current node Objectcontext
- the current write context, for further information to the provider
java.lang.String getEdgeId(Edge edge, GraphMLWriteContext context)
edge
- the current edge Objectcontext
- the current write context, for further information to the provider
java.lang.String getPortId(Port port, Node owner, GraphMLWriteContext context)
port
- the current port Objectcontext
- the current write context, for further information to the providerowner
- the node that owns the current port
|
© Copyright 2000-2022, yWorks GmbH. All rights reserved. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |