org.xmloperator.lambda.tree.util
Class WellFormedness

java.lang.Object
  |
  +--org.xmloperator.lambda.tree.util.WellFormedness

public abstract class WellFormedness
extends java.lang.Object

Utilities about well-formedness of Terms. In order to be well formed, a Term must conform to the following constraints :


Constructor Summary
WellFormedness()
           
 
Method Summary
static void verifyWellFormedness(Term rootTerm)
          Verify the well-formedness of a Term.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WellFormedness

public WellFormedness()
Method Detail

verifyWellFormedness

public static final void verifyWellFormedness(Term rootTerm)
Verify the well-formedness of a Term.

Parameters:
rootTerm - a Term to verify.
Throws:
org.xmloperator.lambda.tree.exception.BadFormedException - if the given Term doesn't conform to the constraint 2 or 3.
java.lang.NullPointerException - if the given Term is broken.