# Package accrue.analysis.interprocanalysis

- Interface Summary
  Interface | Description
  --- | ---
  DataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> | Helper interface to assist in dispatch for dataflow implementations.
  DataFlowNodeIdentifier |
  EdgeIdentifier |
  NativeNodeIdentifier |
  NodeIdentifier |
  Ordered<T> | Interface for an arbitrary partially ordered set

- Class Summary
  Class | Description
  --- | ---
  AbstractDataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> |
  AbstractLocation | Represents an abstract location, i.e., zero or more concrete locations.
  AnalysisContext | A context in which to analyze code.
  AnalysisContextMap<T> | A utility class that is used to help record analysis results for AST nodes.
  AnalysisFactory<A extends Ordered<A>> | Utility class used by an interprocedural dataflow analysis
  AnalysisUnit | An AnalysisUnit is the unit of analysis that the WorkQueue deals with.
  AnalysisUtil<A extends Ordered<A>> | Abstract utility class for performing an object sensitive analysis.
  CallGraph | Representation of the interprocedural call graph.
  DataFlowNodeIdentifier_c |
  EdgeIdentifier_c |
  EdgeIdentifier.EdgeType |
  EdgeIdentifier.ExceptionEdge |
  EdgeIdentifier.HeapUseKey | A HeapUseKey is used for data dependency edges between defs and uses of heap locations
  EdgeIdentifier.LocalUseKey | A LocalUseKey is used for data dependency edges between defs and uses of Local and Formal locations
  ExitMap<T extends Ordered<T>> | Map giving the possible exit paths and the lattice elements along those paths
  ExitMap.ExceptionKey | Key for an exception exit path
  ExitMap.Key | Exit map key
  ExitMap.LabeledBranchKey | Labeled `break` or `continue`
  InterProcAnalysisPass<T extends Ordered<T>> | Compiler pass for an interprocedural analysis.
  NativeNodeIdentifier_c | This class identifies program points in missing or native code.
  NodeIdentifier_c | This class identifies a program point for the purposes of interprocedural analysis.
  PreciseDataFlow<FlowItem extends polyglot.visit.DataFlow.Item> | Uses the results of precise exceptions analysis to create a more accurate control flow graph.
  PreciseDataFlow.PreciseCFGBuilder<FlowItem extends polyglot.visit.DataFlow.Item> | A more precise CFG builder that adds Exception edges only for exceptions that might actually be thrown.
  RegisterProceduresVisitor | Registers all procedures (methods, constructors, initializers) with the InterAnalysisPass.
  Registrar | The Registrar maintains useful information about the whole program's code.
  Unit | Singleton representation of a single element lattice.
  WorkQueue<T extends Ordered<T>> | Manages the work queue of AnalysisUnits for interprocedural analyses.
  WorkQueue.AnalysisUnitRecord<T extends Ordered<T>> |