|
|||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||
See:
Description
| Class Summary | |
|---|---|
| BackwardsXGAnalyzer<T> | Base class for performing backwards dataflow analysis on XML graphs. |
| CachedNodeProcessor<T> | |
| CycleUnwinder | Detects and eliminates some cycles in an XML graph while maintaining the same XML language. |
| Emptiness | May/must backwards analysis that determines which nodes in an XML graph have empty sequence unfoldings. |
| FirstRootAnalysis | Determines which elements may occur as first root in some unfolding of an XML graph. |
| ForwardsXGAnalyzer<T> | Base class for performing forwards dataflow analysis on XML graphs. |
| RootAnalysis | Determines for each reachable node whether it always occurs as root when unfolded (yes), or never occurs as root (no). |
| StatementNodes | Contains all the relationships between statements and their corresponding nodes in the XML graph. |
| TextProcessor | Determines for a given node the possible strings that can occur as text there. |
| XMLGraphAnalysis | XML graph lattice and transfer functions for dataflow analysis. |
| XMLGraphBuilder | Performs dataflow analysis on flow graphs to build XML graphs. |
| XMLGraphChecker | Checks XML graphs of various program expressions. |
| XMLGraphDebug | |
| XMLGraphPair | Pair of two XML graphs. |
| XMLSchemaDatatypes | |
| Enum Summary | |
|---|---|
| EBooleanLattice | Represents the lattice: MAYBE / \ YES NO \ / BOTTOM The meaning of "yes" and "no" is not specified here – it depends on the context of its use. |
| EPresence | A generic lattice denoting whether something is empty or non-empty. |
XML graph dataflow analysis on flow graphs and XML graph validation.
|
|||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||