!7

lib 1007168 // graphstream core 1.3

import org.graphstream.graph.*;

import org.graphstream.graph.implementations.*;

import org.graphstream.ui.spriteManager.*; // SpriteManager

p {

  Graph graph = new SingleGraph("Graph with sprites");

  graph.addNode("A");

  graph.addNode("B");

  graph.addNode("C");

  graph.addEdge("AB", "A", "B");

  graph.addEdge("BC", "B", "C");

  graph.addEdge("CA", "C", "A");

  SpriteManager sm = new SpriteManager(graph);

  /* This shows another node labelled "(0,0)" floating around.

	Sprite C = sm.addSprite("C");

	C.setPosition(0, 0, 0);

	C.setAttribute("ui.label", "(0,0)");

	*/

	Sprite s = sm.addSprite("Label for A");

	s.setPosition(0, 0, 0);

	s.setAttribute("ui.label", "Node A");

	s.attachToNode("A");

  s = sm.addSprite("Label for Edge AB");

	s.setAttribute("ui.label", "Edge AB");

	s.setPosition(0.5);

	s.attachToEdge("AB");

  graph.display();

}