dk.brics.xact.analysis.xmlgraph
Class XMLGraphChecker

java.lang.Object
  dk.brics.xact.analysis.xmlgraph.XMLGraphChecker

public class XMLGraphChecker
extends Object

Checks XML graphs of various program expressions.

Constructor Summary

XMLGraphChecker(PrintStream out)
Constructs a new checker.

Method Summary

void	run(FlowGraph g, XMLGraphBuilder b) Runs the checker.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

XMLGraphChecker

public XMLGraphChecker(PrintStream out)

Constructs a new checker.

Method Detail

run

public void run(FlowGraph g,
                XMLGraphBuilder b)

Runs the checker.