protected void edgeStmt(StreamTokenizer tk, final int nindex)
throws Exception {
tk.nextToken();
GraphEdge e=null;
if(tk.ttype=='>') {
tk.nextToken();
if(tk.ttype=='{') {
while(true) {
tk.nextToken();
if(tk.ttype=='}')
break;
else {
nodeID(tk);
e = new GraphEdge(nindex,
m_nodes.indexOf( new GraphNode(tk.sval, null) ),
DIRECTED);
if( m_edges!=null && !(m_edges.contains(e)) ) {
m_edges.addElement( e );
//System.out.println("Added edge from "+
// ((GraphNode)(m_nodes.elementAt(nindex))).ID+
// " to "+
// ((GraphNode)(m_nodes.elementAt(e.dest))).ID);
}
}
}
}
else {
nodeID(tk);
e = new GraphEdge(nindex,
m_nodes.indexOf( new GraphNode(tk.sval, null) ),
DIRECTED);
if( m_edges!=null && !(m_edges.contains(e)) ) {
m_edges.addElement( e );
//System.out.println("Added edge from "+