|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.xact.analysis.xmlgraph.BackwardsXGAnalyzer<EPresence>
dk.brics.xact.analysis.xmlgraph.Emptiness
public class Emptiness
May/must backwards analysis that determines which nodes in an XML graph have empty sequence unfoldings.
It can be configured to treat attributes, elements, and/or text nodes as "bottom" or "empty" elements to take advantage of additional information available outside the XML graph.
Note: The emptiness analysis is forced to treat comments and processing instructions as empty sequences because they are invisible in the XML graph. Make sure that you consider the possibility of their presence.
Field Summary | |
---|---|
(package private) dk.brics.xact.analysis.xmlgraph.Emptiness.Processor |
processor
|
Constructor Summary | |
---|---|
Emptiness(XMLGraph xg,
EPresence attributes,
EPresence elements,
EPresence texts,
EPresence gaps)
Performs emptiness analysis on the specified XML graph. |
Method Summary | |
---|---|
protected EPresence |
bottom()
Returns BOTTOM element. |
protected EPresence |
initial(Node node)
Returns initial value for the specified node. |
protected EPresence |
transfer(Node node,
EPresence currentValue)
Transfer function for the specified node. |
Methods inherited from class dk.brics.xact.analysis.xmlgraph.BackwardsXGAnalyzer |
---|
doAnalysis, get, get |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
dk.brics.xact.analysis.xmlgraph.Emptiness.Processor processor
Constructor Detail |
---|
public Emptiness(XMLGraph xg, EPresence attributes, EPresence elements, EPresence texts, EPresence gaps)
Each of the EPresence
arguments may be set to null to let Emptiness
choose a sound value by itself.
xg
- XML graph to analyzeattributes
- lattice point to assign an AttributeNode
; or nullelements
- lattice point to assign an ElementNode
; or nulltexts
- lattice point to assign a TextNode
; or nullgaps
- lattice point to assign to a ChoiceNode
that is a gap; or nullMethod Detail |
---|
protected EPresence bottom()
BackwardsXGAnalyzer
bottom
in class BackwardsXGAnalyzer<EPresence>
protected EPresence initial(Node node)
BackwardsXGAnalyzer
initial
in class BackwardsXGAnalyzer<EPresence>
protected EPresence transfer(Node node, EPresence currentValue)
BackwardsXGAnalyzer
transfer
in class BackwardsXGAnalyzer<EPresence>
node
- in the XML graph to analyzecurrentValue
- current lattice point for the node. Should not be modified.
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |