dk.brics.xact.analysis.flowgraph
Class FlowGraph

java.lang.Object
  extended by dk.brics.xact.analysis.flowgraph.Graph<Statement,VariableFilter>
      extended by dk.brics.xact.analysis.flowgraph.FlowGraph

public class FlowGraph
extends Graph<Statement,VariableFilter>

Flow graph.

Nodes correspond to abstract statements. Edges correspond to potential control-flow and are labelled with the variables that are maintained from the source to the destination.


Constructor Summary
FlowGraph(Map<String,Origin> schemas, Map<String,String> namespaces)
          Constructs an empty graph.
 
Method Summary
 Map<String,String> getNamespaces()
          Returns map from namespace prefixes to namespace URIs.
 Map<String,Origin> getSchemas()
          Returns map from schema URLs to origins.
 Map<String,Node> getTypemap()
           
 XMLGraph getXMLGraph()
           
 void setTypemap(Map<String,Node> typemap)
           
 void setXMLGraph(XMLGraph xmlgraph)
           
 
Methods inherited from class dk.brics.xact.analysis.flowgraph.Graph
addAll, addEdge, addEntry, addNode, clearEdges, containsNode, getEntries, getInEdges, getNodes, getNumberOfEdges, getOutEdges, removeEdge, removeEntry, removeInEdges, removeNode, removeOutEdges
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FlowGraph

public FlowGraph(Map<String,Origin> schemas,
                 Map<String,String> namespaces)
Constructs an empty graph.

Method Detail

getNamespaces

public Map<String,String> getNamespaces()
Returns map from namespace prefixes to namespace URIs.


getSchemas

public Map<String,Origin> getSchemas()
Returns map from schema URLs to origins.


getTypemap

public Map<String,Node> getTypemap()

getXMLGraph

public XMLGraph getXMLGraph()

setTypemap

public void setTypemap(Map<String,Node> typemap)

setXMLGraph

public void setXMLGraph(XMLGraph xmlgraph)


Copyright © 2005-2011 Aarhus University.