|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--dk.brics.jwig.analysis.summarygraph.Graph
Summary graph (associated with an XML variable at a program point).
Constructor Summary | |
Graph()
Constructs empty graph. |
|
Graph(Document d)
Constructs graph from JDOM XML document. |
Method Summary | |
boolean |
addClosedAttributeGap(String gap)
Adds "maybe closed" attribute gap. |
boolean |
addClosedTemplateGap(String gap)
Adds "maybe closed" template gap. |
void |
addNode(Node n)
Adds node to this graph. |
boolean |
addOpenAttributeGap(String gap)
Adds "maybe open" attribute gap. |
boolean |
addOpenTemplateGap(String gap)
Adds "maybe open" template gap. |
void |
addRoot(Node n)
Adds root node to this graph. |
Object |
clone()
Clones this graph. |
Map |
getAutomata()
Returns automata constructed by toXML(String) . |
HashSet |
getClosedAttributeGaps()
Returns set of maybe closed attribute gaps. |
HashSet |
getClosedTemplateGaps()
Returns set of maybe closed template gaps. |
Collection |
getNodes()
Returns collection of all nodes. |
HashSet |
getOpenAttributeGaps()
Returns set of maybe open attribute gaps. |
HashSet |
getOpenTemplateGaps()
Returns set of maybe open template gaps. |
Collection |
getRoots()
Returns collection of root nodes. |
Node |
lookupNode(Object key)
Finds node. |
boolean |
removeClosedAttributeGap(String gap)
Removes "maybe closed" attribute gap. |
boolean |
removeClosedTemplateGap(String gap)
Removes "maybe closed" template gap. |
boolean |
removeOpenAttributeGap(String gap)
Removes "maybe open" attribute gap. |
boolean |
removeOpenTemplateGap(String gap)
Removes "maybe open" template gap. |
void |
setReverseEdges()
Initialized reverse edges. |
String |
toDot()
Returns Graphviz Dot representation of this summary graph. |
Document |
toXML(String url_prefix)
Returns XML JDOM representation of this summary graph. |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Graph()
public Graph(Document d) throws IOException, OptionalDataException, ClassCastException, ClassNotFoundException, InvalidClassException
d
- XML documentMethod Detail |
public boolean addClosedAttributeGap(String gap)
gap
- gap namepublic boolean addClosedTemplateGap(String gap)
gap
- gap namepublic void addNode(Node n)
public boolean addOpenAttributeGap(String gap)
gap
- gap namepublic boolean addOpenTemplateGap(String gap)
gap
- gap namepublic void addRoot(Node n)
public Object clone()
clone
in class Object
Graph
objectpublic Map getAutomata()
toXML(String)
.
public HashSet getClosedAttributeGaps()
public HashSet getClosedTemplateGaps()
public Collection getNodes()
public HashSet getOpenAttributeGaps()
public HashSet getOpenTemplateGaps()
public Collection getRoots()
public Node lookupNode(Object key)
key
- key object
public boolean removeClosedAttributeGap(String gap)
gap
- gap namepublic boolean removeClosedTemplateGap(String gap)
gap
- gap namepublic boolean removeOpenAttributeGap(String gap)
gap
- gap namepublic boolean removeOpenTemplateGap(String gap)
gap
- gap namepublic void setReverseEdges()
Node.getReverseEdges
is used.
It is assumed that all nodes with outgoing edges are reachable from a root.
public String toDot()
public Document toXML(String url_prefix)
getAutomata()
.
url_prefix
- prefix for automaton URLs
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |