y.io.graphml.input
Interface GraphElementIdAcceptor

public interface GraphElementIdAcceptor

Interface for classes that can store the GraphML id attribute of GraphML core elements

Method Summary

void	storeId(Edge edge, java.lang.String id, GraphMLParseContext context) Store the value of the id attribute for the given edge.
void	storeId(Graph graph, java.lang.String id, GraphMLParseContext context) Store the value of the id attribute for the given graph.
void	storeId(Node node, java.lang.String id, GraphMLParseContext context) Store the value of the id attribute for the given node.
void	storeId(Port port, java.lang.String name, GraphMLParseContext context) Store the value of the id attribute for the given port.

Method Detail

storeId

void storeId(Graph graph,
             java.lang.String id,
             GraphMLParseContext context)

Store the value of the id attribute for the given graph.

Parameters:

graph - The current graph element

id - The id of the graph's XML representation

context - The current parse context.

storeId

void storeId(Node node,
             java.lang.String id,
             GraphMLParseContext context)

Store the value of the id attribute for the given node.

Parameters:

node - The current node element

id - The id of the node's XML representation

context - The current parse context.

storeId

void storeId(Edge edge,
             java.lang.String id,
             GraphMLParseContext context)

Store the value of the id attribute for the given edge.

Parameters:

edge - The current edge element

id - The id of the edge's XML representation

context - The current parse context.

storeId

void storeId(Port port,
             java.lang.String name,
             GraphMLParseContext context)

Store the value of the id attribute for the given port.

Parameters:

port - The current port element

name - The name of the port's XML representation

context - The current parse context.