edu.umd.cs.db.xsq
Class HPDT

java.lang.Object
  |
  +--edu.umd.cs.db.xsq.HPDT

public class HPDT
extends java.lang.Object

The hierarchical PDT system that connects all the basic PDTs.


Field Summary
static int MAX_NUMBER_BPDT
           
static int MAX_RESULT_SIZE
           
 
Constructor Summary
HPDT(java.util.Vector vXP, boolean getResult)
           
 
Method Summary
 void drawHPDT()
          Generate a graph in the format of .DOT file that can be used by the Graphviz program.
 void finish()
           
 java.lang.String getResult()
          Get the result of the query.
 void printCombinedHPDT()
          Print the HPDT as a single PDT.
 void printContent()
           
 void printHPDT()
          Print the BPDTs to the stdout.
 void processEvent(edu.umd.cs.db.xsq.Event event)
          This function is called by the events in the SAX parser.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

MAX_NUMBER_BPDT

public static final int MAX_NUMBER_BPDT
See Also:
Constant Field Values

MAX_RESULT_SIZE

public static final int MAX_RESULT_SIZE
See Also:
Constant Field Values
Constructor Detail

HPDT

public HPDT(java.util.Vector vXP,
            boolean getResult)
Method Detail

getResult

public java.lang.String getResult()
Get the result of the query.


drawHPDT

public void drawHPDT()
Generate a graph in the format of .DOT file that can be used by the Graphviz program.


printHPDT

public void printHPDT()
Print the BPDTs to the stdout. The states are organized into group according to the BPDTs.


toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

printCombinedHPDT

public void printCombinedHPDT()
Print the HPDT as a single PDT. The states are shown in sequence according to the ID.


processEvent

public void processEvent(edu.umd.cs.db.xsq.Event event)
This function is called by the events in the SAX parser.


printContent

public void printContent()

finish

public void finish()