# Package accrue.analysis.interprocvarcontext

- Interface Summary
  Interface | Description
  --- | ---
  AbstractValue<T> | An abstract value

- Class Summary
  Class | Description
  --- | ---
  AnalysisContextPeerMap<T> | A utility class that is used to help record analysis results for AST nodes.
  AnalysisContextPeerMap.CodeObjectPeerContext |
  AnalysisFactoryVarContext<T extends AbstractValue<T>> |
  AnalysisUtilVarContext<A extends Ordered<A>,T extends AbstractValue<T>> | Abstract utility class for performing an interprocedural analysis with a variable context.
  AnalysisUtilVarContextDataFlow<A extends Ordered<A>,T extends AbstractValue<T>> | Abstract utility class for performing an interprocedural dataflow analysis.
  FinalVarContext<T extends AbstractValue<T>> | The analysis context produced by analyzing a command.
  InterProcVarContextPass<T extends AbstractValue<T>> |
  LibrarySignature<A extends Ordered<A>,T extends AbstractValue<T>> |
  SignatureRepository<T> | Provides a way to store and look up LibrarySignatures for procedure instances.
  Stack<T extends AbstractValue<T>> | A stack of abstract values.
  SuspendedExecutionStack<T extends AbstractValue<T>> | Stack of maps from CFG edge key to abstract dataflow value.
  VarContext<T extends AbstractValue<T>> | A VarContext keeps track of abstract values for local variables and heap locations.
  VarContextDataFlow<T extends AbstractValue<T>> | Add support for analysis contexts.
  WorkQueueVarContext<T extends AbstractValue<T>> | Manages the work queue.
  WorkQueueVarContext.AnalysisUnitRecordLocs<T extends AbstractValue<T>> |