!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();
}