dk.brics.xact.analysis.flowgraph
Class FlowGraph

java.lang.Object
  dk.brics.xact.analysis.flowgraph.Graph<Statement,VariableFilter>
      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.

Methods inherited from class dk.brics.xact.analysis.flowgraph.Graph

addAll, addEdge, addEntry, addNode, clearEdges, containsNode, getEntries, getInEdges, getNodes, getNumberOfEdges, getOutEdges, removeEdge, removeEntry, 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.