dk.brics.xact.analysis.xmlgraph
Class XMLGraphChecker

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



Copyright © 2005-2011 Aarhus University.