edu.buffalo.nsf.xmlcqa.data.dtd
Class DTD.DTDCycleDetected

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Error
          extended byedu.buffalo.nsf.xmlcqa.data.dtd.DTD.DTDCycleDetected
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
DTD

public static class DTD.DTDCycleDetected
extends java.lang.Error

A standard class indicating improper DTD definition. DTD is proper if for every tag there exists a finite tree conforming the DTD with root labeled with the given tag. Detection of an improper DTD is performed only during computation of minimal sets of tree facts with the method DTD.getMT(TreeNode, Tag, Query, OperationManager)

See Also:
Serialized Form

Constructor Summary
DTD.DTDCycleDetected()
           
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DTD.DTDCycleDetected

public DTD.DTDCycleDetected()