Searched refs:svgPrefix (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/CPViz/viz/src/ie/ucc/cccc/viz/
H A DBox.java86 public PrintWriter svgPrefix(Tool tool,String name) { method in class:Box
113 * the file descriptor. This is placed here for symmetry with the svgPrefix method,
H A DState.java84 PrintWriter out= box.svgPrefix(tool,tool.getFileroot()+id+".svg");
H A DLayout.java159 PrintWriter out= box.svgPrefix(tool,name);

Completed in 115 milliseconds