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(ErrorHandler errors)
Constructs a new checker.

Method Summary

ErrorHandler	getErrors() Returns the list of errors detected.
static boolean	isStatementChecked(Statement s)
void	run(FlowGraph fg, 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(ErrorHandler errors)

Constructs a new checker.

Method Detail

getErrors

public ErrorHandler getErrors()

Returns the list of errors detected. Should be called after run(FlowGraph, XMLGraphBuilder).

Returns:

a reference to the list of errors.

isStatementChecked

public static boolean isStatementChecked(Statement s)

run

public void run(FlowGraph fg,
                XMLGraphBuilder b)

Runs the checker.