dk.brics.xact.analysis.util
Class Util

java.lang.Object
  extended by dk.brics.xact.analysis.util.Util

public class Util
extends Object


Constructor Summary
Util()
           
 
Method Summary
static void dumpXMLGraph(XMLGraph xg, String filename)
          Prints the specified XML graph to a file as a graphviz dot graph.
static String getAutomatonDescription(dk.brics.automaton.Automaton auto)
          Returns a human readable description of an automaton.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Util

public Util()
Method Detail

dumpXMLGraph

public static void dumpXMLGraph(XMLGraph xg,
                                String filename)
Prints the specified XML graph to a file as a graphviz dot graph.

Parameters:
xg - the XML graph
filename - filename to print to

getAutomatonDescription

public static String getAutomatonDescription(dk.brics.automaton.Automaton auto)
Returns a human readable description of an automaton.



Copyright © 2005-2011 Aarhus University.