dk.brics.xact.analysis.util
Class Util

java.lang.Object
  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.