A B C D E F G H I J K L M N O P Q R S T U V W X Y _

## A

ABSTRACT - Static variable in class accrue.analysis.parse.sym
AbstractDataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> - Class in accrue.analysis.interprocanalysis
AbstractDataFlowDispatch() - Constructor for class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
AbstractLocation - Class in accrue.analysis.interprocanalysis
  Represents an abstract location, i.e., zero or more concrete locations.
abstractLocations(AntiDepAbsVal, Field) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
abstractLocations(AntiDepAbsVal, ArrayAccess) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
abstractLocations(DefUseAbsVal, Field) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
abstractLocations(DefUseAbsVal, ArrayAccess) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
abstractLocations(Field) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Get the set of abstract locations the given field could point to
abstractLocations(Expr, FieldInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Get the set of abstract locations the given field in the given receiver could reference
abstractLocations(HContext, FieldInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Get the set of abstract locations the given field in the given context could reference
abstractLocations(HContext, String) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Get the set of abstract locations the given field in the given context could reference
abstractLocations(Formal, FieldInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Get the set of abstract locations the given field in the given formal parameter could reference
abstractLocations(Expr, List<String>, List<Type>) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  if path = f1, f2, f3, then returns abstract locations for e.f1.f2.f3 if types = t1.t2.t3, then e.f1 is of type t1, e.f1.f2 is of type t2, etc.
abstractLocations(ArrayAccess) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
abstractLocations(AccrueExtensionInfo, AnalysisContext, Field) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Get the set of abstract locations the given field in the given context parameter could reference
abstractLocations(AccrueExtensionInfo, AnalysisContext, ArrayAccess) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Get the set of abstract locations the given array access in the given context parameter could reference
abstractLocationsForArray(Expr) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
abstractLocationsForArray(Set<HContext>) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
abstractLocationsForArray(Formal) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
abstractLocationsImplicitTarget(DefUseAbsVal, FieldInstance) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
abstractLocationsImplicitTarget(FieldInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Get the set of abstract locations the given field could point to.
AbstractValue<T> - Interface in accrue.analysis.interprocvarcontext
  An abstract value
acceptCFG(CFGBuilder<?>, List<T>) - Method in class accrue.analysis.ast.AccrueCall_c
acceptCFG(CFGBuilder<?>, List<T>) - Method in class accrue.analysis.ast.AccrueConstructorCall_c
acceptCFG(CFGBuilder<?>, List<T>) - Method in class accrue.analysis.ast.AccrueNew_c
acceptCFG(CFGBuilder<?>, List<T>) - Method in class accrue.analysis.ast.AccrueTry_c
acceptCFG(CFGBuilder<?>, List<T>) - Method in class accrue.analysis.ast.Suppress_c
accrue - package accrue
ACCRUE - Static variable in class accrue.analysis.AnalysisTopics
accrue.analysis - package accrue.analysis
accrue.analysis.antidep - package accrue.analysis.antidep
accrue.analysis.ast - package accrue.analysis.ast
accrue.analysis.callgraph - package accrue.analysis.callgraph
accrue.analysis.ctldep - package accrue.analysis.ctldep
accrue.analysis.defuse - package accrue.analysis.defuse
accrue.analysis.domination - package accrue.analysis.domination
accrue.analysis.ext - package accrue.analysis.ext
accrue.analysis.goals - package accrue.analysis.goals
accrue.analysis.interprocanalysis - package accrue.analysis.interprocanalysis
accrue.analysis.interprocvarcontext - package accrue.analysis.interprocvarcontext
accrue.analysis.notnulldataflow - package accrue.analysis.notnulldataflow
accrue.analysis.parse - package accrue.analysis.parse
accrue.analysis.pointer - package accrue.analysis.pointer
accrue.analysis.pointer.analyses - package accrue.analysis.pointer.analyses
accrue.analysis.preciseExceptions - package accrue.analysis.preciseExceptions
accrue.analysis.readwritesets - package accrue.analysis.readwritesets
accrue.analysis.signatures - package accrue.analysis.signatures
accrue.analysis.visit - package accrue.analysis.visit
accrue.jl5 - package accrue.jl5
accrue.jl5.ext - package accrue.jl5.ext
accrue.jl5.goals - package accrue.jl5.goals
accrue.jl5.pointer - package accrue.jl5.pointer
ACCRUE_ANNOTATION - Static variable in class accrue.analysis.parse.Lexer_c
AccrueCall_c - Class in accrue.analysis.ast
AccrueCall_c(Position, Receiver, Id, List<Expr>) - Constructor for class accrue.analysis.ast.AccrueCall_c
AccrueCatch_c - Class in accrue.analysis.ast
AccrueCatch_c(Position, Formal, Block) - Constructor for class accrue.analysis.ast.AccrueCatch_c
AccrueConstructorCall_c - Class in accrue.analysis.ast
AccrueConstructorCall_c(Position, ConstructorCall.Kind, Expr, List<? extends Expr>) - Constructor for class accrue.analysis.ast.AccrueConstructorCall_c
accrueExt(Node) - Static method in class accrue.analysis.ast.AccrueLang_c
AccrueExt - Interface in accrue.analysis.ext
AccrueExt_c - Class in accrue.analysis.ext
AccrueExt_c() - Constructor for class accrue.analysis.ext.AccrueExt_c
AccrueExtensionInfo - Interface in accrue
  An ExtensionInfo that implements the needed functionality for Accrue.
AccrueJL5ExtensionInfo - Class in accrue.jl5
  Extension information for Accrue extension for JL5 source code.
AccrueJL5ExtensionInfo() - Constructor for class accrue.jl5.AccrueJL5ExtensionInfo
AccrueJL5Options - Class in accrue.jl5
  Polyglot options for an object sensitive analysis
AccrueJL5Options(ExtensionInfo) - Constructor for class accrue.jl5.AccrueJL5Options
AccrueJL5Scheduler - Class in accrue.jl5
AccrueJL5Scheduler(JLExtensionInfo) - Constructor for class accrue.jl5.AccrueJL5Scheduler
AccrueJL5Scheduler.AccrueJL5SchedulerHelper - Class in accrue.jl5
AccrueJL5Scheduler.AccrueJL5SchedulerHelper(ExtensionInfo, Scheduler) - Constructor for class accrue.jl5.AccrueJL5Scheduler.AccrueJL5SchedulerHelper
AccrueJL5TranslationExtensionInfo - Class in accrue.jl5
  Polyglot extension that pre-processes java5 code with the JL5 extension, converting it to Java 1.4 code, and then performs an analysis pass.
AccrueJL5TranslationExtensionInfo(AccrueExtensionInfo) - Constructor for class accrue.jl5.AccrueJL5TranslationExtensionInfo
AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions - Class in accrue.jl5
  This options class uses the options of the succeeding info flow extension pass
AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions(AccrueJL5TranslationExtensionInfo) - Constructor for class accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
  Create the Options by passing in the extension info an setting it into the `Options` for the info flow pass
AccrueJLExtensionInfo - Class in accrue
  Extension information for Accrue extension for JL source code.
AccrueJLExtensionInfo() - Constructor for class accrue.AccrueJLExtensionInfo
AccrueJLOptions - Class in accrue
  Polyglot options for an object sensitive analysis
AccrueJLOptions(ExtensionInfo) - Constructor for class accrue.AccrueJLOptions
AccrueJLScheduler - Class in accrue
AccrueJLScheduler(JLExtensionInfo) - Constructor for class accrue.AccrueJLScheduler
AccrueLang_c - Class in accrue.analysis.ast
AccrueLang_c() - Constructor for class accrue.analysis.ast.AccrueLang_c
AccrueNew_c - Class in accrue.analysis.ast
AccrueNew_c(Position, Expr, TypeNode, List<Expr>, ClassBody) - Constructor for class accrue.analysis.ast.AccrueNew_c
AccrueNodeFactory - Interface in accrue.analysis.ast
AccrueNodeFactory_c - Class in accrue.analysis.ast
AccrueNodeFactory_c(ExtFactory) - Constructor for class accrue.analysis.ast.AccrueNodeFactory_c
AccrueNodeFactory_c(ExtFactory, DelFactory) - Constructor for class accrue.analysis.ast.AccrueNodeFactory_c
AccrueOptions - Interface in accrue
AccrueOptionsHelper - Class in accrue
  Polyglot options for an object sensitive analysis
AccrueOptionsHelper() - Constructor for class accrue.AccrueOptionsHelper
AccrueScheduler - Interface in accrue
AccrueSchedulerHelper - Class in accrue
  This class defines a number of Accrue-relevant scheduler goals.
AccrueSchedulerHelper(ExtensionInfo, Scheduler) - Constructor for class accrue.AccrueSchedulerHelper
AccrueTry_c - Class in accrue.analysis.ast
AccrueTry_c(Position, Block, List<Catch>, Block) - Constructor for class accrue.analysis.ast.AccrueTry_c
AccrueUtil - Class in accrue
AccrueUtil() - Constructor for class accrue.AccrueUtil
action_obj - Variable in class accrue.analysis.parse.Grm
  Instance of action encapsulation class.
action_table() - Method in class accrue.analysis.parse.Grm
  Access to parse-action table.
actuals - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
add(String, String, List<String>, String, T) - Method in class accrue.analysis.signatures.AnalysisSignatures
add(String, String, List<String>, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
add(String, String, List<String>, String, Object, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
add(String, String, List<String>, String, Object, String, Object, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
addAssignment(ReferenceVariable, ReferenceVariable, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
  left = right
addAssignment(ReferenceVariable, ReferenceVariable, FieldInstance, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
  left = right.fi
addAssignment(ReferenceVariable, ReferenceVariable, String, Type, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
  left = right.fi
addAssignmentToField(ReferenceVariable, FieldInstance, ReferenceVariable, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
  left.fi = right
addAssignmentToField(ReferenceVariable, String, Type, ReferenceVariable, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
  left.fi = right
addCall(PointsToEngine.StmtAndContext, CodeInstance, CContext, ProcedureInstance, CContext, Position) - Method in class accrue.analysis.pointer.PointsToGraph
addCall(PointsToEngine.StmtAndContext, CodeInstance, CContext, ProcedureInstance, CContext, Position) - Method in class accrue.analysis.pointer.PointsToGraphSerial
addCall(PointsToEngine.StmtAndContext, CodeInstance, CContext, ProcedureInstance, CContext, Position) - Method in class accrue.analysis.pointer.PointsToGraphSync
addCatchImplicitError(ReferenceVariable, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
  catch (T e) { ...
addConstructor(String, List<String>, String, T) - Method in class accrue.analysis.signatures.AnalysisSignatures
addConstructor(String, List<String>, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
addConstructor(String, List<String>, String, Object, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
addConstructor(String, List<String>, String, Object, String, Object, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
addConstructorCall(ReferenceVariable, ConstructorInstance, ExtProcedureCall, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
addDefs(HContext, VarContext<DefUseAbsVal>, AnalysisUtilVarContextDataFlow<VarContext<DefUseAbsVal>, DefUseAbsVal>, List<String>, Set<AbstractLocation>, NodeIdentifier) - Method in class accrue.analysis.defuse.DefUseLibrarySignature
addEdge(AnalysisUnit, AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.CallGraph
addEdge(PointsToEngine.StmtAndContext, PointsToGraphNode, HContext, Position) - Method in class accrue.analysis.pointer.PointsToGraph
addEdge(PointsToEngine.StmtAndContext, PointsToGraphNode, HContext, Position) - Method in class accrue.analysis.pointer.PointsToGraphSerial
  Returns true iff changes were made to the graph.
addEdge(PointsToEngine.StmtAndContext, PointsToGraphNode, HContext, Position) - Method in class accrue.analysis.pointer.PointsToGraphSync
addEdges(PointsToEngine.StmtAndContext, PointsToGraphNode, Set<HContext>, Position) - Method in class accrue.analysis.pointer.PointsToGraph
addEdges(PointsToEngine.StmtAndContext, PointsToGraphNode, Set<HContext>, Position) - Method in class accrue.analysis.pointer.PointsToGraphSerial
  Returns true iff changes were made to the graph.
addEdges(PointsToEngine.StmtAndContext, PointsToGraphNode, Set<HContext>, Position) - Method in class accrue.analysis.pointer.PointsToGraphSync
addEdgesForCall(CodeInstance, CContext, CallSiteNode, StmtRegistrar, PointsToGraph, StmtRegistrar.CodeInfo, HContext, List<ReferenceVariableReplica>, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Static method in class accrue.analysis.pointer.StmtProcedureCall
addExceptionAssignments(Type, ReferenceVariable, Position, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.pointer.StmtRegistrar
  Utility method for adding exceptions
addExceptions(VarContext<DefUseAbsVal>, AnalysisUtilVarContextDataFlow<VarContext<DefUseAbsVal>, DefUseAbsVal>, Set<ExitMap.Key>) - Method in class accrue.analysis.defuse.DefUseLibrarySignature
addFieldInitializer(ClassType, FieldDecl) - Method in class accrue.analysis.visit.MakeInstanceInitializersExplicit
addFilteredAssignment(ReferenceVariable, ReferenceVariable, Type, Set<Type>, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
  left = right, and only allow left to point to objects that are subtypes of t and not subtypes of any element of notT.
addGeneratedExceptionAssignments(Set<ClassType>, Term, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.pointer.StmtRegistrar
  Utility method for adding exceptions
addKey(ExitMap.Key, T) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Functional update of an `ExitMap`.
addLocal(String, T) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Add a new local variable to the context
addLocations(VarContext<T>, Set<AbstractLocation>, T) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Add a set of locations at the given value.
addLocations(Set<AbstractLocation>, T) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Only call this through AnalysisUtil.addLocations AbsVal for abstract locations only increase, they never get replaced...
addLocationsImpl(Set<AbstractLocation>, T) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Add the locations with the upper bound of the existing abstract value (if any) and `absVal`
addReachingDef(EdgeIdentifier) - Method in class accrue.analysis.defuse.DefUseAbsVal
addReachingUse(EdgeIdentifier) - Method in class accrue.analysis.antidep.AntiDepAbsVal
addResults(String, AccrueExt, AnalysisContext, Set<T>) - Static method in class accrue.analysis.antidep.AntiDepDataFlow
  Adds a set of results to the current set
addResults(String, AccrueExt, AnalysisContext, FlowGraph.PeerKey, Set<EdgeIdentifier>) - Static method in class accrue.analysis.ctldep.CtlDepDataFlow
  Adds a set of results to the current set
addResults(String, AccrueExt, AnalysisContext, Set<T>) - Static method in class accrue.analysis.defuse.DefUseDataFlow
  Adds a set of results to the current set
addResults(String, AccrueExt, AnalysisContext, Set<T>) - Static method in class accrue.analysis.defuse.DefUseLibrarySignature
  Adds a set of results to the current set
addSignature(String, String, List<String>, T) - Method in class accrue.analysis.interprocvarcontext.SignatureRepository
addSignatureForConstructor(String, List<String>, T) - Method in class accrue.analysis.interprocvarcontext.SignatureRepository
addSpecialCall(ReferenceVariable, ReferenceVariable, MethodInstance, ExtProcedureCall, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
addStaticCall(ReferenceVariable, MethodInstance, ExtProcedureCall, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
addStmt(PointsToStmt) - Method in class accrue.analysis.pointer.StmtRegistrar
addToAll(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Upper bound `c` with the context for each key
addToAll(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.FinalVarContext
addVirtualCall(ReferenceVariable, ReferenceVariable, MethodInstance, ExtProcedureCall, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
af - Variable in class accrue.analysis.pointer.PointsToGraph
allCode() - Method in class accrue.analysis.interprocanalysis.Registrar
allItems() - Method in class accrue.analysis.interprocanalysis.ExitMap
allKeys() - Method in class accrue.analysis.interprocanalysis.ExitMap
allocatedType - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
allocSite() - Method in interface accrue.analysis.pointer.HContext
  Returns the allocation site of this abstract object.
allocSite - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
AllocSiteNode - Class in accrue.analysis.pointer
  Represents an allocation site in the code.
AllocSiteNode(Type, ClassType, boolean, String, Position) - Constructor for class accrue.analysis.pointer.AllocSiteNode
allocSiteNode(TypeSystem, ClassType, Position) - Method in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
allProcs() - Method in class accrue.analysis.interprocanalysis.CallGraph
AnalysesDone(Job) - Method in class accrue.AccrueSchedulerHelper
AnalysesDone - Class in accrue.analysis.goals
AnalysesDone(Job) - Constructor for class accrue.analysis.goals.AnalysesDone
ANALYSIS_NAME - Static variable in class accrue.analysis.antidep.AntiDepAnalysisFactory
ANALYSIS_NAME - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
ANALYSIS_NAME - Static variable in class accrue.analysis.ctldep.CtlDepAnalysisFactory
ANALYSIS_NAME - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
ANALYSIS_NAME - Static variable in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
ANALYSIS_NAME - Static variable in class accrue.analysis.pointer.PointerAnalysisPass
ANALYSIS_NAME - Static variable in class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
ANALYSIS_NAME - Static variable in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
  Name of the analysis
ANALYSIS_RESULT_IMMED_DOMINATED_BY - Static variable in class accrue.analysis.domination.DominationPass
ANALYSIS_RESULT_IMMED_DOMINATOR_OF - Static variable in class accrue.analysis.domination.DominationPass
ANALYSIS_RESULT_IMMED_POST_DOMINATED_BY - Static variable in class accrue.analysis.domination.DominationPass
ANALYSIS_RESULT_IMMED_POST_DOMINATOR_OF - Static variable in class accrue.analysis.domination.DominationPass
AnalysisContext - Class in accrue.analysis.interprocanalysis
  A context in which to analyze code.
AnalysisContext(CContext, ConstructorContext, JLang) - Constructor for class accrue.analysis.interprocanalysis.AnalysisContext
AnalysisContextMap<T> - Class in accrue.analysis.interprocanalysis
  A utility class that is used to help record analysis results for AST nodes.
AnalysisContextMap(Class<? extends AnalysisContext>) - Constructor for class accrue.analysis.interprocanalysis.AnalysisContextMap
AnalysisContextMap() - Constructor for class accrue.analysis.interprocanalysis.AnalysisContextMap
AnalysisContextPeerMap<T> - Class in accrue.analysis.interprocvarcontext
  A utility class that is used to help record analysis results for AST nodes.
AnalysisContextPeerMap(Class<? extends AnalysisContext>) - Constructor for class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
AnalysisContextPeerMap() - Constructor for class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
AnalysisContextPeerMap.CodeObjectPeerContext - Class in accrue.analysis.interprocvarcontext
AnalysisContextPeerMap.CodeObjectPeerContext(FlowGraph.PeerKey, AnalysisContext) - Constructor for class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap.CodeObjectPeerContext
AnalysisExtFactory - Interface in accrue.analysis.ext
AnalysisExtFactory_c - Class in accrue.analysis.ext
AnalysisExtFactory_c(ExtFactory) - Constructor for class accrue.analysis.ext.AnalysisExtFactory_c
AnalysisExtFactory_c() - Constructor for class accrue.analysis.ext.AnalysisExtFactory_c
AnalysisFactory<A extends Ordered<A>> - Class in accrue.analysis.interprocanalysis
  Utility class used by an interprocedural dataflow analysis
AnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.interprocanalysis.AnalysisFactory
AnalysisFactoryVarContext<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
AnalysisFactoryVarContext(AccrueExtensionInfo) - Constructor for class accrue.analysis.interprocvarcontext.AnalysisFactoryVarContext
analysisName() - Method in class accrue.analysis.antidep.AntiDepAnalysisFactory
analysisName() - Method in class accrue.analysis.callgraph.PreciseCallGraphFactory
analysisName() - Method in class accrue.analysis.ctldep.CtlDepAnalysisFactory
analysisName() - Method in class accrue.analysis.defuse.DefUseAnalysisFactory
analysisName() - Method in class accrue.analysis.domination.DominationAnalysisFactory
analysisName() - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
  Get the name of the analysis
analysisName() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
analysisName() - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
analysisName() - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
analysisName() - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
analysisName() - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
analysisReportName() - Method in class accrue.analysis.antidep.AntiDepAnalysisFactory
analysisReportName() - Method in class accrue.analysis.callgraph.PreciseCallGraphFactory
analysisReportName() - Method in class accrue.analysis.ctldep.CtlDepAnalysisFactory
analysisReportName() - Method in class accrue.analysis.defuse.DefUseAnalysisFactory
analysisReportName() - Method in class accrue.analysis.domination.DominationAnalysisFactory
analysisReportName() - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
  Get the name of the analysis report
analysisReportName() - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
analysisReportName() - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
analysisReportName() - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
analysisSignatures - Variable in class accrue.AccrueJLExtensionInfo
AnalysisSignatures - Class in accrue.analysis.signatures
AnalysisSignatures() - Constructor for class accrue.analysis.signatures.AnalysisSignatures
analysisSignatures - Variable in class accrue.jl5.AccrueJL5ExtensionInfo
AnalysisTopics - Class in accrue.analysis
  Analysis topics for Accrue
AnalysisTopics() - Constructor for class accrue.analysis.AnalysisTopics
AnalysisUnit - Class in accrue.analysis.interprocanalysis
  An AnalysisUnit is the unit of analysis that the WorkQueue deals with.
AnalysisUnit(ProcedureDecl, AnalysisContext) - Constructor for class accrue.analysis.interprocanalysis.AnalysisUnit
AnalysisUnit(CodeNode, AnalysisContext) - Constructor for class accrue.analysis.interprocanalysis.AnalysisUnit
AnalysisUnit(Initializer, AnalysisContext) - Constructor for class accrue.analysis.interprocanalysis.AnalysisUnit
AnalysisUnit(FieldDecl, AnalysisContext) - Constructor for class accrue.analysis.interprocanalysis.AnalysisUnit
analysisUtil(WorkQueue<VarContext<AntiDepAbsVal>>, AnalysisUnit) - Method in class accrue.analysis.antidep.AntiDepAnalysisFactory
analysisUtil(WorkQueue<PCGAbsVal>, AnalysisUnit) - Method in class accrue.analysis.callgraph.PreciseCallGraphFactory
analysisUtil(WorkQueue<CDAbsVal>, AnalysisUnit) - Method in class accrue.analysis.ctldep.CtlDepAnalysisFactory
analysisUtil(WorkQueue<VarContext<DefUseAbsVal>>, AnalysisUnit) - Method in class accrue.analysis.defuse.DefUseAnalysisFactory
analysisUtil(WorkQueue<Unit>, AnalysisUnit) - Method in class accrue.analysis.domination.DominationAnalysisFactory
analysisUtil(WorkQueue<A>, AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
  Get the object sensitive analysis utility class.
AnalysisUtil<A extends Ordered<A>> - Class in accrue.analysis.interprocanalysis
  Abstract utility class for performing an object sensitive analysis.
AnalysisUtil(WorkQueue<A>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.interprocanalysis.AnalysisUtil
  Create a new utility class
analysisUtil(WorkQueue<VarContext<NotNullAbsVal>>, AnalysisUnit) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
analysisUtil(WorkQueue<PreciseExAbsVal>, AnalysisUnit) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
analysisUtil(WorkQueue<ReadWriteSet>, AnalysisUnit) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
AnalysisUtilVarContext<A extends Ordered<A>,T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
  Abstract utility class for performing an interprocedural analysis with a variable context.
AnalysisUtilVarContext(WorkQueue<A>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Create a new utility class
AnalysisUtilVarContextDataFlow<A extends Ordered<A>,T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
  Abstract utility class for performing an interprocedural dataflow analysis.
AnalysisUtilVarContextDataFlow(WorkQueue<A>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Create a new utility class
analyze(CodeNode, VarContext<AntiDepAbsVal>) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
analyze(CodeNode, PCGAbsVal) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
analyze(CodeNode, CDAbsVal) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
analyze(CodeNode, VarContext<DefUseAbsVal>) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
analyze(CodeNode, Unit) - Method in class accrue.analysis.domination.DominationAnalysisUtil
analyze(CodeNode, A) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Analyze the given code with the given current analysis results
analyze(CodeNode, VarContext<NotNullAbsVal>) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
analyze(CodeNode, PreciseExAbsVal) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
analyze(CodeNode, ReadWriteSet) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisUtil
analyzeInitializers(PCGAbsVal) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
  Deprecated.
analyzeInitializers(ConstructorCall, PCGAbsVal) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
analyzeInitializers(CDAbsVal) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
analyzeInitializers(A) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Analyze the initializers for the current analysis unit given the current analysis results
analyzeInitializers(PreciseExAbsVal) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
analyzeInitializersForDataFlow(VarContext<AntiDepAbsVal>) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
analyzeInitializersForDataFlow(VarContext<DefUseAbsVal>) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
analyzeInitializersForDataFlow(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Analyze the initializers for the current analysis unit given the current analysis results
analyzeInitializersForDataFlow(VarContext<NotNullAbsVal>) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
analyzeStaticInitializers(A) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Analyze the static initializers for the current analysis unit given the current analysis results
AND - Static variable in class accrue.analysis.parse.sym
ANDAND - Static variable in class accrue.analysis.parse.sym
ANDEQ - Static variable in class accrue.analysis.parse.sym
ANTIDEP - Static variable in class accrue.analysis.AnalysisTopics
AntiDepAbsVal - Class in accrue.analysis.antidep
  Track the uses and definitions of locations.
AntiDepAbsVal() - Constructor for class accrue.analysis.antidep.AntiDepAbsVal
AntiDepAbsVal(Set<EdgeIdentifier>) - Constructor for class accrue.analysis.antidep.AntiDepAbsVal
AntiDepAnalysis() - Method in class accrue.AccrueSchedulerHelper
AntiDepAnalysisFactory - Class in accrue.analysis.antidep
AntiDepAnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.antidep.AntiDepAnalysisFactory
AntiDepAnalysisUtil - Class in accrue.analysis.antidep
AntiDepAnalysisUtil(WorkQueue<VarContext<AntiDepAbsVal>>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.antidep.AntiDepAnalysisUtil
AntiDepDataFlow - Class in accrue.analysis.antidep
  This analysis works as follows: At every use, an edge is created for the reference and associated with the locations referenced.
AntiDepDataFlow(AntiDepAnalysisUtil, WorkQueue<VarContext<AntiDepAbsVal>>, Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.antidep.AntiDepDataFlow
AntiDepGoal - Class in accrue.analysis.antidep
AntiDepGoal() - Constructor for class accrue.analysis.antidep.AntiDepGoal
AntiDepPass - Class in accrue.analysis.antidep
approximateThrown(Term, PreciseDataFlow<FlowItem>) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow.PreciseCFGBuilder
  Approximate the set of exceptions that may be thrown by the term a as precisely as possible
arg_defs - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
arg_uses - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
argumentsOnResultStack(Term, VarContext<T>) - Static method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Get the number of argument results on the stack
ARRAY_CONTENTS - Static variable in class accrue.analysis.interprocanalysis.AbstractLocation
ARRAY_CONTENTS - Static variable in class accrue.analysis.pointer.StmtRegistrar
ascribe(Expr, Type) - Method in class accrue.analysis.visit.InlineFinalConstants
ASSERT - Static variable in class accrue.analysis.parse.sym
aUnitDefs - Variable in class accrue.analysis.defuse.DefUseDataFlow
aUnitObs - Variable in class accrue.analysis.defuse.DefUseDataFlow
aUnitUses - Variable in class accrue.analysis.defuse.DefUseDataFlow
autil - Variable in class accrue.analysis.antidep.AntiDepDataFlow
autil - Variable in class accrue.analysis.callgraph.PreciseCallGraphVisitor
autil - Variable in class accrue.analysis.ctldep.CtlDepDataFlow
autil() - Method in class accrue.analysis.ctldep.CtlDepDataFlow
autil - Variable in class accrue.analysis.defuse.DefUseDataFlow
autil - Variable in class accrue.analysis.domination.PostDominatorDataFlow
autil() - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow
autil() - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
autil - Variable in class accrue.analysis.preciseExceptions.PreciseExVisitor

## B

BOOLEAN - Static variable in class accrue.analysis.parse.sym
BOOLEAN_LITERAL - Static variable in class accrue.analysis.parse.sym
BOTTOM - Static variable in class accrue.analysis.ctldep.CDAbsVal
bottomAbstractValue() - Method in class accrue.analysis.antidep.AntiDepAnalysisFactory
bottomAbstractValue() - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
bottomAbstractValue() - Method in class accrue.analysis.defuse.DefUseAnalysisFactory
bottomAbstractValue() - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
bottomAbstractValue() - Method in class accrue.analysis.interprocvarcontext.AnalysisFactoryVarContext
bottomAbstractValue() - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
bottomAbstractValue() - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
bottomAbstractValue() - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
bottomValDFI() - Method in class accrue.analysis.domination.DominationAnalysisFactory
branch(Branch.Kind) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Get the context for a `break` or a `continue`
branch(Branch.Kind, String) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Get the context for a `break` or a `continue`
branch(Branch.Kind, T) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Set the context for a `break` or `continue`
BRANCH_SOURCES - Static variable in class accrue.analysis.ctldep.CtlDepAnalysisFactory
  The set of EdgeIdentifiers the current node is control dependent on.
BRANCH_TARGETS - Static variable in class accrue.analysis.ctldep.CtlDepAnalysisFactory
  The set of EdgeIdentifiers to nodes that are control dependent on the current node.
branchKey(Branch.Kind) - Static method in class accrue.analysis.interprocanalysis.ExitMap
  Get the key for continue or break
branchKey(Branch.Kind, String) - Static method in class accrue.analysis.interprocanalysis.ExitMap
  Get the branch key (`break` or `continue`) for the given kind and label
BREAK - Static variable in class accrue.analysis.parse.sym
BYTE - Static variable in class accrue.analysis.parse.sym

## C

Call(Position, Receiver, Id, List<Expr>) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
call(MethodInstance, Call) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
call(ConstructorInstance, Expr) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
call(Call) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
call(New) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
call(ConstructorCall) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
call(MethodInstance, Call) - Method in class accrue.analysis.domination.DominationAnalysisUtil
call(ConstructorInstance, New) - Method in class accrue.analysis.domination.DominationAnalysisUtil
call(MethodInstance, VarContext<T>, Call, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Process a call to `mi` with `VarContext` `input`.
call(ConstructorInstance, VarContext<T>, T, New, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Process a call to `ci` created with `new` with `VarContext` `input`.
call(MethodInstance, VarContext<T>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Process a call to `mi` with `VarContext` `input`.
call(ConstructorInstance, VarContext<T>, T, New, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Deprecated.
call(MethodInstance, VarContext<T>, Call, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Deprecated.
call(MethodInstance, Call) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
call(ConstructorInstance, New) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
  Process a constructor call from a new expression
call(MethodInstance, Call) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisUtil
  Analyze a method call
call(ConstructorInstance, New) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisUtil
  Process a constructor call from a new expression
CALL_SOURCES - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
  EdgeIdentifiers from code decls to call sites.
CALL_TARGETS - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
  EdgeIdentifiers from call sites to code decls.
calledBy(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.CallGraph
callee() - Method in class accrue.analysis.pointer.CallSiteNode
callees() - Method in class accrue.analysis.interprocanalysis.CallGraph
callees(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.CallGraph
callFromNew(ConstructorInstance, VarContext<T>, T, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Process a call to `ci` with `VarContext` `input`.
CallGraph - Class in accrue.analysis.interprocanalysis
  Representation of the interprocedural call graph.
CallGraph(Set<AnalysisUnit>) - Constructor for class accrue.analysis.interprocanalysis.CallGraph
callGraph() - Method in class accrue.analysis.interprocanalysis.WorkQueue
callGraph() - Method in class accrue.analysis.pointer.PointsToGraph
callGraph() - Method in class accrue.analysis.pointer.PointsToGraphSerial
callGraph() - Method in class accrue.analysis.pointer.PointsToGraphSync
callNonVirtual(ProcedureInstance, AnalysisContext, HContext, AntiDepAbsVal, VarContext<AntiDepAbsVal>, DataFlowNodeIdentifier, boolean) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
callNonVirtual(ProcedureInstance, AnalysisContext, Node) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
  A non-virtual call to a method instance
callNonVirtual(ProcedureInstance, AnalysisContext, HContext, DefUseAbsVal, VarContext<DefUseAbsVal>, DataFlowNodeIdentifier, boolean) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
callNonVirtual(ProcedureInstance, AnalysisContext, HContext, T, VarContext<T>, DataFlowNodeIdentifier, boolean) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Process a call to a non-virtual call to `pi` with `VarContext` `input`.
CallSiteContextSensitiveAnalysis - Class in accrue.analysis.pointer.analyses
  Analysis where the contexts are based on procedure call sites
CallSiteContextSensitiveAnalysis() - Constructor for class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
  Create an analysis with the default sensitivity
CallSiteContextSensitiveAnalysis(int) - Constructor for class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
  Create an analysis with the given context-call-stack depth
CallSiteForCallee - Class in accrue.analysis.pointer.analyses
  Call site sensitive for any callees matching a given prefix
CallSiteForCallee(int, String) - Constructor for class accrue.analysis.pointer.analyses.CallSiteForCallee
  Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth
CallSiteForCallee(String) - Constructor for class accrue.analysis.pointer.analyses.CallSiteForCallee
  Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth and the default sensitivity.
CallSiteForPattern - Class in accrue.analysis.pointer.analyses
  Call site sensitivity, but only for call sites that match a particular pattern.
CallSiteForPattern() - Constructor for class accrue.analysis.pointer.analyses.CallSiteForPattern
  Create an analysis with the default sensitivity and default string.
CallSiteForPattern(int) - Constructor for class accrue.analysis.pointer.analyses.CallSiteForPattern
  Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
CallSiteNode - Class in accrue.analysis.pointer
  XXX TODO Represents a call site, to a method or constructor.
CallSiteNode(ProcedureInstance, String, Position) - Constructor for class accrue.analysis.pointer.CallSiteNode
callSiteNode - Variable in class accrue.analysis.pointer.StmtProcedureCall
canAllTerminateNormally(List<? extends Node>) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
canTerminateNormally() - Method in class accrue.analysis.callgraph.PCGAbsVal
canTerminateNormally(Node) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
canTerminateNormally(AnalysisContext) - Method in class accrue.analysis.ext.ExtCall
canTerminateNormally(AnalysisContext) - Method in class accrue.analysis.ext.ExtConstructorCall
canTerminateNormally(AnalysisContext) - Method in class accrue.analysis.ext.ExtNew
canTerminateNormally(AnalysisContext) - Method in interface accrue.analysis.ext.ExtProcedureCall
canTerminateNormally() - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
canTerminateNormally(Node) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
canTerminateNormally(AnalysisContext) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
CASE - Static variable in class accrue.analysis.parse.sym
Catch(Position, Formal, Block) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
CATCH - Static variable in class accrue.analysis.parse.sym
CATCH_SOURCES - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
  EdgeIdentifiers from catch sites to throw sites.
CATCH_TARGETS - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
  EdgeIdentifiers from throw sites to catch sites.
CContext - Interface in accrue.analysis.pointer
  A procedure analysis context.
CDAbsVal - Class in accrue.analysis.ctldep
CDAbsVal(CDAbsVal, Set<EdgeIdentifier>) - Constructor for class accrue.analysis.ctldep.CDAbsVal
CDAbsVal(CDAbsVal, EdgeIdentifier) - Constructor for class accrue.analysis.ctldep.CDAbsVal
CHAR - Static variable in class accrue.analysis.parse.sym
CHARACTER - Static variable in class accrue.analysis.parse.Lexer_c
CHARACTER_LITERAL - Static variable in class accrue.analysis.parse.sym
check(FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
check(FlowGraph<VarContext<AntiDepAbsVal>>, Term, boolean, VarContext<AntiDepAbsVal>, Map<FlowGraph.EdgeKey, VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
check(FlowGraph<CDAbsVal>, FlowGraph.Peer<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
check(FlowGraph<CDAbsVal>, Term, boolean, CDAbsVal, Map<FlowGraph.EdgeKey, CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
check(FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
check(FlowGraph<VarContext<DefUseAbsVal>>, Term, boolean, VarContext<DefUseAbsVal>, Map<FlowGraph.EdgeKey, VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
check(FlowGraph<ImmediateDominator>, FlowGraph.Peer<ImmediateDominator>) - Method in class accrue.analysis.domination.DominatorDataFlow
check(FlowGraph<ImmediateDominator>, Term, boolean, ImmediateDominator, Map<FlowGraph.EdgeKey, ImmediateDominator>) - Method in class accrue.analysis.domination.DominatorDataFlow
check(FlowGraph<ImmediatePostDominator>, FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.NonFatalPostDominatorDataFlow
check(FlowGraph<ImmediatePostDominator>, FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
check(FlowGraph<ImmediatePostDominator>, Term, boolean, ImmediatePostDominator, Map<FlowGraph.EdgeKey, ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
check(FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
  "Check" the nodes of the graph for the not null analysis.
check(FlowGraph<VarContext<NotNullAbsVal>>, Term, boolean, VarContext<NotNullAbsVal>, Map<FlowGraph.EdgeKey, VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
checkInvariants(Map<FlowGraph.EdgeKey, VarContext<T>>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Check that our dataflow invariants hold
checkReachedFixedpoint(StmtRegistrar, PointsToGraph) - Method in class accrue.analysis.pointer.PointsToEngine
checkTimeout() - Method in class accrue.analysis.pointer.PointsToEngine
CLASS - Static variable in class accrue.analysis.parse.sym
clearDependees(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.WorkQueue
  Clear the set of AnalysisUnits that depend on the results of AnalysisUnit a.
clearExprResultStack() - Method in class accrue.analysis.interprocvarcontext.VarContext
  Clear the stack of expression results
clearHashCons(String) - Static method in class accrue.analysis.interprocvarcontext.VarContext
  Clear all values for the given analysis
clearMemoization() - Static method in class accrue.analysis.interprocanalysis.AbstractLocation
clearMemoization() - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
clearReturnResult() - Method in class accrue.analysis.interprocvarcontext.VarContext
  Clear the return result in `this`
CLOCK - Static variable in class accrue.analysis.defuse.DefUseLibrarySignature
  The state of the clock
clone() - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
code - Variable in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
CodeGenerated - Class in accrue.analysis.goals
  Comment for `CompileGoal`
CodeGenerated(Job) - Constructor for class accrue.analysis.goals.CodeGenerated
codeInfo(StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
codeInstance - Variable in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
codeNode() - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
COLON - Static variable in class accrue.analysis.parse.sym
COMMA - Static variable in class accrue.analysis.parse.sym
COMP - Static variable in class accrue.analysis.parse.sym
compilerName() - Method in class accrue.AccrueJLExtensionInfo
compilerName() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
compilerName() - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo
computeExpectedExits(Term) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
ComputeFinallyStructure(Job) - Method in class accrue.AccrueSchedulerHelper
ComputeFinallyStructureDone() - Method in class accrue.AccrueSchedulerHelper
computeHashCode() - Method in class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
computeHashCode() - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
computeHashCode() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
confluence(List<CDAbsVal>, FlowGraph.Peer<CDAbsVal>, FlowGraph<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
confluence(List<ImmediateDominator>, FlowGraph.Peer<ImmediateDominator>, FlowGraph<ImmediateDominator>) - Method in class accrue.analysis.domination.DominatorDataFlow
confluence(List<ImmediatePostDominator>, FlowGraph.Peer<ImmediatePostDominator>, FlowGraph<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
confluence(List<VarContext<T>>, FlowGraph.Peer<VarContext<T>>, FlowGraph<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
CONST - Static variable in class accrue.analysis.parse.sym
constructMissingContextForEdgeKey(FlowGraph.EdgeKey, FinalVarContext<T>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  If an edge is missing this method is called to approximate the variable context
constructMissingContextForEdgeKey(FlowGraph.EdgeKey, FinalVarContext<NotNullAbsVal>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
ConstructorCall(Position, ConstructorCall.Kind, Expr, List<Expr>) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
constructorCall(ConstructorInstance, ConstructorCall) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
constructorCall(ConstructorInstance, ConstructorCall) - Method in class accrue.analysis.domination.DominationAnalysisUtil
constructorCall(ConstructorInstance, VarContext<T>, ConstructorCall, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Process a call to `ci` with `VarContext` `input`.
constructorCall(ConstructorInstance, VarContext<T>, ConstructorCall, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Deprecated.
constructorCall(ConstructorInstance, ConstructorCall) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
  Process a constructor call to this() or super(), i.e., from within a constructor.
constructorCall(ConstructorInstance, ConstructorCall) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisUtil
  Process a constructor call to this() or super(), i.e., from within a constructor.
constructorCallFromConstructor(ConstructorInstance, VarContext<T>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Process a call to `ci` with `VarContext` `input`.
constructorContext(ConstructorInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisContext
ConstructorContext - Class in accrue.analysis.pointer
  ConstructorContext is used to distinguish instances of code.
ConstructorContext(ConstructorInstance) - Constructor for class accrue.analysis.pointer.ConstructorContext
constructorContext(ConstructorContext) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
constructorContext() - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
constructorInstance() - Method in class accrue.analysis.pointer.ConstructorContext
containingClass - Variable in class accrue.analysis.pointer.AllocSiteNode
context - Variable in class accrue.analysis.interprocanalysis.AbstractLocation
context() - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
context - Variable in class accrue.analysis.interprocanalysis.NodeIdentifier_c
context - Variable in class accrue.analysis.pointer.ReferenceVariableReplica
contexts() - Method in class accrue.analysis.interprocanalysis.AnalysisContextMap
contexts() - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
CONTINUE - Static variable in class accrue.analysis.parse.sym
controlDeps - Variable in class accrue.analysis.ctldep.CDAbsVal
controlDeps() - Method in class accrue.analysis.ctldep.CDAbsVal
convert(Class<?>) - Method in class accrue.analysis.interprocanalysis.AnalysisContext
convert(CContext, List<ReferenceVariable>, HeapAbstractionFactory) - Static method in class accrue.analysis.pointer.StmtProcedureCall
convert(CContext, Map<Type, ReferenceVariable>, HeapAbstractionFactory) - Static method in class accrue.analysis.pointer.StmtProcedureCall
convert2(CContext, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, HeapAbstractionFactory) - Static method in class accrue.analysis.pointer.StmtProcedureCall
copy() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
copy() - Method in class accrue.analysis.interprocanalysis.ExitMap
  Returns a copy so that it is ok to modify the map.
copy() - Method in class accrue.analysis.interprocvarcontext.FinalVarContext
  Returns a copy so that it is ok to modify the map.
copy() - Method in class accrue.analysis.interprocvarcontext.VarContext
create(Scheduler, Job) - Static method in class accrue.analysis.goals.AnalysesDone
create(Scheduler, Job) - Static method in class accrue.analysis.goals.CodeGenerated
create(Scheduler, Job) - Static method in class accrue.analysis.goals.ExpressionFlattenerGoal
create(Scheduler, Job, NodeFactory, TypeSystem) - Static method in class accrue.analysis.goals.FindFinallyBlocksGoal
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.InlineFinalConstantsGoal
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.MakeInstanceInitializersExplicitGoal
create(Scheduler, Job, NodeFactory) - Static method in class accrue.analysis.goals.MakeNarrowingAssignmentsExplicitGoal
create(Scheduler, Job, NodeFactory, TypeSystem) - Static method in class accrue.analysis.goals.MakeTargetsExplicitGoal
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.MoveInnerClassesGoal
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.MoveStaticFieldInitializersGoal
create(Scheduler, Job, TypeSystem, NodeFactory, boolean) - Static method in class accrue.analysis.goals.MoveStaticFieldInitializersGoal
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.RegisterPointerStmtsGoal
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.RegisterProceduresGoal
create(Scheduler, Job, NodeFactory, TypeSystem) - Static method in class accrue.analysis.goals.SimplifyExpressionsGoal
create(HContext, FieldInstance) - Static method in class accrue.analysis.interprocanalysis.AbstractLocation
create(FieldInstance) - Static method in class accrue.analysis.interprocanalysis.AbstractLocation
create(HContext, String) - Static method in class accrue.analysis.interprocanalysis.AbstractLocation
create(Map<ExitMap.Key, T>, Set<ClassType>) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Create a new map from the constituent parts
create(Map<ExitMap.Key, VarContext<T>>, Set<ClassType>) - Method in class accrue.analysis.interprocvarcontext.FinalVarContext
create(HContext, FieldInstance) - Static method in class accrue.analysis.pointer.ObjectField
create(HContext, String, Type) - Static method in class accrue.analysis.pointer.ObjectField
create(CContext, ReferenceVariable, HeapAbstractionFactory) - Static method in class accrue.analysis.pointer.ReferenceVariableReplica
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.jl5.goals.JL5RegisterPointerStmtsGoal
createAnalysisContext(AnalysisUtil<A>, CodeInstance, HContext, Node) - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
  Create an analysis context for a procedure
createAnalysisSignatures() - Method in class accrue.AccrueJLExtensionInfo
createAnalysisSignatures() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
createAnalysisUnitRecord() - Method in class accrue.analysis.interprocanalysis.WorkQueue
createAnalysisUnitRecord(T, ExitMap<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
createAnalysisUnitRecord() - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
createAnalysisUnitRecord(VarContext<T>, ExitMap<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
createCFGBuilder(TypeSystem, FlowGraph<FlowItem>) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow
createExitMap(A) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Create a map from exit key to the given analysis result
createExitMap(T) - Method in class accrue.analysis.interprocanalysis.WorkQueue
createFinalVarContext(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Create a `FinalVarContext` context from the given `VarContext` for normal termination
createFreshReferenceVariable(Expr, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
createFreshReferenceVariable(Expr, String, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
createHeapAbstractionFactory() - Method in class accrue.AccrueOptionsHelper
createHeapAbstractionFactory(String) - Static method in class accrue.AccrueOptionsHelper
  create a HeapAbstractionFactory from a string.
createHeapDefinition(Set<AbstractLocation>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
createHeapUse(Set<AbstractLocation>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
createHelper() - Method in class accrue.AccrueJLScheduler
createInitContext() - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
createInitContext() - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
createInitContext() - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Create an initial variable context
createInitialItem(FlowGraph<CDAbsVal>, Term, boolean) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
createInitialItem(FlowGraph<ImmediateDominator>, Term, boolean) - Method in class accrue.analysis.domination.DominatorDataFlow
  Create an initial Item for the dataflow analysis.
createInitialItem(FlowGraph<ImmediatePostDominator>, Term, boolean) - Method in class accrue.analysis.domination.PostDominatorDataFlow
  Create an initial Item for the dataflow analysis.
createInitialItem(FlowGraph<VarContext<T>>, Term, boolean) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Create an initial Item for the dataflow analysis.
createLocalDefinition(String, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
createLocalUse(String, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
createNodeFactory() - Method in class accrue.AccrueJLExtensionInfo
createNodeFactory() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
createOptions() - Method in class accrue.AccrueJLExtensionInfo
createOptions() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
createOptions() - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo
createPass(ExtensionInfo) - Method in class accrue.analysis.antidep.AntiDepGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.callgraph.PreciseCallGraphGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.ctldep.CtlDepGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.defuse.DefUseGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.domination.DominatorGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.domination.NonFatalPostDominatorGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.domination.PostDominatorGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.goals.AnalysesDone
createPass(ExtensionInfo) - Method in class accrue.analysis.goals.CodeGenerated
createPass(ExtensionInfo) - Method in class accrue.analysis.goals.MissingCodeReportGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.goals.PointerAnalysisGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.notnulldataflow.NotNullGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.preciseExceptions.PreciseExGoal
createPass(ExtensionInfo) - Method in class accrue.analysis.readwritesets.ReadWriteSetsGoal
createPointsToEngine() - Method in class accrue.AccrueOptionsHelper
  Create the PointsToEngine for performing pointer analysis.
createScheduler() - Method in class accrue.AccrueJLExtensionInfo
createScheduler() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
createStmtRegistrar() - Method in interface accrue.AccrueExtensionInfo
  Create the StmtRegistrar that will be used to register pointer-analysis statements.
createStmtRegistrar() - Method in class accrue.AccrueJLExtensionInfo
createStmtRegistrar() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
createWorkQueue() - Method in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
  Create the analysis work queue of analysis units
createWorkQueue() - Method in class accrue.analysis.interprocvarcontext.InterProcVarContextPass
CrossProductAnalysis - Class in accrue.analysis.pointer.analyses
  Create an analysis context that is the cross product of two context representations.
CrossProductAnalysis(HeapAbstractionFactory, HeapAbstractionFactory) - Constructor for class accrue.analysis.pointer.analyses.CrossProductAnalysis
  Create an analysis as the cross product of two other analyses
CTLDEP - Static variable in class accrue.analysis.AnalysisTopics
CtlDepAnalysisFactory - Class in accrue.analysis.ctldep
CtlDepAnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.ctldep.CtlDepAnalysisFactory
CtlDepAnalysisUtil - Class in accrue.analysis.ctldep
CtlDepAnalysisUtil(WorkQueue<CDAbsVal>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.ctldep.CtlDepAnalysisUtil
CtlDepDataFlow - Class in accrue.analysis.ctldep
CtlDepDataFlow(CtlDepAnalysisUtil, Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.ctldep.CtlDepDataFlow
CtlDepGoal - Class in accrue.analysis.ctldep
CtlDepGoal() - Constructor for class accrue.analysis.ctldep.CtlDepGoal
CtlDepPass - Class in accrue.analysis.ctldep
currentAnalysisUnit() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
currentClass() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
currentCode() - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
currentContext() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
currentContext() - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow
currentStmt - Variable in class accrue.analysis.visit.RegisterExpressions

## D

data_dep_results_key - Variable in class accrue.analysis.defuse.DefUseDataFlow
DATA_DEPENDENCIES - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
  This analysis result stores a Set pointing to definitions of locations used.
dataflow(CodeNode, CDAbsVal) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
dataflow(FlowGraph<ImmediateDominator>) - Method in class accrue.analysis.domination.DominatorDataFlow
dataflow(FlowGraph<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
dataflow(CodeNode, VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Construct a graph for the given code and call super `DataFlow.dataflow(FlowGraph)` on it
DataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> - Interface in accrue.analysis.interprocanalysis
  Helper interface to assist in dispatch for dataflow implementations.
DataFlowNodeIdentifier - Interface in accrue.analysis.interprocanalysis
DataFlowNodeIdentifier_c - Class in accrue.analysis.interprocanalysis
DataFlowNodeIdentifier_c(AnalysisContext, FlowGraph.PeerKey, Term) - Constructor for class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
dataFlowNodeIdentifierForPeer(FlowGraph.Peer<FlowItem>) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow
  Get the dataflow identifier object for the given flowgraph peer
dataFlowNodeIdentifierForPeer(FlowGraph.Peer<FlowItem>, AnalysisContext) - Static method in class accrue.analysis.interprocanalysis.PreciseDataFlow
  Get the dataflow identifier object for the given flowgraph peer in the given context
decls - Variable in class accrue.analysis.goals.RegisterDeclsGoal
decls() - Method in class accrue.analysis.goals.RegisterDeclsGoal
decls - Variable in class accrue.analysis.visit.RegisterFieldDecls
DEFAULT - Static variable in class accrue.analysis.parse.sym
defaultFileExtension() - Method in class accrue.AccrueJLExtensionInfo
defaultFileExtension() - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo
defaultFileExtensions() - Method in class accrue.AccrueJLExtensionInfo
defaultFileExtensions() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
defaultFileExtensions() - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo
DEFUSE - Static variable in class accrue.analysis.AnalysisTopics
DefUseAbsVal - Class in accrue.analysis.defuse
  Track the uses and definitions of locations.
DefUseAbsVal() - Constructor for class accrue.analysis.defuse.DefUseAbsVal
DefUseAbsVal(Set<EdgeIdentifier>) - Constructor for class accrue.analysis.defuse.DefUseAbsVal
DefUseAnalysis() - Method in class accrue.AccrueSchedulerHelper
DefUseAnalysisFactory - Class in accrue.analysis.defuse
DefUseAnalysisFactory(AccrueExtensionInfo, DefUseAnalysisUtil.Mode, boolean) - Constructor for class accrue.analysis.defuse.DefUseAnalysisFactory
DefUseAnalysisUtil - Class in accrue.analysis.defuse
DefUseAnalysisUtil(WorkQueue<VarContext<DefUseAbsVal>>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.defuse.DefUseAnalysisUtil
DefUseAnalysisUtil(WorkQueue<VarContext<DefUseAbsVal>>, AnalysisUnit, AccrueExtensionInfo, DefUseAnalysisUtil.Mode, boolean) - Constructor for class accrue.analysis.defuse.DefUseAnalysisUtil
DefUseAnalysisUtil.Mode - Enum in accrue.analysis.defuse
DefUseDataFlow - Class in accrue.analysis.defuse
  This dataflow finds reaching definitions for each local and field use.
DefUseDataFlow(DefUseAnalysisUtil, WorkQueue<VarContext<DefUseAbsVal>>, Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.defuse.DefUseDataFlow
DefUseGoal - Class in accrue.analysis.defuse
DefUseGoal(DefUseAnalysisUtil.Mode) - Constructor for class accrue.analysis.defuse.DefUseGoal
DefUseLibrarySignature - Class in accrue.analysis.defuse
  Signature classes for Def/Use analysis.
DefUseLibrarySignature(List<String>, List<String>, boolean, boolean) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature
  A signature that defines and uses locations on the receiver
DefUseLibrarySignature(List<String>, List<String>, List<String>, List<String>, boolean, boolean) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature
  A signature that defines and uses locations on the receiver and arguments
DefUseLibrarySignature(List<String>, List<String>, List<String>, List<String>, List<List<String>>, List<List<String>>, boolean, boolean) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature
  A signature that defines and uses locations on the receiver and arguments
DefUseLibrarySignature.DEF_ARG - Class in accrue.analysis.defuse
DefUseLibrarySignature.DEF_ARG(int, int, String) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.DEF_ARG
DefUseLibrarySignature.DEF_HIDDEN - Class in accrue.analysis.defuse
DefUseLibrarySignature.DEF_HIDDEN(String...) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.DEF_HIDDEN
DefUseLibrarySignature.Join - Class in accrue.analysis.defuse
DefUseLibrarySignature.Join(DefUseLibrarySignature, DefUseLibrarySignature) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.Join
DefUseLibrarySignature.USE_DEF_HIDDEN - Class in accrue.analysis.defuse
DefUseLibrarySignature.USE_DEF_HIDDEN(String...) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.USE_DEF_HIDDEN
DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN - Class in accrue.analysis.defuse
DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN(String, int, int, String) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN
DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN(List<String>, int, List<Integer>, List<String>) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN
DefUseLibrarySignature.USE_HIDDEN - Class in accrue.analysis.defuse
DefUseLibrarySignature.USE_HIDDEN(String...) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.USE_HIDDEN
DefUsePass - Class in accrue.analysis.defuse
depthToNodeEntry(Term) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Return number of elements on stack since entry to node was recorded.
DistinguishClass - Class in accrue.analysis.pointer.analyses
  A heap abstraction that improves the precision of object sensitive analyses: once a call stack is tainted by a subclass of the specified class, all heap and code contexts are distinguished by the allocation site of that specified class.
DistinguishClass(String) - Constructor for class accrue.analysis.pointer.analyses.DistinguishClass
DIV - Static variable in class accrue.analysis.parse.sym
DIVEQ - Static variable in class accrue.analysis.parse.sym
diverge(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Add the context, `c`, to the map with a diverge key
DO - Static variable in class accrue.analysis.parse.sym
do_action(int, lr_parser, Stack<Symbol>, int) - Method in class accrue.analysis.parse.Grm
  Invoke a user supplied parse action.
DominationAnalysisFactory - Class in accrue.analysis.domination
DominationAnalysisFactory(DominationPass.Kind, AccrueExtensionInfo) - Constructor for class accrue.analysis.domination.DominationAnalysisFactory
DominationAnalysisUtil - Class in accrue.analysis.domination
DominationAnalysisUtil(WorkQueue<Unit>, AnalysisUnit, AccrueExtensionInfo, DominationPass.Kind) - Constructor for class accrue.analysis.domination.DominationAnalysisUtil
DominationPass - Class in accrue.analysis.domination
DominationPass.Kind - Enum in accrue.analysis.domination
Dominator() - Method in class accrue.AccrueSchedulerHelper
DOMINATOR - Static variable in class accrue.analysis.AnalysisTopics
DominatorDataFlow - Class in accrue.analysis.domination
  This PreciseDataFlow finds dominators in the control flow graph.
DominatorDataFlow(Job, TypeSystem, NodeFactory, DominationAnalysisUtil) - Constructor for class accrue.analysis.domination.DominatorDataFlow
DominatorGoal - Class in accrue.analysis.domination
DominatorGoal() - Constructor for class accrue.analysis.domination.DominatorGoal
dominatorsOf(DataFlowNodeIdentifier, FlowGraph<FlowItem>, AnalysisContext) - Static method in class accrue.analysis.domination.DominatorDataFlow
  Returns the set of all dominators of the given Peer within the flow graph.
DONT_TRACK_BOTTOM - Static variable in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Change this if we want bottom policies to stick around
DOT - Static variable in class accrue.analysis.parse.sym
DOUBLE - Static variable in class accrue.analysis.parse.sym
DOUBLE_LITERAL - Static variable in class accrue.analysis.parse.sym
dropBackEdges() - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
dump(PrintStream) - Method in class accrue.analysis.interprocanalysis.CallGraph
dump(PrintStream) - Method in class accrue.analysis.pointer.PointsToGraph
  Dump the graph in a human readable form.
dump(PrintStream) - Method in class accrue.analysis.pointer.PointsToGraphSerial
dump(PrintStream) - Method in class accrue.analysis.pointer.PointsToGraphSync
dumpPointsToGraph(int) - Method in class accrue.analysis.pointer.PointsToGraph
  Dump the graph in GraphViz dot format.
dumpPointsToGraph(int) - Method in class accrue.analysis.pointer.PointsToGraphSerial
dumpPointsToGraph(int) - Method in class accrue.analysis.pointer.PointsToGraphSync
dumpQueue(PrintStream) - Method in class accrue.analysis.interprocanalysis.WorkQueue

## E

EDGE_CALL - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
EDGE_CONTROL - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
EDGE_FALSE - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
EDGE_INIT - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
EDGE_RETURN - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
EDGE_TRUE - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
EdgeIdentifier - Interface in accrue.analysis.interprocanalysis
EdgeIdentifier.EdgeType - Class in accrue.analysis.interprocanalysis
EdgeIdentifier.EdgeType(boolean) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.EdgeType
EdgeIdentifier.ExceptionEdge - Class in accrue.analysis.interprocanalysis
EdgeIdentifier.ExceptionEdge(ClassType) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.ExceptionEdge
EdgeIdentifier.HeapUseKey - Class in accrue.analysis.interprocanalysis
  A HeapUseKey is used for data dependency edges between defs and uses of heap locations
EdgeIdentifier.HeapUseKey(Set<AbstractLocation>, boolean) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
EdgeIdentifier.HeapUseKey(Set<AbstractLocation>) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
EdgeIdentifier.LocalUseKey - Class in accrue.analysis.interprocanalysis
  A LocalUseKey is used for data dependency edges between defs and uses of Local and Formal locations
EdgeIdentifier.LocalUseKey(String) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
EdgeIdentifier.LocalUseKey(String, boolean) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
EdgeIdentifier_c - Class in accrue.analysis.interprocanalysis
EdgeIdentifier_c(EdgeIdentifier.EdgeType, NodeIdentifier) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier_c
edgeKeyConvert(FlowGraph.EdgeKey) - Static method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Convert `FlowGraph` edge keys to `FinalVarContext` edge keys
edgeSize() - Method in class accrue.analysis.pointer.PointsToGraph
edgeSize() - Method in class accrue.analysis.pointer.PointsToGraphSerial
edgeSize() - Method in class accrue.analysis.pointer.PointsToGraphSync
ELSE - Static variable in class accrue.analysis.parse.sym
EMPTY - Static variable in class accrue.analysis.antidep.AntiDepAbsVal
EMPTY - Static variable in class accrue.analysis.callgraph.PCGAbsVal
EMPTY - Static variable in class accrue.analysis.defuse.DefUseAbsVal
EMPTY - Static variable in class accrue.analysis.interprocvarcontext.Stack
EMPTY - Static variable in class accrue.analysis.preciseExceptions.PreciseExAbsVal
EMPTY - Static variable in class accrue.analysis.readwritesets.ReadWriteSet
  Empty read and write sets
EMPTY_CONTEXT - Variable in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
  Empty context represents methods with no invoking objects (including static methods).
EMPTY_CONTEXT - Variable in class accrue.analysis.pointer.analyses.CallSiteForPattern
  Empty context represents methods with no invoking objects (including static methods).
EMPTY_CONTEXT - Variable in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
  Empty context represents methods with no invoking objects (including static methods).
EMPTY_CONTEXT - Variable in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
  Empty context represents methods with no invoking objects (including static methods).
EMPTY_CONTEXT - Variable in class accrue.analysis.pointer.analyses.StickFirstMatches
  Empty context represents methods with no invoking objects (including static methods).
emptyExitMap() - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
  Get the `ExitMap`
emptyExitMap() - Method in class accrue.analysis.interprocanalysis.WorkQueue
emptyExitMap() - Method in class accrue.analysis.interprocvarcontext.AnalysisFactoryVarContext
emptyFinalVarContext() - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
emptysetsigs - Variable in class accrue.AccrueOptionsHelper
emptySetSigsOptFlag - Variable in class accrue.AccrueOptionsHelper
emptyStack() - Static method in class accrue.analysis.interprocvarcontext.Stack
emptyStack() - Static method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
  This is the only way to create a `SuspendedExecutionStack`
enclosedExprs - Variable in class accrue.analysis.goals.RegisterExpressionsGoal
enclosedExprs - Variable in class accrue.analysis.visit.RegisterExpressions
enclosingFinallyDepth() - Method in interface accrue.analysis.ext.AccrueExt
  How many enclosing finally blocks is this node nested inside? This information is used during dataflow analysis to help manage syspended execution contexts.
enclosingFinallyDepth() - Method in class accrue.analysis.ext.AccrueExt_c
enclosingStmt - Variable in class accrue.analysis.goals.RegisterExpressionsGoal
enclosingStmt() - Method in class accrue.analysis.goals.RegisterExpressionsGoal
enclosingStmt - Variable in class accrue.analysis.visit.RegisterExpressions
END_OF_LINE_COMMENT - Static variable in class accrue.analysis.parse.Lexer_c
engine - Variable in class accrue.analysis.pointer.PointsToGraph
enter(Node, Node) - Method in class accrue.analysis.visit.MakeTargetsExplicit
enter(Node, Node) - Method in class accrue.analysis.visit.RegisterExpressions
enter(Node) - Method in class accrue.analysis.visit.SimplifyExpressions
enterCall(Node) - Method in class accrue.analysis.interprocanalysis.RegisterProceduresVisitor
enterCall(Node, Node) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
enterCall(Node, Node) - Method in class accrue.analysis.visit.FindFinallyBlocks
enterCall(Node, Node) - Method in class accrue.jl5.pointer.JL5RegisterPointerStmtsVisitor
ENTRY - Variable in class accrue.analysis.ctldep.CtlDepDataFlow
ENTRY - Static variable in interface accrue.analysis.interprocanalysis.NativeNodeIdentifier
  Standard indexes for referring to entry and exit of native code.
EOF - Static variable in class accrue.analysis.parse.sym
EOF_sym() - Method in class accrue.analysis.parse.Grm
  `EOF` Symbol index.
EQ - Static variable in class accrue.analysis.parse.sym
EQEQ - Static variable in class accrue.analysis.parse.sym
equals(Object) - Method in class accrue.analysis.antidep.AntiDepAbsVal
equals(Object) - Method in class accrue.analysis.callgraph.PCGAbsVal
equals(Object) - Method in class accrue.analysis.ctldep.CDAbsVal
equals(Object) - Method in class accrue.analysis.defuse.DefUseAbsVal
equals(Object) - Method in class accrue.analysis.defuse.NewAllocAbsVal
equals(Object) - Method in class accrue.analysis.interprocanalysis.AbstractLocation
equals(Object) - Method in class accrue.analysis.interprocanalysis.AnalysisContext
equals(Object) - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
equals(Object) - Method in class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
equals(Object) - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
equals(Object) - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
equals(Object) - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
equals(Object) - Method in class accrue.analysis.interprocanalysis.ExitMap
equals(Object) - Method in class accrue.analysis.interprocanalysis.ExitMap.ExceptionKey
equals(Object) - Method in class accrue.analysis.interprocanalysis.ExitMap.Key
equals(Object) - Method in class accrue.analysis.interprocanalysis.ExitMap.LabeledBranchKey
equals(Object) - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
equals(Object) - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
equals(Object) - Method in class accrue.analysis.interprocanalysis.Unit
equals(Object) - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap.CodeObjectPeerContext
equals(Object) - Method in class accrue.analysis.interprocvarcontext.Stack
equals(Object) - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
equals(Object) - Method in class accrue.analysis.interprocvarcontext.VarContext
equals(Object) - Method in class accrue.analysis.pointer.AllocSiteNode
equals(Object) - Method in class accrue.analysis.pointer.CallSiteNode
equals(Object) - Method in class accrue.analysis.pointer.ConstructorContext
equals(Object) - Method in class accrue.analysis.pointer.ObjectField
equals(Object) - Method in class accrue.analysis.pointer.PointsToEngine.StmtAndContext
equals(Object) - Method in class accrue.analysis.pointer.PointsToGraph
equals(Object) - Method in class accrue.analysis.pointer.PointsToStmt
equals(Object) - Method in class accrue.analysis.pointer.ReferenceVariable
equals(Object) - Method in class accrue.analysis.pointer.ReferenceVariableReplica
equals(Object) - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
equals(Object) - Method in class accrue.analysis.preciseExceptions.ThrowableType
equals(Object) - Method in class accrue.analysis.readwritesets.ReadWriteSet
equalsSemantic(CContext) - Method in interface accrue.analysis.pointer.CContext
  Semantic equality between two CContexts.
equalsSemantic(HContext) - Method in interface accrue.analysis.pointer.HContext
  Semantic equality between two HContexts.
equalsSemantic(ObjectField) - Method in class accrue.analysis.pointer.ObjectField
equalsSemantic(ReferenceVariableReplica) - Method in class accrue.analysis.pointer.ReferenceVariableReplica
error - Static variable in class accrue.analysis.parse.sym
error_sym() - Method in class accrue.analysis.parse.Grm
  `error` Symbol index.
ExactExceptions(String) - Static method in class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
exception(ClassType, T) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Add the exception type with the context, `c`
exception(ClassType) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Get the context for the given exception type
exceptionHandlers(List<StmtRegistrar.ExceptionHandlerReferenceVariable>) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
exceptionHandlers() - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
exceptionHandlers - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
exceptionKey(ClassType) - Static method in class accrue.analysis.interprocanalysis.ExitMap
  Get the key for the given exception type
exceptionRets - Variable in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
exceptionTypes - Variable in class accrue.analysis.interprocanalysis.ExitMap
  Type of exceptions that can be thrown on exception exit
exceptionTypes() - Method in class accrue.analysis.interprocanalysis.ExitMap
existingResultSuitable(T, WorkQueue.AnalysisUnitRecord<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
existingResultSuitable(VarContext<T>, WorkQueue.AnalysisUnitRecord<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
existsPathOfLength(CodeInstance, int) - Method in class accrue.analysis.interprocanalysis.CallGraph
existsPathOfLength(AnalysisUnit, int) - Method in class accrue.analysis.interprocanalysis.CallGraph
EXIT - Static variable in interface accrue.analysis.interprocanalysis.NativeNodeIdentifier
  Standard indexes for referring to entry and exit of native code.
ExitMap<T extends Ordered<T>> - Class in accrue.analysis.interprocanalysis
  Map giving the possible exit paths and the lattice elements along those paths
ExitMap(Map<ExitMap.Key, T>, Set<ClassType>) - Constructor for class accrue.analysis.interprocanalysis.ExitMap
  Create a new map from the constituent parts
ExitMap.ExceptionKey - Class in accrue.analysis.interprocanalysis
  Key for an exception exit path
ExitMap.Key - Class in accrue.analysis.interprocanalysis
  Exit map key
ExitMap.Key() - Constructor for class accrue.analysis.interprocanalysis.ExitMap.Key
ExitMap.LabeledBranchKey - Class in accrue.analysis.interprocanalysis
  Labeled `break` or `continue`
expectedType() - Method in class accrue.analysis.pointer.AllocSiteNode
expectedType() - Method in class accrue.analysis.pointer.ObjectField
expectedType() - Method in class accrue.analysis.pointer.PointsToGraphNode
expectedType() - Method in class accrue.analysis.pointer.ReferenceVariable
expectedType() - Method in class accrue.analysis.pointer.ReferenceVariableReplica
expr() - Method in interface accrue.analysis.ast.Suppress
expr() - Method in class accrue.analysis.ast.Suppress_c
ExpressionFlattenerGoal(Job) - Method in class accrue.AccrueSchedulerHelper
ExpressionFlattenerGoal - Class in accrue.analysis.goals
ExpressionFlattenerGoal(Job, NodeFactory, TypeSystem) - Constructor for class accrue.analysis.goals.ExpressionFlattenerGoal
exprResultStack() - Method in class accrue.analysis.interprocvarcontext.VarContext
exprResultStack(Stack<T>, Map<Term, Integer>) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Swap the expression result stack in this with `s`
exprResultStackNodeEntry() - Method in class accrue.analysis.interprocvarcontext.VarContext
ext(Node) - Static method in class accrue.analysis.ext.AccrueExt_c
ExtAlloc - Interface in accrue.analysis.ext
extAmbTypeInstantiation() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extAmbTypeInstantiationImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extAmbWildCard() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extAmbWildCardImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extAnnotationElemDecl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extAnnotationElemDeclImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
ExtArrayAccess - Class in accrue.analysis.ext
ExtArrayAccess() - Constructor for class accrue.analysis.ext.ExtArrayAccess
ExtArrayAccessAssign - Class in accrue.analysis.ext
ExtArrayAccessAssign() - Constructor for class accrue.analysis.ext.ExtArrayAccessAssign
extArrayAccessAssignImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extArrayAccessImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtArrayInit - Class in accrue.analysis.ext
ExtArrayInit() - Constructor for class accrue.analysis.ext.ExtArrayInit
extArrayInitImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtAssert - Class in accrue.analysis.ext
ExtAssert() - Constructor for class accrue.analysis.ext.ExtAssert
extAssertImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtBinary - Class in accrue.analysis.ext
ExtBinary() - Constructor for class accrue.analysis.ext.ExtBinary
extBinaryImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtBlock - Class in accrue.analysis.ext
ExtBlock() - Constructor for class accrue.analysis.ext.ExtBlock
extBlockImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtBranch - Class in accrue.analysis.ext
ExtBranch() - Constructor for class accrue.analysis.ext.ExtBranch
extBranchImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtCall - Class in accrue.analysis.ext
ExtCall() - Constructor for class accrue.analysis.ext.ExtCall
extCallImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtCast - Class in accrue.analysis.ext
ExtCast() - Constructor for class accrue.analysis.ext.ExtCast
extCastImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtCatch - Class in accrue.analysis.ext
ExtCatch() - Constructor for class accrue.analysis.ext.ExtCatch
extCatchImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtCodeDecl - Class in accrue.analysis.ext
ExtCodeDecl() - Constructor for class accrue.analysis.ext.ExtCodeDecl
ExtConditional - Class in accrue.analysis.ext
ExtConditional() - Constructor for class accrue.analysis.ext.ExtConditional
extConditionalImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtConstructorCall - Class in accrue.analysis.ext
ExtConstructorCall() - Constructor for class accrue.analysis.ext.ExtConstructorCall
extConstructorCallImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtConstructorDecl - Class in accrue.analysis.ext
ExtConstructorDecl() - Constructor for class accrue.analysis.ext.ExtConstructorDecl
extConstructorDeclImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtDo - Class in accrue.analysis.ext
ExtDo() - Constructor for class accrue.analysis.ext.ExtDo
extDoImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extElementValueArrayInit() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extElementValueArrayInitImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extElementValuePair() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extElementValuePairImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
ExtEmpty - Class in accrue.analysis.ext
ExtEmpty() - Constructor for class accrue.analysis.ext.ExtEmpty
extEmptyImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
EXTENDS - Static variable in class accrue.analysis.parse.sym
extensionInfo() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
extensionInfo() - Method in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
extensionInfo() - Method in class accrue.analysis.interprocanalysis.WorkQueue
ExtEnumConstant - Class in accrue.jl5.ext
ExtEnumConstant() - Constructor for class accrue.jl5.ext.ExtEnumConstant
extEnumConstant() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
ExtEnumConstantDecl - Class in accrue.jl5.ext
ExtEnumConstantDecl() - Constructor for class accrue.jl5.ext.ExtEnumConstantDecl
extEnumConstantDecl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extEnumConstantDeclImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extEnumConstantImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extEnumDecl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extEnumDeclImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
ExtEval - Class in accrue.analysis.ext
ExtEval() - Constructor for class accrue.analysis.ext.ExtEval
extEvalImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtExpr - Class in accrue.analysis.ext
ExtExpr() - Constructor for class accrue.analysis.ext.ExtExpr
extExprImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extExtendedFor() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extExtendedForImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
ExtField - Class in accrue.analysis.ext
ExtField() - Constructor for class accrue.analysis.ext.ExtField
ExtFieldAssign - Class in accrue.analysis.ext
ExtFieldAssign() - Constructor for class accrue.analysis.ext.ExtFieldAssign
extFieldAssignImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtFieldDecl - Class in accrue.analysis.ext
ExtFieldDecl() - Constructor for class accrue.analysis.ext.ExtFieldDecl
extFieldDeclImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extFieldImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtFormal - Class in accrue.analysis.ext
ExtFormal() - Constructor for class accrue.analysis.ext.ExtFormal
extFormalImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtIf - Class in accrue.analysis.ext
ExtIf() - Constructor for class accrue.analysis.ext.ExtIf
extIfImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extInfo - Variable in class accrue.AccrueSchedulerHelper
  The ExtensionInfo for the scheduler this class is helping.
extInfo - Variable in class accrue.analysis.interprocanalysis.AnalysisFactory
extInfo - Variable in class accrue.analysis.interprocanalysis.AnalysisUtil
  Compiler extension info
extInfo - Variable in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
  Compiler extension info
ExtInitializer - Class in accrue.analysis.ext
ExtInitializer() - Constructor for class accrue.analysis.ext.ExtInitializer
extInitializerImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtInitializerOrFieldDecl - Interface in accrue.analysis.ext
ExtInstanceof - Class in accrue.analysis.ext
ExtInstanceof() - Constructor for class accrue.analysis.ext.ExtInstanceof
extInstanceofImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtLabeled - Class in accrue.analysis.ext
ExtLabeled() - Constructor for class accrue.analysis.ext.ExtLabeled
extLabeledImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtLit - Class in accrue.analysis.ext
ExtLit() - Constructor for class accrue.analysis.ext.ExtLit
extLitImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtLocal - Class in accrue.analysis.ext
ExtLocal() - Constructor for class accrue.analysis.ext.ExtLocal
ExtLocalAssign - Class in accrue.analysis.ext
ExtLocalAssign() - Constructor for class accrue.analysis.ext.ExtLocalAssign
extLocalAssignImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtLocalDecl - Class in accrue.analysis.ext
ExtLocalDecl() - Constructor for class accrue.analysis.ext.ExtLocalDecl
extLocalDeclImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extLocalImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtLoop - Class in accrue.analysis.ext
ExtLoop() - Constructor for class accrue.analysis.ext.ExtLoop
extMarkerAnnotationElem() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extMarkerAnnotationElemImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
ExtMethodDecl - Class in accrue.analysis.ext
ExtMethodDecl() - Constructor for class accrue.analysis.ext.ExtMethodDecl
extMethodDeclImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtNew - Class in accrue.analysis.ext
ExtNew() - Constructor for class accrue.analysis.ext.ExtNew
ExtNewArray - Class in accrue.analysis.ext
ExtNewArray() - Constructor for class accrue.analysis.ext.ExtNewArray
extNewArrayImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extNewImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extNodeImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extNormalAnnotationElem() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extNormalAnnotationElemImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extParamTypeNode() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extParamTypeNodeImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
ExtPrimitiveExpr - Class in accrue.analysis.ext
  The extension to use for any primitive only expression.
ExtPrimitiveExpr() - Constructor for class accrue.analysis.ext.ExtPrimitiveExpr
ExtProcedureCall - Interface in accrue.analysis.ext
ExtProcedureDecl - Class in accrue.analysis.ext
ExtProcedureDecl() - Constructor for class accrue.analysis.ext.ExtProcedureDecl
ExtReturn - Class in accrue.analysis.ext
ExtReturn() - Constructor for class accrue.analysis.ext.ExtReturn
extReturnImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extSingleElementAnnotationElem() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
extSingleElementAnnotationElemImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
ExtSpecial - Class in accrue.analysis.ext
ExtSpecial() - Constructor for class accrue.analysis.ext.ExtSpecial
extSpecialImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extSuppress() - Method in interface accrue.analysis.ext.AnalysisExtFactory
extSuppress() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtSuppress - Class in accrue.analysis.ext
ExtSuppress() - Constructor for class accrue.analysis.ext.ExtSuppress
extSuppressImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtSwitch - Class in accrue.analysis.ext
ExtSwitch() - Constructor for class accrue.analysis.ext.ExtSwitch
extSwitchBlockImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
extSwitchImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtSynchronized - Class in accrue.analysis.ext
ExtSynchronized() - Constructor for class accrue.analysis.ext.ExtSynchronized
extSynchronizedImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtTerm - Class in accrue.analysis.ext
  Dataflow node extension object for an object sensitive analysis
ExtTerm() - Constructor for class accrue.analysis.ext.ExtTerm
extTermImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtThrow - Class in accrue.analysis.ext
ExtThrow() - Constructor for class accrue.analysis.ext.ExtThrow
extThrowImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtTry - Class in accrue.analysis.ext
ExtTry() - Constructor for class accrue.analysis.ext.ExtTry
extTryImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtTypeNode - Class in accrue.analysis.ext
ExtTypeNode() - Constructor for class accrue.analysis.ext.ExtTypeNode
extTypeNodeImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtUnary - Class in accrue.analysis.ext
ExtUnary() - Constructor for class accrue.analysis.ext.ExtUnary
extUnaryImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
ExtWhile - Class in accrue.analysis.ext
ExtWhile() - Constructor for class accrue.analysis.ext.ExtWhile
extWhileImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
exType - Variable in class accrue.analysis.interprocanalysis.ExitMap.ExceptionKey
  Type of exception
exType - Variable in class accrue.analysis.pointer.StmtProcedureCall.ExceptionHandlerPointsToGraphNode
exType - Variable in class accrue.analysis.pointer.StmtRegistrar.ExceptionHandlerReferenceVariable

## F

factory - Variable in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
  Analysis utility class
factory() - Method in class accrue.analysis.interprocanalysis.WorkQueue
factory() - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
falseResult() - Method in class accrue.analysis.interprocanalysis.ExitMap
  Get the context for the false branch if any, otherwise return the context for normal termination
falseResult(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Set the context for the false branch
fi - Variable in class accrue.analysis.interprocanalysis.AbstractLocation
fi - Variable in class accrue.analysis.pointer.ObjectField
fieldName - Variable in class accrue.analysis.interprocanalysis.AbstractLocation
fieldName - Variable in class accrue.analysis.pointer.ObjectField
file() - Method in class accrue.analysis.parse.Lexer_c
FINAL - Static variable in class accrue.analysis.parse.sym
FINALLY - Static variable in class accrue.analysis.parse.sym
FinalVarContext<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
  The analysis context produced by analyzing a command.
FinalVarContext(Map<ExitMap.Key, VarContext<T>>, Set<ClassType>) - Constructor for class accrue.analysis.interprocvarcontext.FinalVarContext
  Create one from its parts
finalVarContextToDataFlowMap(FinalVarContext<T>, Set<FlowGraph.EdgeKey>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Converts a FinalVarContext to a map from EdgeKeys to Items.
FindFinallyBlocks - Class in accrue.analysis.visit
  This visitor identifies finally blocks, and records for every node how many finally blocks it is lexically nested in.
FindFinallyBlocks(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.visit.FindFinallyBlocks
FindFinallyBlocksGoal - Class in accrue.analysis.goals
FindFinallyBlocksGoal(Job, NodeFactory, TypeSystem) - Constructor for class accrue.analysis.goals.FindFinallyBlocksGoal
firstChild() - Method in class accrue.analysis.ast.Suppress_c
fixContextForReferenceVariable(CContext, ReferenceVariable) - Method in class accrue.analysis.pointer.analyses.CrossProductAnalysis
fixContextForReferenceVariable(CContext, ReferenceVariable) - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
  Fix the code context for a reference variable, if needed, when creating a reference variable replica for reference variable `r`.
flattenExpressionOptFlag - Variable in class accrue.AccrueOptionsHelper
flattenExpressions - Variable in class accrue.AccrueOptionsHelper
flattenImpureUnary(Unary) - Method in class accrue.analysis.visit.SimplifyExpressions
FLOAT - Static variable in class accrue.analysis.parse.sym
FLOAT_LITERAL - Static variable in class accrue.analysis.parse.sym
flow(List<CDAbsVal>, List<FlowGraph.EdgeKey>, FlowGraph<CDAbsVal>, FlowGraph.Peer<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
flow(List<ImmediateDominator>, List<FlowGraph.EdgeKey>, FlowGraph<ImmediateDominator>, FlowGraph.Peer<ImmediateDominator>) - Method in class accrue.analysis.domination.DominatorDataFlow
flow(List<ImmediatePostDominator>, List<FlowGraph.EdgeKey>, FlowGraph<ImmediatePostDominator>, FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.NonFatalPostDominatorDataFlow
flow(List<ImmediatePostDominator>, List<FlowGraph.EdgeKey>, FlowGraph<ImmediatePostDominator>, FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
flow(List<VarContext<T>>, List<FlowGraph.EdgeKey>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flow(VarContext<T>, VarContext<T>, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Produce new variable contexts from the input contexts and `FlowGraph.Peer`
flowArithmeticException(VarContext<AntiDepAbsVal>, Binary, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowArithmeticException(VarContext<DefUseAbsVal>, Binary, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowArrayAccess(ArrayAccess, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowArrayAccess(ArrayAccess, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowArrayAccess(ArrayAccess, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowArrayAccess(ArrayAccess, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowArrayAccess(ArrayAccess, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowArrayAccess(ArrayAccess, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowArrayAccessAssign(ArrayAccessAssign, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowArrayAccessAssign(ArrayAccessAssign, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowArrayAccessAssign(ArrayAccessAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowArrayAccessAssign(ArrayAccessAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowArrayAccessAssign(ArrayAccessAssign, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowArrayInit(ArrayInit, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowArrayInit(ArrayInit, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowArrayInit(ArrayInit, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowArrayInit(ArrayInit, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowArrayInit(ArrayInit, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowAssert(Assert, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowAssert(Assert, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowAssert(Assert, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowAssign(Assign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowAssign(Assign, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Compute the dataflow for `n`
flowAssign(Assign, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowBinary(Binary, VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowBinary(Binary, VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowBinary(Binary, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowBinary(Binary, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowBinary(Binary, VarContext<T>, VarContext<T>, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowBinary(Binary, VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowBlock(Block, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowBlock(Block, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowBlock(Block, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowBranch(Branch, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowBranch(Branch, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowBranch(Branch, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowCall(Call, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowCall(Call, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowCall(Call, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowCall(Call, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowCall(Call, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowCall(Call, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowCast(Cast, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowCast(Cast, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowCast(Cast, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowCast(Cast, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowCast(Cast, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowCast(Cast, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowCatch(Catch, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowCatch(Catch, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowCatch(Catch, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowCatch(Catch, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowCatch(Catch, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowCatch(Catch, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowClassCastException(VarContext<AntiDepAbsVal>, Cast, AntiDepAbsVal, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowClassCastException(VarContext<DefUseAbsVal>, Cast, DefUseAbsVal, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowCodeDecl(CodeDecl, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowCodeDecl(CodeDecl, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowCodeDecl(CodeDecl, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Compute the dataflow for `n`
flowCodeDecl(CodeDecl, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowConditional(Conditional, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowConditional(Conditional, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowConditional(Conditional, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowConditional(Conditional, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowConstructorCall(ConstructorCall, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowConstructorCall(ConstructorCall, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowConstructorCall(ConstructorCall, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowConstructorCall(ConstructorCall, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowConstructorCall(ConstructorCall, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowConstructorCall(ConstructorCall, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowConstructorDecl(ConstructorDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowConstructorDecl(ConstructorDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowConstructorDecl(ConstructorDecl, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowControlDeps(CDAbsVal, FlowGraph<CDAbsVal>, FlowGraph.Peer<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtArrayAccess
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtArrayAccessAssign
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtArrayInit
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtAssert
flowDispatch(DataFlowDispatch<DFItem>, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtBinary
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtBlock
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtBranch
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtCall
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtCast
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtCatch
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtConditional
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtConstructorCall
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtConstructorDecl
flowDispatch(DataFlowDispatch<DFItem>, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtDo
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtEmpty
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtEval
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtField
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtFieldAssign
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtFieldDecl
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtFormal
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtIf
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtInitializer
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtInstanceof
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtLabeled
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtLit
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtLocal
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtLocalAssign
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtLocalDecl
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtMethodDecl
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtNew
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtNewArray
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtReturn
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtSpecial
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtSuppress
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtSynchronized
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtTerm
  Dispatch function.
flowDispatch(DataFlowDispatch<DFItem>, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtTerm
  Dispatch function.
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtThrow
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtTry
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtTypeNode
flowDispatch(DataFlowDispatch<DFItem>, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtUnary
flowDispatch(DataFlowDispatch<DFItem>, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtWhile
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.jl5.ext.ExtEnumConstant
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
flowDo(Do, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowDo(Do, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowDo(Do, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowEmpty(Empty, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowEmpty(Empty, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowEmpty(Empty, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowEnumConstant(EnumConstant, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowEnumConstant(EnumConstant, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.jl5.JL5DataFlowDispatch
  Compute the dataflow for `n`
flowEnumConstantDecl(EnumConstantDecl, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
  The following methods provide support for JL5 language features.
flowEnumConstantDecl(EnumConstantDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.jl5.JL5DataFlowDispatch
  Compute the dataflow for `n`
flowEval(Eval, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowEval(Eval, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowEval(Eval, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowExpr(Expr, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowExpr(Expr, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowExpr(Expr, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowExpr(Expr, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowExpr(Expr, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowExpr(Expr, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowExtendedFor(ExtendedFor, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowExtendedFor(ExtendedFor, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.jl5.JL5DataFlowDispatch
  Compute the dataflow for `n`
flowField(Field, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowField(Field, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowField(Field, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowField(Field, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowField(Field, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowField(Field, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowFieldAssign(FieldAssign, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowFieldAssign(FieldAssign, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowFieldAssign(FieldAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowFieldAssign(FieldAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowFieldAssign(FieldAssign, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowFieldDecl(FieldDecl, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowFieldDecl(FieldDecl, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowFieldDecl(FieldDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowFieldDecl(FieldDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowFieldDecl(FieldDecl, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowFieldDecl(FieldDecl, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowFinally(Block, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowFinally(Block, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowFinally(Block, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowFinally(Block, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowFinally(Block, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowFormal(Formal, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowFormal(Formal, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowFormal(Formal, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowFormal(Formal, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowFormal(Formal, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowFormal(Formal, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowIf(If, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowIf(If, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowIf(If, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowIf(If, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowIf(If, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowImpl(VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowImpl(VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowImpl(VarContext<T>, VarContext<T>, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowImpl(VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowImpossibleException(VarContext<AntiDepAbsVal>, ClassType, Node, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowImpossibleException(FinalVarContext<AntiDepAbsVal>, ClassType, Node) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowImpossibleException(VarContext<DefUseAbsVal>, ClassType, Node, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowImpossibleException(FinalVarContext<DefUseAbsVal>, ClassType, Node) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowInitializer(Initializer, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowInitializer(Initializer, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowInitializer(Initializer, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowInstanceof(Instanceof, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowInstanceof(Instanceof, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowInstanceof(Instanceof, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowInstanceof(Instanceof, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowInstanceof(Instanceof, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowInstanceof(Instanceof, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowLabeled(Labeled, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowLabeled(Labeled, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowLabeled(Labeled, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowLit(Lit, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowLit(Lit, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowLit(Lit, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowLit(Lit, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowLit(Lit, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowLit(Lit, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowLocal(Local, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowLocal(Local, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowLocal(Local, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowLocal(Local, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowLocal(Local, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowLocalAssign(LocalAssign, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowLocalAssign(LocalAssign, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowLocalAssign(LocalAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowLocalAssign(LocalAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowLocalAssign(LocalAssign, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowLocalDecl(LocalDecl, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowLocalDecl(LocalDecl, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowLocalDecl(LocalDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowLocalDecl(LocalDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowLocalDecl(LocalDecl, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowLocalDecl(LocalDecl, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowMethodDecl(MethodDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowMethodDecl(MethodDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowMethodDecl(MethodDecl, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowNew(New, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowNew(New, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowNew(New, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowNew(New, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowNew(New, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowNew(New, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowNewArray(NewArray, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowNewArray(NewArray, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowNewArray(NewArray, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowNewArray(NewArray, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowNewArray(NewArray, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowNewArray(NewArray, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowNullPointerException(VarContext<AntiDepAbsVal>, Node, AntiDepAbsVal, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowNullPointerException(VarContext<DefUseAbsVal>, Node, DefUseAbsVal, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowOutOfBoundsException(VarContext<AntiDepAbsVal>, Expr, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowOutOfBoundsException(VarContext<DefUseAbsVal>, Expr, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowParamTypeNode(ParamTypeNode, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowParamTypeNode(ParamTypeNode, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.jl5.JL5DataFlowDispatch
  Compute the dataflow for `n`
flowReturn(Return, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowReturn(Return, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowReturn(Return, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowReturn(Return, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowReturn(Return, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowReturn(Return, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowSpecial(Special, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowSpecial(Special, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowSpecial(Special, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowSpecial(Special, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowSpecial(Special, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowStmt(Stmt, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowStmt(Stmt, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowStmt(Stmt, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Compute the dataflow for `n`
flowStmt(Stmt, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowSuppress(Suppress, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowSuppress(Suppress, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowSuppress(Suppress, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowSynchronized(Synchronized, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowSynchronized(Synchronized, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowSynchronized(Synchronized, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowThrow(Throw, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowThrow(Throw, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowThrow(Throw, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowThrow(Throw, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowThrow(Throw, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowThrow(Throw, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowTry(Try, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowTry(Try, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowTry(Try, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowTry(Try, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowTry(Try, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowTry(Try, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowTypeNode(TypeNode, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowTypeNode(TypeNode, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowTypeNode(TypeNode, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowTypeNode(TypeNode, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowTypeNode(TypeNode, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowTypeNode(TypeNode, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowUnary(Unary, VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowUnary(Unary, VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowUnary(Unary, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowUnary(Unary, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowUnary(Unary, VarContext<T>, VarContext<T>, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
flowUnary(Unary, VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
flowUncheckedException(VarContext<AntiDepAbsVal>, ClassType, Node, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
flowUncheckedException(VarContext<DefUseAbsVal>, ClassType, Node, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
flowWhile(While, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
flowWhile(While, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Compute the dataflow for `n`
flowWhile(While, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
FOR - Static variable in class accrue.analysis.parse.sym
formal(Formal) - Method in class accrue.analysis.ast.AccrueCatch_c
formals - Variable in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
freshAllocNode(Type, ClassType, boolean, String, Position) - Method in class accrue.analysis.pointer.StmtRegistrar
freshCallSiteNode(ProcedureInstance, String, Position) - Method in class accrue.analysis.pointer.StmtRegistrar
freshReferenceVariable(String, boolean, Type, Position) - Method in class accrue.analysis.pointer.StmtRegistrar
FullObjSensitiveAnalysis - Class in accrue.analysis.pointer.analyses
FullObjSensitiveAnalysis() - Constructor for class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
FullObjSensitiveAnalysis(int) - Constructor for class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis

## G

generatedExceptionNodes - Static variable in class accrue.analysis.pointer.StmtRegistrar
get(AnalysisContext) - Method in class accrue.analysis.interprocanalysis.AnalysisContextMap
get(ExitMap.Key) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Get the context for the given key
get(AnalysisContext, FlowGraph.PeerKey) - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
get(AnalysisContextPeerMap.CodeObjectPeerContext) - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
getAllocNode(ConstructorContext) - Method in interface accrue.analysis.ext.ExtAlloc
  Get the AllocSiteNode representing the allocation of a new object (within the specific constructor context).
getAllocNode(ConstructorContext) - Method in class accrue.analysis.ext.ExtArrayInit
getAllocNode(ConstructorContext) - Method in class accrue.analysis.ext.ExtNew
getAllocNode(ConstructorContext) - Method in class accrue.analysis.ext.ExtNewArray
getAllocNode(ConstructorContext) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
getAllOrderedStaticInitializers() - Method in class accrue.analysis.interprocanalysis.Registrar
getAnalysisForMissingReceiver(ProcedureInstance, VarContext<T>, Term, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Provide a hook for subclasses to implementation functionality when procedure pi is called (e.g., "e.m()") but there is an empty points to set for the receiver expression.
getAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey) - Method in interface accrue.analysis.ext.AccrueExt
getAnalysisResult(Object, AnalysisContext) - Method in interface accrue.analysis.ext.AccrueExt
getAnalysisResult(Object) - Method in interface accrue.analysis.ext.AccrueExt
getAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey) - Method in class accrue.analysis.ext.AccrueExt_c
getAnalysisResult(Object, AnalysisContext) - Method in class accrue.analysis.ext.AccrueExt_c
getAnalysisResult(Object) - Method in class accrue.analysis.ext.AccrueExt_c
getAnalysisResult(AnalysisUnit, T, AnalysisUtil<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<AntiDepAbsVal>, DataFlowNodeIdentifier) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<DefUseAbsVal>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Get the analysis results for the given callee and variable context.
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Deprecated.
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<T>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Get the analysis results for the given callee and variable context.
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<NotNullAbsVal>, DataFlowNodeIdentifier) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
getAnalysisSignatures() - Method in interface accrue.AccrueExtensionInfo
  Return an object to handle analysis results when source code is unavailable.
getAnalysisSignatures() - Method in class accrue.AccrueJLExtensionInfo
getAnalysisSignatures() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
getAnalysisUnitRecord(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.WorkQueue
getAnalysisUnitRecord(AnalysisUnit) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
getCallResults(String, ProcedureCall) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
  Return analysis results for a procedure call.
getCallSiteNode() - Method in class accrue.analysis.ext.ExtCall
getCallSiteNode() - Method in class accrue.analysis.ext.ExtConstructorCall
getCallSiteNode() - Method in class accrue.analysis.ext.ExtNew
getCallSiteNode() - Method in interface accrue.analysis.ext.ExtProcedureCall
getCallSiteNode() - Method in class accrue.jl5.ext.ExtEnumConstantDecl
getCallTargets(Call) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
getCContext() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
getClassesWithStaticInitializers() - Method in class accrue.analysis.interprocanalysis.Registrar
getCode(ProcedureInstance) - Method in class accrue.analysis.interprocanalysis.Registrar
getCodeInfo(ProcedureInstance) - Method in class accrue.analysis.pointer.StmtRegistrar
getCodeInfo(Initializer) - Method in class accrue.analysis.pointer.StmtRegistrar
getCodeInfo(FieldDecl) - Method in class accrue.analysis.pointer.StmtRegistrar
getCodeInfo(CodeNode) - Method in class accrue.analysis.pointer.StmtRegistrar
getCodeInfo(EnumConstantDecl) - Method in class accrue.jl5.pointer.JL5StmtRegistrar
getCodeInstance() - Method in interface accrue.analysis.interprocanalysis.NativeNodeIdentifier
getCodeInstance() - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
getCompileGoal(Job) - Method in class accrue.AccrueJLExtensionInfo
getCompileGoal(Job) - Method in class accrue.jl5.AccrueJL5ExtensionInfo
getConstructorContext() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
getConstructorContexts() - Method in class accrue.analysis.ext.ExtExpr
getContext() - Method in interface accrue.analysis.interprocanalysis.NodeIdentifier
getContext() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
getContexts(CodeInstance) - Method in class accrue.analysis.pointer.PointsToGraph
getContexts(CodeInstance) - Method in class accrue.analysis.pointer.PointsToGraphSerial
getContexts(CodeInstance) - Method in class accrue.analysis.pointer.PointsToGraphSync
getDefaultLocalAbsVal(String, Type) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Get the default value for local variables
getDependees(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.WorkQueue
getEnumConstantDecls() - Method in class accrue.jl5.pointer.JL5StmtRegistrar
getIndex() - Method in interface accrue.analysis.interprocanalysis.NativeNodeIdentifier
getIndex() - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
getInitialCodeInstances() - Method in class accrue.analysis.pointer.StmtRegistrar
  Return the code instances that should be analyzed in the initial context.
getInitialCodeInstances() - Method in class accrue.jl5.pointer.JL5StmtRegistrar
getInstanceInitializers(ClassType) - Method in class accrue.analysis.interprocanalysis.Registrar
getInstanceInitializers(ClassType) - Method in class accrue.analysis.pointer.StmtRegistrar
getKey() - Method in interface accrue.analysis.interprocanalysis.EdgeIdentifier
getKey() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
getLocalAbsVal(String, Type) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Get the value for the local name
getLocalNode(LocalInstance, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
getLocationAbsVal(VarContext<T>, Set<AbstractLocation>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Compute the abstract values for the given abstract locations
getLocationAbsVal(AbstractLocation) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Get the abstract value for the given location
getLoopLabel() - Method in class accrue.analysis.ext.ExtLoop
getNativeCallResults(String, ProcedureCall, ProcedureInstance, HContext) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
  Returns analysis results for a native call target.
getNode() - Method in interface accrue.analysis.interprocanalysis.NodeIdentifier
getNode() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
getNodes() - Method in class accrue.analysis.pointer.PointsToGraphSync
getNonVirtualCallResults(String, ProcedureCall, ProcedureInstance, HContext) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
  Returns analysis results for a specific target.
getPeerKey() - Method in interface accrue.analysis.interprocanalysis.DataFlowNodeIdentifier
getPeerKey() - Method in class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
getPosition() - Method in class accrue.analysis.pointer.CallSiteNode
getReceiverTypes(Call) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
getReferenceVariable(ConstructorContext) - Method in class accrue.analysis.ext.ExtExpr
getReferenceVariable(ConstructorContext) - Method in class accrue.analysis.ext.ExtFormal
getReferenceVariable(Expr) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
getSignatureForMissingCode(ProcedureInstance, T, List<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Subclasses can override to provide signature for missing code.
getSignatureForMissingCode(ProcedureInstance) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
getStartProcs() - Method in class accrue.analysis.pointer.StmtRegistrar
getStaticInitializers(ClassType) - Method in class accrue.analysis.interprocanalysis.Registrar
getStaticInitializers() - Method in class accrue.analysis.pointer.StmtRegistrar
getTarget() - Method in interface accrue.analysis.interprocanalysis.EdgeIdentifier
getTarget() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
getThisNode(ConstructorContext) - Method in class accrue.analysis.ext.ExtFieldDecl
getThisNode(ConstructorContext) - Method in class accrue.analysis.ext.ExtInitializer
getThisNode(ConstructorContext) - Method in interface accrue.analysis.ext.ExtInitializerOrFieldDecl
  Get the appropriate reference variable for "this" (i.e., the reference variable used in the pointer analysis to refer to "this") for the given constructor context.
getThisNode() - Method in class accrue.analysis.ext.ExtProcedureDecl
global_defs - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
global_uses - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
goalForJob(Job) - Method in class accrue.analysis.goals.MoveLocalClassesGoal
goalForJob(Job) - Method in class accrue.analysis.goals.RegisterDeclsGoal
goalForJob(Job) - Method in class accrue.analysis.goals.RegisterExpressionsGoal
GOTO - Static variable in class accrue.analysis.parse.sym
Grm - Class in accrue.analysis.parse
  CUP v0.11b beta 20140226 generated parser.
Grm(Lexer, TypeSystem, AccrueNodeFactory, ErrorQueue) - Constructor for class accrue.analysis.parse.Grm
GT - Static variable in class accrue.analysis.parse.sym
GTEQ - Static variable in class accrue.analysis.parse.sym
guessAnalysisForMissingCode(ProcedureInstance, AnalysisContext, HContext, VarContext<DefUseAbsVal>, DefUseAbsVal, List<DefUseAbsVal>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
guessAnalysisForMissingCode(ProcedureInstance, AnalysisContext, HContext, VarContext<T>, T, List<T>, Set<ExitMap.Key>, Node) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Subclasses can override as a stop gap measure before they have signature.
guessAnalysisForMissingCode(ProcedureInstance, AnalysisContext, HContext, VarContext<T>, T, List<T>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Get analysis results for procedures for which the source code is missing.
guessAnalysisForMissingCode(ProcedureInstance, AnalysisContext, HContext, VarContext<NotNullAbsVal>, NotNullAbsVal, List<NotNullAbsVal>, Set<ExitMap.Key>, Node) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
guessAnalysisForMissingReceiver(ProcedureInstance, VarContext<AntiDepAbsVal>, AntiDepAbsVal, List<AntiDepAbsVal>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
guessAnalysisForMissingReceiver(ProcedureInstance, VarContext<DefUseAbsVal>, DefUseAbsVal, List<DefUseAbsVal>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
guessAnalysisForMissingReceiver(ProcedureInstance, VarContext<T>, T, List<T>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Subclasses should override as a stop gap measure if the receiver is missing, i.e., if the points to set of the receiver expression is empty.
guessAnalysisForMissingReceiver(ProcedureInstance, VarContext<NotNullAbsVal>, NotNullAbsVal, List<NotNullAbsVal>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil

## H

handleArg(OptFlag.Arg<?>) - Method in class accrue.AccrueJLOptions
handleArg(OptFlag.Arg<?>) - Method in class accrue.AccrueOptionsHelper
handleArg(OptFlag.Arg<?>) - Method in class accrue.jl5.AccrueJL5Options
handleArg(OptFlag.Arg<?>) - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
handleRecursiveCall(FinalVarContext<T>, VarContext<T>, AnalysisUnit) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  The call to callee is potentially recursive.
hasCode(ProcedureInstance) - Method in class accrue.analysis.interprocanalysis.Registrar
hasExceptionType(ClassType) - Method in class accrue.analysis.interprocanalysis.ExitMap
hasFalseResult() - Method in class accrue.analysis.interprocanalysis.ExitMap
hashCode() - Method in class accrue.analysis.antidep.AntiDepAbsVal
hashCode() - Method in class accrue.analysis.callgraph.PCGAbsVal
hashCode() - Method in class accrue.analysis.ctldep.CDAbsVal
hashCode - Variable in class accrue.analysis.defuse.DefUseAbsVal
hashCode() - Method in class accrue.analysis.defuse.DefUseAbsVal
hashCode() - Method in class accrue.analysis.defuse.NewAllocAbsVal
hashCode() - Method in class accrue.analysis.interprocanalysis.AbstractLocation
hashCode() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
hashCode() - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
hashCode - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
hashCode() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
hashCode() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
hashCode() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
hashCode() - Method in class accrue.analysis.interprocanalysis.ExitMap.ExceptionKey
hashCode() - Method in class accrue.analysis.interprocanalysis.ExitMap
hashCode() - Method in class accrue.analysis.interprocanalysis.ExitMap.Key
hashCode() - Method in class accrue.analysis.interprocanalysis.ExitMap.LabeledBranchKey
hashCode() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
hashCode() - Method in class accrue.analysis.interprocanalysis.Unit
hashCode() - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap.CodeObjectPeerContext
hashCode() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
hashCode - Variable in class accrue.analysis.interprocvarcontext.VarContext
hashCode() - Method in class accrue.analysis.interprocvarcontext.VarContext
hashCode() - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
hashCode() - Method in class accrue.analysis.pointer.AllocSiteNode
hashCode() - Method in class accrue.analysis.pointer.CallSiteNode
hashCode() - Method in class accrue.analysis.pointer.ConstructorContext
hashCode() - Method in class accrue.analysis.pointer.ObjectField
hashCode() - Method in class accrue.analysis.pointer.PointsToEngine.StmtAndContext
hashCode() - Method in class accrue.analysis.pointer.PointsToGraph
hashCode() - Method in class accrue.analysis.pointer.PointsToStmt
hashCode() - Method in class accrue.analysis.pointer.ReferenceVariable
hashCode() - Method in class accrue.analysis.pointer.ReferenceVariableReplica
hashCode() - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
hashCode() - Method in class accrue.analysis.preciseExceptions.ThrowableType
hashCode() - Method in class accrue.analysis.readwritesets.ReadWriteSet
hashCons(VarContext<T>) - Static method in class accrue.analysis.interprocvarcontext.VarContext
  Check the memo and return that copy if it exists or add `c` and return it
hasLocalAbsVal(String) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Check whether a local with `localName` is in the variable context
hasPreciseType() - Method in interface accrue.analysis.pointer.HContext
  Returns true if there is a precise type for this abstract object.
hasReferenceVariable(AnalysisContext, Expr) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
hasReferenceVariable(AnalysisContext, Formal) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
hasReferenceVariable(LocalInstance, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
hasTrueFalseResult() - Method in class accrue.analysis.interprocanalysis.ExitMap
  True if the exit map branches on exit
hasTrueResult() - Method in class accrue.analysis.interprocanalysis.ExitMap
hc_valid - Variable in class accrue.analysis.interprocanalysis.NodeIdentifier_c
HContext - Interface in accrue.analysis.pointer
  An abstract heap object.
heap_assign_is_use - Variable in class accrue.analysis.defuse.DefUseDataFlow
  Treat heap assignments as uses of the left-hand side.
heapAbstractionFactory() - Method in interface accrue.AccrueExtensionInfo
  Return the HeapAbstractionFactory to be used during pointer analysis.
heapAbstractionFactory() - Method in class accrue.AccrueJLExtensionInfo
HeapAbstractionFactory - Class in accrue.analysis.pointer.analyses
  A HeapAbstractionFactory is responsible for providing an appropriate abstraction of the heap for pointer analysis.
HeapAbstractionFactory() - Constructor for class accrue.analysis.pointer.analyses.HeapAbstractionFactory
heapAbstractionFactory() - Method in class accrue.analysis.pointer.PointsToEngine
heapAbstractionFactory() - Method in class accrue.analysis.pointer.PointsToEngineTimeout
heapAbstractionFactory() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
helper - Variable in class accrue.AccrueJLOptions
helper() - Method in class accrue.AccrueJLOptions
helper() - Method in class accrue.AccrueJLScheduler
helper() - Method in interface accrue.AccrueOptions
helper() - Method in interface accrue.AccrueScheduler
  Return a AccrueSchedulerHelper, which defines useful Accrue-relevant scheduler goals.
helper - Variable in class accrue.jl5.AccrueJL5Options
helper() - Method in class accrue.jl5.AccrueJL5Options
helper() - Method in class accrue.jl5.AccrueJL5Scheduler
HIDDEN - Static variable in class accrue.analysis.defuse.DefUseLibrarySignature
  Generic hidden state of a native object.

## I

i - Variable in class accrue.analysis.callgraph.PreciseCallGraphGoal
i - Variable in class accrue.analysis.preciseExceptions.PreciseExGoal
id - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
  The identifier for the singleton.
IDENTIFIER - Static variable in class accrue.analysis.parse.sym
idForPeer(FlowGraph.Peer<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
idx - Variable in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
IF - Static variable in class accrue.analysis.parse.sym
ignoredExceptions - Variable in class accrue.analysis.ctldep.CtlDepDataFlow
ignoreNode(DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
  Ignore the node (i.e., it is a no-op).
ignoreNode(VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
IMPLEMENTS - Static variable in class accrue.analysis.parse.sym
IMPORT - Static variable in class accrue.analysis.parse.sym
INFOFLOW_CONTEXTS - Static variable in class accrue.analysis.goals.MissingCodeReportGoal
init() - Method in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
init() - Method in class accrue.analysis.pointer.analyses.CallSiteForPattern
init() - Method in class accrue.analysis.pointer.analyses.DistinguishClass
init() - Method in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
init() - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
  Initialize the factory.
init() - Method in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
init() - Method in class accrue.analysis.pointer.analyses.StickFirstMatches
init() - Method in class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
init_actions() - Method in class accrue.analysis.parse.Grm
  Action encapsulation object initializer.
init_keywords() - Method in class accrue.analysis.parse.Lexer_c
INIT_SOURCES - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
  Backward edges between initializers.
INIT_TARGETS - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
  EdgeIdentifiers between initializers.
initCompiler(Compiler) - Method in class accrue.AccrueJLExtensionInfo
initCompiler(Compiler) - Method in class accrue.jl5.AccrueJL5ExtensionInfo
initGraph(CodeNode, Term) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow
initialAnalysisUnitOutput(AnalysisUnit, T) - Method in class accrue.analysis.interprocanalysis.WorkQueue
initialAnalysisUnitOutput(AnalysisUnit, VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
initialContext() - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
  Return the initial CContext, i.e., to analyze the main method.
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.CallSiteForPattern
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.CrossProductAnalysis
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.DistinguishClass
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
  Return the initial CContext, i.e., to analyze the main method.
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.StickFirstMatches
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
InlineFinalConstants(Job) - Method in class accrue.AccrueSchedulerHelper
InlineFinalConstants - Class in accrue.analysis.visit
InlineFinalConstants(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.visit.InlineFinalConstants
InlineFinalConstantsGoal - Class in accrue.analysis.goals
InlineFinalConstantsGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.goals.InlineFinalConstantsGoal
input() - Method in class accrue.analysis.interprocanalysis.WorkQueue.AnalysisUnitRecord
INSERT_CHECK - Static variable in class accrue.analysis.goals.MissingCodeReportGoal
instance - Static variable in class accrue.analysis.ast.AccrueLang_c
instanceInitializers(ClassType) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
instanceInitializersChecked - Variable in class accrue.analysis.interprocanalysis.AnalysisUtil
INSTANCEOF - Static variable in class accrue.analysis.parse.sym
instantiatedType - Variable in class accrue.analysis.pointer.AllocSiteNode
  Either a ClassType or ArrayType
INT - Static variable in class accrue.analysis.parse.sym
INTEGER_LITERAL - Static variable in class accrue.analysis.parse.sym
INTEGER_LITERAL_BD - Static variable in class accrue.analysis.parse.sym
INTERFACE - Static variable in class accrue.analysis.parse.sym
InterProcAnalysisPass<T extends Ordered<T>> - Class in accrue.analysis.interprocanalysis
  Compiler pass for an interprocedural analysis.
InterProcAnalysisPass(ExtensionInfo, Goal, Registrar, AnalysisFactory<T>) - Constructor for class accrue.analysis.interprocanalysis.InterProcAnalysisPass
  Create a new interprocedural analysis pass
InterProcVarContextPass<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
InterProcVarContextPass(ExtensionInfo, Goal, Registrar, AnalysisFactory<VarContext<T>>) - Constructor for class accrue.analysis.interprocvarcontext.InterProcVarContextPass
intersect(List<FlowGraph.Edge<ImmediatePostDominator>>, FlowGraph<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
  Find immediate postdominator for all edges in edges.
intersect(ImmediatePostDominator, ImmediatePostDominator) - Method in class accrue.analysis.domination.PostDominatorDataFlow
INTRA_ANTI_DEPENDENCIES - Static variable in class accrue.analysis.antidep.AntiDepAnalysisFactory
  This analysis result stores a Set pointing to definitions of locations used.
INTRA_DATA_DEPENDENCIES - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
  This analysis result stores a Set pointing to definitions of locations used.
INTRA_OUTPUT_DEPENDENCIES - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
  Stores the set of output dependencies
ipd(FlowGraph.Edge<ImmediatePostDominator>, FlowGraph<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
isBottom() - Method in class accrue.analysis.antidep.AntiDepAbsVal
isBottom() - Method in class accrue.analysis.ctldep.CDAbsVal
isBottom() - Method in class accrue.analysis.defuse.DefUseAbsVal
isBottom() - Method in interface accrue.analysis.interprocvarcontext.AbstractValue
  An AbstractValue may indicate that it is the bottom element.
isBottom() - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
isCatchFormal() - Method in class accrue.analysis.ext.ExtFormal
isDisambiguated() - Method in class accrue.analysis.ast.Suppress_c
isEmpty() - Method in class accrue.analysis.interprocanalysis.WorkQueue
isEmpty() - Method in class accrue.analysis.interprocvarcontext.Stack
isEmpty() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
  True if there are no elements on the stack
isExactType() - Method in class accrue.analysis.preciseExceptions.ThrowableType
isFinallyBlock() - Method in class accrue.analysis.ext.ExtBlock
isFinallyBlock(boolean) - Method in class accrue.analysis.ext.ExtBlock
isIntra - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier.EdgeType
isIntra() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.EdgeType
  Returns true if this edge is a result from an intra-procedural analysis.
isMainMethod(CodeInstance) - Static method in class accrue.AccrueUtil
isMaybeNull() - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
isNative() - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
isNative() - Method in interface accrue.analysis.interprocanalysis.NodeIdentifier
isNative() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
isNotNull() - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
isOutputChanged(ExitMap<T>, WorkQueue.AnalysisUnitRecord<T>, AnalysisUtil<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
isOutputChanged(ExitMap<VarContext<T>>, WorkQueue.AnalysisUnitRecord<VarContext<T>>, AnalysisUtil<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
isOutputExtensionInfo() - Method in interface accrue.AccrueExtensionInfo
  Is this ExtensionInfo the output extension info for some other extension? This will affect some of the behavior of some of the goals of this ExtensionInfo, notably whether this extension info will parse source files, or simply accept the AST nodes given to it (i.e., the output of the previous ExtensionInfo).
isOutputExtensionInfo - Variable in class accrue.AccrueJLExtensionInfo
  Is this extension info being used as an output extension (i.e., after some preprocessing pass)? If so, then the behavior of the scheduler and the options will be slightly changed.
isOutputExtensionInfo() - Method in class accrue.AccrueJLExtensionInfo
isOutputExtensionInfo - Variable in class accrue.jl5.AccrueJL5ExtensionInfo
  Is this extension info being used as an output extension (i.e., after some preprocessing pass)? If so, then the behavior of the scheduler and the options will be slightly changed.
isOutputExtensionInfo() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
isPreciseType() - Method in class accrue.analysis.pointer.AllocSiteNode
isPreciseType - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
isPreciseType - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
isSingletonReferenceVariable() - Method in class accrue.analysis.pointer.ReferenceVariable
  Is this graph base node a singleton? That is, should there be only a single ReferenceVariableReplica for it? This should return true for reference variables that represent e.g., static fields.
isStartProc(ProcedureInstance) - Static method in class accrue.analysis.interprocanalysis.Registrar
  Is pi a starting point for the analysis?
isUnitializedValue() - Method in class accrue.analysis.ext.ExtLit
itemToMapWithExceptionResults(VarContext<AntiDepAbsVal>, Set<FlowGraph.EdgeKey>) - Static method in class accrue.analysis.antidep.AntiDepDataFlow
itemToMapWithExceptionResults(VarContext<DefUseAbsVal>, Set<FlowGraph.EdgeKey>) - Static method in class accrue.analysis.defuse.DefUseDataFlow
itemToMapWithExceptionResults(VarContext<NotNullAbsVal>, Set<FlowGraph.EdgeKey>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Static method in class accrue.analysis.notnulldataflow.NotNullDataFlow

## J

JL5AnalysisExtFactory_c - Class in accrue.jl5.ext
JL5AnalysisExtFactory_c(ExtFactory) - Constructor for class accrue.jl5.ext.JL5AnalysisExtFactory_c
JL5AnalysisExtFactory_c() - Constructor for class accrue.jl5.ext.JL5AnalysisExtFactory_c
JL5DataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> - Interface in accrue.jl5
  Helper interface to assist in dispatch for dataflow implementations that support JL5.
JL5RegisterPointerStmtsGoal - Class in accrue.jl5.goals
JL5RegisterPointerStmtsGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.jl5.goals.JL5RegisterPointerStmtsGoal
JL5RegisterPointerStmtsVisitor - Class in accrue.jl5.pointer
  Registers all procedures (methods, constructors, initializers, enum constant decls) with the InterAnalysisPass.
JL5RegisterPointerStmtsVisitor(Job, TypeSystem, NodeFactory) - Constructor for class accrue.jl5.pointer.JL5RegisterPointerStmtsVisitor
JL5StmtRegistrar - Class in accrue.jl5.pointer
JL5StmtRegistrar(ExtensionInfo) - Constructor for class accrue.jl5.pointer.JL5StmtRegistrar
join(List<T>, List<T>) - Static method in class accrue.analysis.defuse.DefUseLibrarySignature
join(List<VarContext<T>>) - Static method in class accrue.analysis.interprocvarcontext.VarContext
  Compute the `VarContext` that is the join of all the elements of `items`
join(List<VarContext<T>>, boolean, boolean, boolean) - Static method in class accrue.analysis.interprocvarcontext.VarContext
  Compute the `VarContext` that is the join of all the elements of `items`

## K

key - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
KEY_BREAK - Static variable in class accrue.analysis.interprocanalysis.ExitMap
  Key for a loop break
KEY_CONTINUE - Static variable in class accrue.analysis.interprocanalysis.ExitMap
  Key for a loop continue
KEY_DIVERGE - Static variable in class accrue.analysis.interprocanalysis.ExitMap
  Key for divergence
KEY_FALSE_RESULT - Static variable in class accrue.analysis.interprocanalysis.ExitMap
  Key for a false branch
KEY_NORM_TERM - Static variable in class accrue.analysis.interprocanalysis.ExitMap
  Key for normal termination
KEY_RETURN - Static variable in class accrue.analysis.interprocanalysis.ExitMap
  Key for exiting with a return statement
KEY_TRUE_RESULT - Static variable in class accrue.analysis.interprocanalysis.ExitMap
  Key for a true branch
keyConvert(ExitMap.Key) - Static method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Convert `FinalVarContext` edge keys to `FlowGraph` edge keys
kind - Variable in class accrue.analysis.domination.DominationPass

## L

lang() - Method in class accrue.analysis.ext.AccrueExt_c
lang() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
LBRACE - Static variable in class accrue.analysis.parse.sym
LBRACK - Static variable in class accrue.analysis.parse.sym
leave(Node, Node, Node, NodeVisitor) - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
leave(Node, Node, NodeVisitor) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisPass.MakeNonPeerNullResultValid
leave(Node, Node, NodeVisitor) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
leave(Node, Node, NodeVisitor) - Method in class accrue.analysis.readwritesets.ReadWriteSetVisitor
leave(Node, Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.MakeTargetsExplicit
leave(Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.RegisterExpressions
leave(Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.RegisterFieldDecls
leave(Node, Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.SimplifyExpressions
leaveCall(Node, Node, NodeVisitor) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
leaveCall(Node, Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.FindFinallyBlocks
leaveCall(Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.MakeInstanceInitializersExplicit
leaveCall(Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.MoveStaticFieldInitializers
leaveInitializer(FieldDecl) - Method in class accrue.analysis.visit.MakeInstanceInitializersExplicit
leaveInitializer(FieldDecl) - Method in class accrue.analysis.visit.MoveStaticFieldInitializers
left - Variable in class accrue.analysis.pointer.StmtAllocToLocal
leq(AntiDepAbsVal) - Method in class accrue.analysis.antidep.AntiDepAbsVal
leq(PCGAbsVal) - Method in class accrue.analysis.callgraph.PCGAbsVal
leq(CDAbsVal) - Method in class accrue.analysis.ctldep.CDAbsVal
leq(DefUseAbsVal) - Method in class accrue.analysis.defuse.DefUseAbsVal
leq(DefUseAbsVal) - Method in class accrue.analysis.defuse.NewAllocAbsVal
leq(O, O) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
leq(T) - Method in interface accrue.analysis.interprocanalysis.Ordered
  Is the given object less than or equal to this one
leq(Unit) - Method in class accrue.analysis.interprocanalysis.Unit
leq(Stack<T>) - Method in class accrue.analysis.interprocvarcontext.Stack
leq(SuspendedExecutionStack<T>) - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
leq(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
leq(VarContext<T>, Set<AbstractLocation>) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Check leq, but limiting the locations of domains to the specified set.
leq(VarContext<T>, VarContext<T>, Set<AbstractLocation>) - Static method in class accrue.analysis.interprocvarcontext.VarContext
  Compute `c1` leq `c2` over the given locations
leq(NotNullAbsVal) - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
leq(PreciseExAbsVal) - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
leq(ReadWriteSet) - Method in class accrue.analysis.readwritesets.ReadWriteSet
Lexer_c - Class in accrue.analysis.parse
Lexer_c(Reader, FileSource, ErrorQueue) - Constructor for class accrue.analysis.parse.Lexer_c
Lexer_c(Reader) - Constructor for class accrue.analysis.parse.Lexer_c
  Creates a new scanner
LibraryPointsToSignature - Class in accrue.analysis.pointer
LibraryPointsToSignature() - Constructor for class accrue.analysis.pointer.LibraryPointsToSignature
LibrarySignature<A extends Ordered<A>,T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
LibrarySignature() - Constructor for class accrue.analysis.interprocvarcontext.LibrarySignature
List(String) - Static method in class accrue.analysis.antidep.AntiDepAnalysisUtil
List(String) - Static method in class accrue.analysis.defuse.DefUseLibrarySignature
List(String) - Static method in class accrue.analysis.signatures.AnalysisSignatures
List(String, String) - Static method in class accrue.analysis.signatures.AnalysisSignatures
List(String, String, String) - Static method in class accrue.analysis.signatures.AnalysisSignatures
ln - Variable in class accrue.analysis.pointer.StmtRegistrar.ExceptionHandlerReferenceVariable
locals() - Method in class accrue.analysis.interprocvarcontext.VarContext
locals(Map<String, T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Copy this variable context and swap the locals for `newLocals`
locations - Variable in class accrue.analysis.interprocvarcontext.VarContext
locations(Map<AbstractLocation, T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Swap the locations in `this` for the given
locations() - Method in class accrue.analysis.interprocvarcontext.VarContext
LONG - Static variable in class accrue.analysis.parse.sym
LONG_LITERAL - Static variable in class accrue.analysis.parse.sym
LONG_LITERAL_BD - Static variable in class accrue.analysis.parse.sym
lookup(ProcedureInstance) - Method in class accrue.analysis.interprocvarcontext.SignatureRepository
LPAREN - Static variable in class accrue.analysis.parse.sym
LSHIFT - Static variable in class accrue.analysis.parse.sym
LSHIFTEQ - Static variable in class accrue.analysis.parse.sym
LT - Static variable in class accrue.analysis.parse.sym
LTEQ - Static variable in class accrue.analysis.parse.sym

## M

makeFinalVarContext(Set<ExitMap.Key>, VarContext<T>, VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Make a final var context for the given normal and exceptional var contexts
makeFinalVarContext(Set<ExitMap.Key>, VarContext<T>, VarContext<T>, AnalysisUtilVarContext<A, T>) - Method in class accrue.analysis.interprocvarcontext.LibrarySignature
MakeInstanceInitializersExplicit - Class in accrue.analysis.visit
MakeInstanceInitializersExplicit(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.visit.MakeInstanceInitializersExplicit
MakeInstanceInitializersExplicitGoal(Job) - Method in class accrue.AccrueSchedulerHelper
MakeInstanceInitializersExplicitGoal - Class in accrue.analysis.goals
MakeInstanceInitializersExplicitGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.goals.MakeInstanceInitializersExplicitGoal
MakeNarrowingAssignmentsExplicit(Job) - Method in class accrue.AccrueSchedulerHelper
MakeNarrowingAssignmentsExplicitGoal - Class in accrue.analysis.goals
MakeNarrowingAssignmentsExplicitGoal(Job, NodeFactory) - Constructor for class accrue.analysis.goals.MakeNarrowingAssignmentsExplicitGoal
MakeTargetsExplicit - Class in accrue.analysis.visit
  Makes targets of break and continue explicit.
MakeTargetsExplicit(NodeFactory, TypeSystem) - Constructor for class accrue.analysis.visit.MakeTargetsExplicit
MakeTargetsExplicitGoal(Job) - Method in class accrue.AccrueSchedulerHelper
MakeTargetsExplicitGoal - Class in accrue.analysis.goals
MakeTargetsExplicitGoal(Job, NodeFactory, TypeSystem) - Constructor for class accrue.analysis.goals.MakeTargetsExplicitGoal
map - Variable in class accrue.analysis.interprocanalysis.ExitMap
  Map of exit key to context
mayBeNull(AntiDepAbsVal, Expr, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
mayBeNull(DefUseAbsVal, Expr, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtArrayInit
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtBinary
mayBeNull(AnalysisContext, FlowGraph.PeerKey) - Method in class accrue.analysis.ext.ExtExpr
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtExpr
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtNew
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtNewArray
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtSpecial
maybeRecursiveCall(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Check if a call to the given analysis unit from the current analysis unit could be recursive
maybeRecursiveCall(AnalysisUnit, AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.CallGraph
maybeRecursiveCall(AnalysisUnit, AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.WorkQueue
mayReturnReceiver - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
mayThrowArithmeticException(AnalysisContext) - Method in class accrue.analysis.ext.ExtBinary
mayThrowClassCastException(AntiDepAbsVal, Cast, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
mayThrowClassCastException(DefUseAbsVal, Cast, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
mayThrowClassCastException(AnalysisContext) - Method in class accrue.analysis.ext.ExtCast
mayThrowNegativeArraySizeException() - Method in class accrue.analysis.ext.ExtNewArray
memoize(HContext) - Static method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
memoize(CContext) - Static method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
memoizedHashCode - Variable in class accrue.analysis.interprocanalysis.NodeIdentifier_c
merge(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
  Produce a code context (i.e., CContext) to analysis code called from call site `callSite` in code context `callerContext`, where `receiver` is the abstract object for the receiver of the method invocation.
mergeCallResults(Map<HContext, FinalVarContext<T>>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Merge the results of analyzing a virtual method call which may have multiple targets
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.CallSiteForPattern
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.CrossProductAnalysis
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.DistinguishClass
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
  Produce a code context (i.e., CContext) to analysis code called from call site `callSite` in code context `callerContext`, where `receiver` is the abstract object for the recevier of the method invocation.
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.StickFirstMatches
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
MINUS - Static variable in class accrue.analysis.parse.sym
MINUSEQ - Static variable in class accrue.analysis.parse.sym
MINUSMINUS - Static variable in class accrue.analysis.parse.sym
missingCode() - Method in class accrue.analysis.pointer.StmtRegistrar
MissingCodeReporter - Class in accrue.analysis
MissingCodeReporter() - Constructor for class accrue.analysis.MissingCodeReporter
MissingCodeReportGoal - Class in accrue.analysis.goals
MissingCodeReportPass - Class in accrue.analysis
MissingCodeReportPass(Goal, String) - Constructor for class accrue.analysis.MissingCodeReportPass
MOD - Static variable in class accrue.analysis.parse.sym
mode - Variable in class accrue.analysis.defuse.DefUseAnalysisUtil
mode() - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
mode - Variable in class accrue.analysis.defuse.DefUseGoal
MODEQ - Static variable in class accrue.analysis.parse.sym
MODIFIED_LOCATIONS - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
  This analysis result stores a Set of modified heap locations.
MoveInnerClassesGoal(Job) - Method in class accrue.AccrueSchedulerHelper
MoveInnerClassesGoal - Class in accrue.analysis.goals
MoveInnerClassesGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.goals.MoveInnerClassesGoal
MoveLocalClassesGoal(Job) - Method in class accrue.AccrueSchedulerHelper
MoveLocalClassesGoal - Class in accrue.analysis.goals
MoveLocalClassesGoal(Scheduler) - Constructor for class accrue.analysis.goals.MoveLocalClassesGoal
MoveStaticFieldInitializers(Job) - Method in class accrue.AccrueSchedulerHelper
MoveStaticFieldInitializers - Class in accrue.analysis.visit
  Moves static field initializers into initializer blocks.
MoveStaticFieldInitializers(Job, TypeSystem, NodeFactory, boolean) - Constructor for class accrue.analysis.visit.MoveStaticFieldInitializers
MoveStaticFieldInitializers(Job, TypeSystem, NodeFactory, boolean, boolean) - Constructor for class accrue.analysis.visit.MoveStaticFieldInitializers
MoveStaticFieldInitializersGoal - Class in accrue.analysis.goals
MoveStaticFieldInitializersGoal(Job, TypeSystem, NodeFactory, boolean) - Constructor for class accrue.analysis.goals.MoveStaticFieldInitializersGoal
MULT - Static variable in class accrue.analysis.parse.sym
MULTEQ - Static variable in class accrue.analysis.parse.sym

## N

NATIVE - Static variable in class accrue.analysis.parse.sym
NativeNodeIdentifier - Interface in accrue.analysis.interprocanalysis
NativeNodeIdentifier_c - Class in accrue.analysis.interprocanalysis
  This class identifies program points in missing or native code.
NativeNodeIdentifier_c(AnalysisContext, CodeInstance, int) - Constructor for class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
NativeNodeIdentifier_c(AnalysisContext, CodeInstance) - Constructor for class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
needsHashCode - Variable in class accrue.analysis.interprocvarcontext.VarContext
New(Position, Expr, TypeNode, List<Expr>, ClassBody) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
NEW - Static variable in class accrue.analysis.parse.sym
NEWALLOC - Static variable in class accrue.analysis.defuse.DefUseLibrarySignature
NewAllocAbsVal - Class in accrue.analysis.defuse
NewAllocAbsVal(Set<HContext>) - Constructor for class accrue.analysis.defuse.NewAllocAbsVal
nextToken() - Method in class accrue.analysis.parse.Lexer_c
  Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
nf - Variable in class accrue.analysis.parse.Grm
NO_TERMINATION - Static variable in class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
node - Variable in class accrue.analysis.interprocanalysis.NodeIdentifier_c
node - Variable in class accrue.analysis.pointer.StmtProcedureCall.ExceptionHandlerPointsToGraphNode
nodeForEnumConstantDecl(FieldInstance) - Method in class accrue.jl5.pointer.JL5StmtRegistrar
nodeForStaticField(FieldInstance) - Method in class accrue.analysis.pointer.StmtRegistrar
NodeIdentifier - Interface in accrue.analysis.interprocanalysis
NodeIdentifier_c - Class in accrue.analysis.interprocanalysis
  This class identifies a program point for the purposes of interprocedural analysis.
NodeIdentifier_c(AnalysisContext, Term) - Constructor for class accrue.analysis.interprocanalysis.NodeIdentifier_c
nodePostordering - Variable in class accrue.analysis.antidep.AntiDepDataFlow
nodePostordering - Variable in class accrue.analysis.defuse.DefUseDataFlow
nodeSize() - Method in class accrue.analysis.interprocanalysis.CallGraph
nodeSize() - Method in class accrue.analysis.pointer.PointsToGraph
NonexactExceptions(String) - Static method in class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
nonFatalPeers(FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.NonFatalPostDominatorDataFlow
NonFatalPostDominator() - Method in class accrue.AccrueSchedulerHelper
NonFatalPostDominatorDataFlow - Class in accrue.analysis.domination
  This class performs a postdominator analysis identical to its parent except that it ignores exceptional control flow edges that are fatal.
NonFatalPostDominatorDataFlow(Job, TypeSystem, NodeFactory, DominationAnalysisUtil) - Constructor for class accrue.analysis.domination.NonFatalPostDominatorDataFlow
NonFatalPostDominatorGoal - Class in accrue.analysis.domination
NonFatalPostDominatorGoal() - Constructor for class accrue.analysis.domination.NonFatalPostDominatorGoal
NOOP - Static variable in class accrue.analysis.defuse.DefUseLibrarySignature
NOOP - Static variable in class accrue.analysis.pointer.PointsToLibrarySigs
  Library signature that does not add any points to statements.
NOOP_MAYBENULL_RESULT_SIG - Static variable in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
NOOP_NONNULL_RESULT_SIG - Static variable in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
NOOP_SIG - Static variable in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
NORM_TERMINATION_ONLY - Static variable in class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
NORMAL - Static variable in class accrue.analysis.pointer.ConstructorContext
normalTermination() - Method in class accrue.analysis.interprocanalysis.ExitMap
normalTermination(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Set the context for normal termination
NOT - Static variable in class accrue.analysis.parse.sym
NOTEQ - Static variable in class accrue.analysis.parse.sym
NotNullAbsVal - Class in accrue.analysis.notnulldataflow
NotNullAnalysis() - Method in class accrue.AccrueSchedulerHelper
NotNullAnalysisFactory - Class in accrue.analysis.notnulldataflow
NotNullAnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
NotNullAnalysisPass - Class in accrue.analysis.notnulldataflow
NotNullAnalysisPass(ExtensionInfo, Goal, Registrar, AnalysisFactory<VarContext<NotNullAbsVal>>) - Constructor for class accrue.analysis.notnulldataflow.NotNullAnalysisPass
NotNullAnalysisPass.MakeNonPeerNullResultValid - Class in accrue.analysis.notnulldataflow
NotNullAnalysisPass.MakeNonPeerNullResultValid() - Constructor for class accrue.analysis.notnulldataflow.NotNullAnalysisPass.MakeNonPeerNullResultValid
NotNullAnalysisUtil - Class in accrue.analysis.notnulldataflow
NotNullAnalysisUtil(WorkQueue<VarContext<NotNullAbsVal>>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
NotNullDataFlow - Class in accrue.analysis.notnulldataflow
  Interprocedural dataflow analysis to determine which local variables and locations cannot be null.
NotNullDataFlow(NotNullAnalysisUtil, WorkQueue<VarContext<NotNullAbsVal>>, Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.notnulldataflow.NotNullDataFlow
NotNullGoal - Class in accrue.analysis.notnulldataflow
NotNullGoal() - Constructor for class accrue.analysis.notnulldataflow.NotNullGoal
noWarnMissingEdgesOptFlag - Variable in class accrue.AccrueOptionsHelper
noWemptysetsigs - Variable in class accrue.AccrueOptionsHelper
NULL_ANALYSIS - Static variable in class accrue.analysis.AnalysisTopics
NULL_LITERAL - Static variable in class accrue.analysis.parse.sym
numArgumentsOnResultStack() - Method in interface accrue.analysis.ext.AccrueExt
  During a dataflow analysis, when this term is encountered, how many arguments should there be on the expression result stack? For example, for an addition (e1 + e2) there will be two, one for each operand.
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.AccrueExt_c
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtArrayAccessAssign
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtArrayInit
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtBinary
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtCast
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtConditional
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtExpr
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtFieldAssign
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtInstanceof
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtLit
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtLocal
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtLocalAssign
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtSpecial
numRegisteredClasses() - Method in class accrue.analysis.interprocanalysis.Registrar
numRegisteredProcedures() - Method in class accrue.analysis.interprocanalysis.Registrar

## O

o - Variable in class accrue.analysis.pointer.ObjectField
ObjectField - Class in accrue.analysis.pointer
  Represents a field of an abstract object for pointer analysis.
objects() - Method in class accrue.analysis.defuse.NewAllocAbsVal
OBSERVED_LOCATIONS - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
OR - Static variable in class accrue.analysis.parse.sym
Ordered<T> - Interface in accrue.analysis.interprocanalysis
  Interface for an arbitrary partially ordered set
OREQ - Static variable in class accrue.analysis.parse.sym
origin - Variable in class accrue.analysis.pointer.PointsToStmt
OROR - Static variable in class accrue.analysis.parse.sym
output() - Method in class accrue.analysis.interprocanalysis.WorkQueue.AnalysisUnitRecord
output - Variable in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  output variable context
override(Node) - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
override(Node) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor

## P

PACKAGE - Static variable in class accrue.analysis.parse.sym
parent - Variable in class accrue.analysis.ctldep.CDAbsVal
Parsed(Job) - Method in class accrue.AccrueJLScheduler
Parsed(Job) - Method in class accrue.jl5.AccrueJL5Scheduler
parser(Reader, FileSource, ErrorQueue) - Method in class accrue.AccrueJLExtensionInfo
pass() - Method in class accrue.analysis.interprocanalysis.WorkQueue
path() - Method in class accrue.analysis.parse.Lexer_c
PCGAbsVal - Class in accrue.analysis.callgraph
PCGAbsVal(Set<ThrowableType>, Set<EdgeIdentifier>, Set<EdgeIdentifier>, boolean) - Constructor for class accrue.analysis.callgraph.PCGAbsVal
peek() - Method in class accrue.analysis.interprocvarcontext.Stack
peek() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
  Get the element on top of the stack
peekExprResult() - Method in class accrue.analysis.interprocvarcontext.VarContext
peekExprResults(int) - Method in class accrue.analysis.interprocvarcontext.VarContext
peekSource() - Method in class accrue.analysis.interprocvarcontext.Stack
peekSource() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
  Get the finally block the element on top of the stack was pushed on for
peekSuspendedExecutionStack() - Method in class accrue.analysis.interprocvarcontext.VarContext
peerForDataFlowNodeIdentifier(DataFlowNodeIdentifier, FlowGraph<FlowItem>) - Static method in class accrue.analysis.interprocanalysis.PreciseDataFlow
  Get the flowgraph peer for the given dataflow identifier
peerKey - Variable in class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
performDataflow(CodeNode) - Method in class accrue.analysis.domination.DominatorDataFlow
performDataflow(CodeNode) - Method in class accrue.analysis.domination.PostDominatorDataFlow
performVisit(CodeNode) - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
performVisit(CodeNode) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
performVisit(CodeNode) - Method in class accrue.analysis.readwritesets.ReadWriteSetVisitor
pi - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
PLUS - Static variable in class accrue.analysis.parse.sym
PLUSEQ - Static variable in class accrue.analysis.parse.sym
PLUSPLUS - Static variable in class accrue.analysis.parse.sym
PointerAnalysis() - Method in class accrue.AccrueSchedulerHelper
PointerAnalysisGoal - Class in accrue.analysis.goals
PointerAnalysisGoal() - Constructor for class accrue.analysis.goals.PointerAnalysisGoal
PointerAnalysisPass - Class in accrue.analysis.pointer
POINTSTO - Static variable in class accrue.analysis.AnalysisTopics
pointsTo(AntiDepAbsVal, Expr) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
pointsTo(DefUseAbsVal, Expr) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
pointsTo(ReferenceVariable, AnalysisContext, AccrueExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
  The set of heap objects the node could point to given the `AnalysisContext`
pointsTo(Expr) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Get the points-to set for the given expression in the current analysis context
pointsTo(Expr, AnalysisContext, AccrueExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
  The set of heap objects the expression could point to given the `AnalysisContext`
pointsTo(Formal) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
pointsTo(Formal, AnalysisContext, AccrueExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
  The set of heap objects the formal could point to given the `AnalysisContext`
pointsTo(Set<HContext>, String, Type) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Return the set of abstract objects that may be pointed to by the field `field` of type `type of the abstract objects os.`
pointsTo(Set<HContext>, String, Type, ExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Return the set of abstract objects that may be pointed to by the field `field` of type `type of the abstract objects os.`
pointsTo(Set<HContext>, FieldInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Return the set of abstract objects that may be pointed to by the field instance fi of the abstract objects os.
pointsTo(Set<HContext>, FieldInstance, ExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Return the set of abstract objects that may be pointed to by the field instance fi of the abstract objects os.
pointsTo(PointsToGraphNode) - Method in class accrue.analysis.pointer.PointsToGraph
pointsTo(PointsToEngine.StmtAndContext, PointsToGraphNode) - Method in class accrue.analysis.pointer.PointsToGraph
pointsTo(PointsToEngine.StmtAndContext, PointsToGraphNode) - Method in class accrue.analysis.pointer.PointsToGraphSerial
pointsTo(PointsToEngine.StmtAndContext, PointsToGraphNode) - Method in class accrue.analysis.pointer.PointsToGraphSync
pointsToEngine() - Method in interface accrue.AccrueExtensionInfo
  Return the PointsToEngine to be used during pointer analysis.
pointsToEngine() - Method in class accrue.AccrueJLExtensionInfo
PointsToEngine - Class in accrue.analysis.pointer
PointsToEngine() - Constructor for class accrue.analysis.pointer.PointsToEngine
PointsToEngine(HeapAbstractionFactory) - Constructor for class accrue.analysis.pointer.PointsToEngine
pointsToEngine() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
PointsToEngine.PointsToTimeoutException - Exception in accrue.analysis.pointer
PointsToEngine.PointsToTimeoutException() - Constructor for exception accrue.analysis.pointer.PointsToEngine.PointsToTimeoutException
PointsToEngine.StmtAndContext - Class in accrue.analysis.pointer
PointsToEngine.StmtAndContext(PointsToStmt, CContext) - Constructor for class accrue.analysis.pointer.PointsToEngine.StmtAndContext
pointsToEngineClass - Variable in class accrue.AccrueOptionsHelper
pointsToEngineClassOptFlag - Variable in class accrue.AccrueOptionsHelper
PointsToEngineMultiThread - Class in accrue.analysis.pointer
PointsToEngineMultiThread(HeapAbstractionFactory) - Constructor for class accrue.analysis.pointer.PointsToEngineMultiThread
PointsToEngineSingleThread - Class in accrue.analysis.pointer
PointsToEngineSingleThread(HeapAbstractionFactory) - Constructor for class accrue.analysis.pointer.PointsToEngineSingleThread
PointsToEngineTimeout - Class in accrue.analysis.pointer
PointsToEngineTimeout(String) - Constructor for class accrue.analysis.pointer.PointsToEngineTimeout
pointsToFiltered(PointsToGraphNode, Type) - Method in class accrue.analysis.pointer.PointsToGraph
pointsToFiltered(PointsToGraphNode, Type, Set<Type>) - Method in class accrue.analysis.pointer.PointsToGraph
POINTSTOGRAPH - Static variable in class accrue.analysis.AnalysisTopics
pointsToGraph(ExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
pointsToGraph() - Method in class accrue.analysis.pointer.PointerAnalysisPass
PointsToGraph - Class in accrue.analysis.pointer
  A PointsToGraph is a data structure that describes what expressions/locations (i.e., PointsToGraphNodes) can point to what abstract objects (i.e., HContexts)
PointsToGraph(HeapAbstractionFactory) - Constructor for class accrue.analysis.pointer.PointsToGraph
PointsToGraphNode - Class in accrue.analysis.pointer
  A PointsToGraphNode represents something that can point to an object.
PointsToGraphNode() - Constructor for class accrue.analysis.pointer.PointsToGraphNode
PointsToGraphSerial - Class in accrue.analysis.pointer
PointsToGraphSerial(HeapAbstractionFactory, StmtRegistrar) - Constructor for class accrue.analysis.pointer.PointsToGraphSerial
PointsToGraphSync - Class in accrue.analysis.pointer
  A concurrent implementation of the PointsToGraph.
PointsToGraphSync(StmtRegistrar, PointsToEngineMultiThread) - Constructor for class accrue.analysis.pointer.PointsToGraphSync
PointsToLibrarySigs - Class in accrue.analysis.pointer
PointsToLibrarySigs() - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs
PointsToLibrarySigs.AllocatorOrReceiver - Class in accrue.analysis.pointer
  Returns a new node, and maybe also the receiver.
PointsToLibrarySigs.AllocatorOrReceiver(String, boolean) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
PointsToLibrarySigs.AllocatorOrReceiver(String, boolean, boolean) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
PointsToLibrarySigs.AssignsArgToField - Class in accrue.analysis.pointer
PointsToLibrarySigs.AssignsArgToField(String, String, int) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.AssignsArgToField
PointsToLibrarySigs.ReturnsField - Class in accrue.analysis.pointer
PointsToLibrarySigs.ReturnsField(String, String) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.ReturnsField
PointsToLibrarySigs.Singleton - Class in accrue.analysis.pointer
  Returns a singleton.
PointsToLibrarySigs.Singleton(String, Type, boolean) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
PointsToLibrarySigs.Singleton(String, String, boolean) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
PointsToStmt - Class in accrue.analysis.pointer
PointsToStmt(Position, CodeInstance, Type, Type, boolean) - Constructor for class accrue.analysis.pointer.PointsToStmt
pointsToThis() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Return the pointsto set for "this" in the current analysis context.
pointsToTimeout - Variable in class accrue.AccrueOptionsHelper
pop() - Method in class accrue.analysis.interprocvarcontext.Stack
pop() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
  Get a new stack with the top element popped off
popAndPushExprResults(int, T, Node) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Pop i results off the result stack, and push one
popControlDeps() - Method in class accrue.analysis.ctldep.CDAbsVal
popExprResult() - Method in class accrue.analysis.interprocvarcontext.VarContext
  Pop first result off the result stack.
popExprResults(int) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Pop `i` results off the result stack.
popSuspendedExecutionStack() - Method in class accrue.analysis.interprocvarcontext.VarContext
  Pop first result off the suspended execution stack.
popSuspendedExecutionStackToDepth(int) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Pop results off the suspended execution stack until the size is no more than `depth`
populateFlags(Set<OptFlag<?>>) - Method in class accrue.AccrueJLOptions
populateFlags(Set<OptFlag<?>>) - Method in class accrue.AccrueOptionsHelper
populateFlags(Set<OptFlag<?>>) - Method in class accrue.jl5.AccrueJL5Options
populateFlags(Set<OptFlag<?>>) - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
post(FlowGraph<VarContext<T>>, Term) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
POST_DOMINATOR - Static variable in class accrue.analysis.AnalysisTopics
postApplyArgs() - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
PostDominator() - Method in class accrue.AccrueSchedulerHelper
PostDominatorDataFlow - Class in accrue.analysis.domination
  This PreciseDataFlow finds postdominators.
PostDominatorDataFlow(Job, TypeSystem, NodeFactory, DominationAnalysisUtil) - Constructor for class accrue.analysis.domination.PostDominatorDataFlow
PostDominatorGoal - Class in accrue.analysis.domination
PostDominatorGoal() - Constructor for class accrue.analysis.domination.PostDominatorGoal
postdoms - Variable in class accrue.analysis.domination.PostDominatorDataFlow
postExtAmbTypeInstantiation(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtAmbWildCard(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtAnnotationElemDecl(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtElementValueArrayInit(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtElementValuePair(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtEnumConstant(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtEnumConstantDecl(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtEnumDecl(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtExtendedFor(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtMarkerAnnotationElem(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtNormalAnnotationElem(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtParamTypeNode(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtSingleElementAnnotationElem(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
postExtSuppress(Ext) - Method in class accrue.analysis.ext.AnalysisExtFactory_c
postFieldDecl(FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Handle the post-processing for a finish peer for a FieldDecl specially.
PostModificationGoal(Job) - Method in class accrue.AccrueSchedulerHelper
  Return a goal that indicates all passes that will modify code to simplify analysis has been performed.
PostModificationGoal(Job) - Method in class accrue.jl5.AccrueJL5Scheduler.AccrueJL5SchedulerHelper
postorderNodeIDs(FlowGraph.Peer<VarContext<AntiDepAbsVal>>, int, Set<NodeIdentifier>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
postorderNodeIDs(FlowGraph.Peer<VarContext<DefUseAbsVal>>, int, Set<NodeIdentifier>) - Method in class accrue.analysis.defuse.DefUseDataFlow
postSuccessfulProcess(WorkQueue<T>) - Method in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
  Post the results of a successful analysis pass
postSuccessfulProcess(WorkQueue<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.InterProcVarContextPass
postSuccessfulProcess(WorkQueue<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisPass
preCallNonVirtual(ProcedureInstance, AnalysisContext, VarContext<T>, Term) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Allow extensions a chance to modify the input before the analysis of a non-virtual procedure call.
PRECISE_EX_ANALYSIS - Static variable in class accrue.analysis.AnalysisTopics
PreciseCallGraph() - Method in class accrue.AccrueSchedulerHelper
PreciseCallGraphAnalysisUtil - Class in accrue.analysis.callgraph
PreciseCallGraphAnalysisUtil(WorkQueue<PCGAbsVal>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
PreciseCallGraphFactory - Class in accrue.analysis.callgraph
PreciseCallGraphFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.callgraph.PreciseCallGraphFactory
PreciseCallGraphGoal - Class in accrue.analysis.callgraph
PreciseCallGraphGoal(int) - Constructor for class accrue.analysis.callgraph.PreciseCallGraphGoal
PreciseCallGraphPass - Class in accrue.analysis.callgraph
PreciseCallGraphVisitor - Class in accrue.analysis.callgraph
PreciseCallGraphVisitor(PreciseCallGraphAnalysisUtil) - Constructor for class accrue.analysis.callgraph.PreciseCallGraphVisitor
PreciseCallGraphVisitor(TypeSystem) - Constructor for class accrue.analysis.callgraph.PreciseCallGraphVisitor
PreciseDataFlow<FlowItem extends polyglot.visit.DataFlow.Item> - Class in accrue.analysis.interprocanalysis
  Uses the results of precise exceptions analysis to create a more accurate control flow graph.
PreciseDataFlow(AnalysisUtil<?>, Job, TypeSystem, NodeFactory, boolean) - Constructor for class accrue.analysis.interprocanalysis.PreciseDataFlow
  Create a new dataflow visitor
PreciseDataFlow(AnalysisUtil<?>, Job, TypeSystem, NodeFactory, boolean, boolean) - Constructor for class accrue.analysis.interprocanalysis.PreciseDataFlow
  Create a new dataflow visitor
PreciseDataFlow(AnalysisUtil<?>, Job, TypeSystem, NodeFactory, boolean, boolean, boolean) - Constructor for class accrue.analysis.interprocanalysis.PreciseDataFlow
  Create a new dataflow visitor
PreciseDataFlow.PreciseCFGBuilder<FlowItem extends polyglot.visit.DataFlow.Item> - Class in accrue.analysis.interprocanalysis
  A more precise CFG builder that adds Exception edges only for exceptions that might actually be thrown.
PreciseDataFlow.PreciseCFGBuilder(JLang, TypeSystem, FlowGraph<FlowItem>, PreciseDataFlow<FlowItem>) - Constructor for class accrue.analysis.interprocanalysis.PreciseDataFlow.PreciseCFGBuilder
  Create a new CFG builder
PreciseExAbsVal - Class in accrue.analysis.preciseExceptions
PreciseExAbsVal(Set<ThrowableType>, boolean) - Constructor for class accrue.analysis.preciseExceptions.PreciseExAbsVal
PreciseExAnalysisFactory - Class in accrue.analysis.preciseExceptions
PreciseExAnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
PreciseExAnalysisUtil - Class in accrue.analysis.preciseExceptions
PreciseExAnalysisUtil(WorkQueue<PreciseExAbsVal>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
PreciseExceptionAnalysis(int) - Method in class accrue.AccrueSchedulerHelper
PreciseExGoal - Class in accrue.analysis.preciseExceptions
PreciseExGoal(int) - Constructor for class accrue.analysis.preciseExceptions.PreciseExGoal
PreciseExLibrarySignature - Class in accrue.analysis.preciseExceptions
PreciseExLibrarySignature() - Constructor for class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
PreciseExPass - Class in accrue.analysis.preciseExceptions
PreciseExVisitor - Class in accrue.analysis.preciseExceptions
PreciseExVisitor(PreciseExAnalysisUtil) - Constructor for class accrue.analysis.preciseExceptions.PreciseExVisitor
PreciseExVisitor(TypeSystem) - Constructor for class accrue.analysis.preciseExceptions.PreciseExVisitor
PreciseExVisitor(PreciseExVisitor) - Constructor for class accrue.analysis.preciseExceptions.PreciseExVisitor
preciseType() - Method in interface accrue.analysis.pointer.HContext
  Returns the precise type of this abstract object.
PreModificationBarrier() - Method in class accrue.AccrueSchedulerHelper
  Return a barrier goal, with the intent that any goal that modifies types to simplify the analyses happen only after the barrier.
prepareCalleeContext(AnalysisUnit, T, List<T>, VarContext<T>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
  Create a new context appropriate for analyzing the method instance
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.antidep.AntiDepGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.callgraph.PreciseCallGraphGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.ctldep.CtlDepGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.defuse.DefUseGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.domination.DominatorGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.domination.NonFatalPostDominatorGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.domination.PostDominatorGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.AnalysesDone
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.ExpressionFlattenerGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.FindFinallyBlocksGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.InlineFinalConstantsGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MakeInstanceInitializersExplicitGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MakeNarrowingAssignmentsExplicitGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MakeTargetsExplicitGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MissingCodeReportGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MoveInnerClassesGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MoveLocalClassesGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MoveStaticFieldInitializersGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.PointerAnalysisGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.RegisterPointerStmtsGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.RegisterProceduresGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.SimplifyExpressionsGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.notnulldataflow.NotNullGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.preciseExceptions.PreciseExGoal
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.readwritesets.ReadWriteSetsGoal
prerequisiteGoals(Scheduler) - Method in class accrue.jl5.goals.JL5RegisterPointerStmtsGoal
print(PrintStream) - Static method in class accrue.analysis.MissingCodeReporter
printAsObj(Object) - Static method in class accrue.analysis.interprocvarcontext.VarContext
  Print the argument as an `Object`
PRIVATE - Static variable in class accrue.analysis.parse.sym
procedureDecl() - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
procedureThrows - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
process(ProcedureInstance, AnalysisContext, HContext, VarContext<DefUseAbsVal>, DefUseAbsVal, List<DefUseAbsVal>, AnalysisUtilVarContextDataFlow<VarContext<DefUseAbsVal>, DefUseAbsVal>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseLibrarySignature
process(CodeNode, A) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Run the analysis on the given code and current results ( `input`)
process(ProcedureInstance, AnalysisContext, HContext, VarContext<T>, T, List<T>, AnalysisUtilVarContext<A, T>, Set<ExitMap.Key>, Node) - Method in class accrue.analysis.interprocvarcontext.LibrarySignature
  Takes in the caller's context input just before the call (the argument AbsVals are no longer on the stack, and neither is the receiver AbsVal) and should return the _caller's_ context after the call to the procedure instance That is, if pi is meant to return a value, process should push that value onto the stack.
process(ProcedureInstance, AnalysisContext, HContext, VarContext<T>, T, List<T>, AnalysisUtilVarContextDataFlow<A, T>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.LibrarySignature
  Takes in the caller's context input just before the call (the argument AbsVals are no longer on the stack, and neither is the receiver AbsVal) and should return the _caller's_ context after the call to the procedure instance That is, if pi is meant to return a value, process should push that value onto the stack.
process(CodeInstance, CContext, CallSiteNode, ProcedureInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, StmtRegistrar, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.LibraryPointsToSignature
process(CodeInstance, CContext, CallSiteNode, ProcedureInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, StmtRegistrar, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
process(CodeInstance, CContext, CallSiteNode, ProcedureInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, StmtRegistrar, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.PointsToLibrarySigs.AssignsArgToField
process(CodeInstance, CContext, CallSiteNode, ProcedureInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, StmtRegistrar, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.PointsToLibrarySigs.ReturnsField
process(CodeInstance, CContext, CallSiteNode, ProcedureInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, StmtRegistrar, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.PointsToStmt
  Add appropriate edges to the graph g given the context for the LocalNodes and ThisNode.
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtAllocToLocal
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtConstructorCall
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtFieldToLocal
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtFilteredLocalToLocal
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtLocalToField
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtLocalToLocal
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtSpecialMethodCall
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtStaticMethodCall
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtVirtualMethodCall
process(ReferenceVariableReplica, ReferenceVariableReplica, CallSiteNode, MethodInstance, List<ReferenceVariableReplica>, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, CodeInstance, CContext, PointsToGraph, StmtRegistrar, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Static method in class accrue.analysis.pointer.StmtVirtualMethodCall
process(ProcedureInstance) - Method in class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
process(Node) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
  An extension point, so that subclasses can handle any custom nodes easily.
process(Try) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
process(Call) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
process(ConstructorCall) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
process(New) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
process(Suppress) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
processDefs(ProcedureInstance, AnalysisContext, HContext, VarContext<DefUseAbsVal>, DefUseAbsVal, List<DefUseAbsVal>, AnalysisUtilVarContextDataFlow<VarContext<DefUseAbsVal>, DefUseAbsVal>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseLibrarySignature
processMissingCode(CodeInstance, CContext, CallSiteNode, MethodInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtRegistrar
processMissingCode(CodeInstance, CContext, CallSiteNode, ConstructorInstance, ReferenceVariableReplica, List<ReferenceVariableReplica>, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtRegistrar
processQueue() - Method in class accrue.analysis.interprocanalysis.WorkQueue
processUses(ProcedureInstance, AnalysisContext, HContext, VarContext<DefUseAbsVal>, DefUseAbsVal, List<DefUseAbsVal>, AnalysisUtilVarContextDataFlow<VarContext<DefUseAbsVal>, DefUseAbsVal>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseLibrarySignature
production_table() - Method in class accrue.analysis.parse.Grm
  Access to production table.
PROTECTED - Static variable in class accrue.analysis.parse.sym
PSEUDOLOC(HContext, String) - Static method in class accrue.analysis.defuse.DefUseLibrarySignature
PUBLIC - Static variable in class accrue.analysis.parse.sym
push(Collection<ClassType>, Term) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow.PreciseCFGBuilder
  Swap out the exceptions and target
push(T, Object) - Method in class accrue.analysis.interprocvarcontext.Stack
push(Map<FlowGraph.EdgeKey, T>, Object) - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
  Get a new stack by pushing the specified map onto this stack
pushExprResult(T, Object) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Push result
pushExprResults(List<T>, Object) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Push results
pushSuspendedExecutionStack(Map<FlowGraph.EdgeKey, T>, Block) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Push suspended execution map
put(AnalysisContext, T) - Method in class accrue.analysis.interprocanalysis.AnalysisContextMap
put(AnalysisContext, FlowGraph.PeerKey, T) - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap

## Q

QUESTION - Static variable in class accrue.analysis.parse.sym

## R

r - Variable in class accrue.analysis.pointer.ReferenceVariableReplica
RBRACE - Static variable in class accrue.analysis.parse.sym
RBRACK - Static variable in class accrue.analysis.parse.sym
rd - Variable in class accrue.analysis.defuse.DefUseAbsVal
reachingDefinitions() - Method in class accrue.analysis.defuse.DefUseAbsVal
reachingUses() - Method in class accrue.analysis.antidep.AntiDepAbsVal
READ_WRITE_SETS_ANALYSIS - Static variable in class accrue.analysis.AnalysisTopics
readSet() - Method in class accrue.analysis.readwritesets.ReadWriteSet
  get the set of read locations
ReadWriteSet() - Method in class accrue.AccrueSchedulerHelper
ReadWriteSet - Class in accrue.analysis.readwritesets
  Sets of locations that are read and written
ReadWriteSet(Set<AbstractLocation>, Set<AbstractLocation>) - Constructor for class accrue.analysis.readwritesets.ReadWriteSet
  Construct from the raw sets
ReadWriteSetsAnalysisFactory - Class in accrue.analysis.readwritesets
  `AnalysisFactory` for the analysis which gathers all locations read and written by particular analysis units.
ReadWriteSetsAnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
  Construct a new factory
ReadWriteSetsAnalysisUtil - Class in accrue.analysis.readwritesets
  `AnalysisUtil` for an analysis that gathers the set of locations read and written by an analysis unit.
ReadWriteSetsAnalysisUtil(WorkQueue<ReadWriteSet>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.readwritesets.ReadWriteSetsAnalysisUtil
  Make a new analysis helper class
ReadWriteSetsGoal - Class in accrue.analysis.readwritesets
  Goal for the analysis that gathers the set of locations read an written by a procedure
ReadWriteSetsGoal() - Constructor for class accrue.analysis.readwritesets.ReadWriteSetsGoal
  Create a new goal object with a null `Job`
ReadWriteSetsPass - Class in accrue.analysis.readwritesets
  Analysis pass for analysis that gathers the locations read and written by procedures
ReadWriteSetVisitor - Class in accrue.analysis.readwritesets
ReadWriteSetVisitor(ReadWriteSetsAnalysisUtil) - Constructor for class accrue.analysis.readwritesets.ReadWriteSetVisitor
receiver - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
receiver_defs - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
receiver_uses - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
reconstruct(N, Formal, Block) - Method in class accrue.analysis.ast.AccrueCatch_c
record(ImmediatePostDominator, FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
record(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
  Produce an abstract object (i.e., HContext) to represent an object created at allocation site `alloc` in code context `context`.
recordAnalysisResult(Object, T) - Method in interface accrue.analysis.ext.AccrueExt
recordAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey, T) - Method in interface accrue.analysis.ext.AccrueExt
recordAnalysisResult(Object, AnalysisContext, T) - Method in interface accrue.analysis.ext.AccrueExt
recordAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey, T) - Method in class accrue.analysis.ext.AccrueExt_c
recordAnalysisResult(Object, AnalysisContext, T) - Method in class accrue.analysis.ext.AccrueExt_c
recordAnalysisResult(Object, T) - Method in class accrue.analysis.ext.AccrueExt_c
recordBranches(CDAbsVal, FlowGraph<CDAbsVal>, FlowGraph.Peer<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
recordCallTargets(Term, Set<EdgeIdentifier>) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
  There is a many-to-many relationship between call sites and CodeDecls.
recordCatchSites(Term, Set<EdgeIdentifier>) - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
recordClassCastAnalysisResult(AnalysisUtil<?>) - Method in class accrue.analysis.ext.ExtCast
recordEnumConstantDecl(EnumConstantDecl) - Method in class accrue.jl5.pointer.JL5StmtRegistrar
  Record the existence of an EnumConstantDecl
recordExprResults(boolean) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
recordExprResults() - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
recordFieldDecl(FieldDecl) - Method in class accrue.analysis.pointer.StmtRegistrar
  Record the existence of a field decl
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.CallSiteForPattern
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.CrossProductAnalysis
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.DistinguishClass
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
  Produce an abstract object (i.e., HContext) to represent an object created at allocation site `alloc` in code context `context`.
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.StickFirstMatches
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
recordInitializer(Initializer) - Method in class accrue.analysis.pointer.StmtRegistrar
  Record the existence of an initializer
recordInitializerOrFieldDecl(CodeNode) - Method in class accrue.analysis.pointer.StmtRegistrar
  Internal method that factors out the common functionality for recording the existence of an initializer or field decl
recordMissingCode(CodeInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
  Add the missing code to the compiler debug report
recordMissingCode(ProcedureInstance, Position) - Method in class accrue.analysis.pointer.StmtRegistrar
recordNodeEntry(Term) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Record the fact that analysis has entered this node
recordNodeExit(Term) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Record the fact that analysis has entered this node
recordNullAnalysisResult(AnalysisContext, FlowGraph.PeerKey, boolean) - Method in class accrue.analysis.ext.ExtExpr
recordPreciseExResults(AnalysisContext, Set<ThrowableType>, boolean) - Method in class accrue.analysis.ext.ExtCall
recordPreciseExResults(AnalysisContext, Set<ThrowableType>, boolean) - Method in class accrue.analysis.ext.ExtConstructorCall
recordPreciseExResults(AnalysisContext, Set<ThrowableType>, boolean) - Method in class accrue.analysis.ext.ExtNew
recordPreciseExResults(AnalysisContext, Set<ThrowableType>, boolean) - Method in interface accrue.analysis.ext.ExtProcedureCall
recordPreciseExResults(AnalysisContext, Set<ThrowableType>, boolean) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
recordProcedureDecl(ProcedureDecl, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
  Record the existence of a procedure decl.
recordRead(AbstractLocation) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Record a location that has been read
recordReads(Collection<AbstractLocation>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
recordResult(AnalysisUnit, AnalysisUtil<T>, T, ExitMap<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
recordReturnSources(Term, Set<EdgeIdentifier>) - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
recordWrite(AbstractLocation) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Record a location that has been written
recordWrites(Collection<AbstractLocation>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
reduce_table() - Method in class accrue.analysis.parse.Grm
  Access to `reduce_goto` table.
ReferenceVariable - Class in accrue.analysis.pointer
  A ReferenceVariable represents the result of an expression.
ReferenceVariable(String, boolean, Type, Position) - Constructor for class accrue.analysis.pointer.ReferenceVariable
ReferenceVariableReplica - Class in accrue.analysis.pointer
registerAlloc(ExtExpr, Type, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
registerAlloc(ExtExpr, Type, String, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
registerAlloc(ReferenceType, Position, String, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
registerArrayClone(Call, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
registerClassLiteral(ClassLit, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
registerConstructor(ConstructorDecl) - Method in class accrue.analysis.interprocanalysis.Registrar
RegisterDecls() - Method in class accrue.AccrueSchedulerHelper
RegisterDeclsGoal - Class in accrue.analysis.goals
RegisterDeclsGoal(Scheduler) - Constructor for class accrue.analysis.goals.RegisterDeclsGoal
registerEnumConstantDecl(EnumConstantDecl, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.jl5.pointer.JL5StmtRegistrar
RegisterExpressions() - Method in class accrue.AccrueSchedulerHelper
RegisterExpressions - Class in accrue.analysis.visit
RegisterExpressions(Map<Node, Node>, Map<Node, Set<Node>>) - Constructor for class accrue.analysis.visit.RegisterExpressions
RegisterExpressionsGoal - Class in accrue.analysis.goals
RegisterExpressionsGoal(Scheduler) - Constructor for class accrue.analysis.goals.RegisterExpressionsGoal
registerFieldDecl(FieldDecl) - Method in class accrue.analysis.interprocanalysis.Registrar
RegisterFieldDecls - Class in accrue.analysis.visit
RegisterFieldDecls(Map<FieldInstance, Node>) - Constructor for class accrue.analysis.visit.RegisterFieldDecls
registerInitializer(Initializer) - Method in class accrue.analysis.interprocanalysis.Registrar
registerInitializer(CodeNode, InitializerInstance) - Method in class accrue.analysis.interprocanalysis.Registrar
registerLocalDecl(LocalInstance, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
registerMethod(MethodDecl) - Method in class accrue.analysis.interprocanalysis.Registrar
RegisterPointerStmts(Job) - Method in class accrue.AccrueSchedulerHelper
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in interface accrue.analysis.ext.AccrueExt
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.AccrueExt_c
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtArrayAccess
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtArrayAccessAssign
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtArrayInit
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtBinary
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtCall
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtCast
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtConditional
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtConstructorCall
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtExpr
  This method needs to ensure that: 1.
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtField
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtFieldAssign
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtFieldDecl
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtInstanceof
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtLit
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtLocal
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtLocalAssign
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtLocalDecl
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtMethodDecl
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtNew
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtNewArray
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtPrimitiveExpr
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtReturn
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtSpecial
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtSuppress
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtThrow
RegisterPointerStmts(Job) - Method in class accrue.jl5.AccrueJL5Scheduler.AccrueJL5SchedulerHelper
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
RegisterPointerStmtsDone() - Method in class accrue.AccrueSchedulerHelper
RegisterPointerStmtsGoal - Class in accrue.analysis.goals
RegisterPointerStmtsGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.goals.RegisterPointerStmtsGoal
RegisterPointerStmtsVisitor - Class in accrue.analysis.pointer
  Registers all procedures (methods, constructors, initializers) with the InterAnalysisPass.
RegisterPointerStmtsVisitor(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.pointer.RegisterPointerStmtsVisitor
RegisterProcedures(Job) - Method in class accrue.AccrueSchedulerHelper
RegisterProceduresDone() - Method in class accrue.AccrueSchedulerHelper
RegisterProceduresGoal - Class in accrue.analysis.goals
RegisterProceduresGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.goals.RegisterProceduresGoal
RegisterProceduresVisitor - Class in accrue.analysis.interprocanalysis
  Registers all procedures (methods, constructors, initializers) with the InterAnalysisPass.
RegisterProceduresVisitor(Job, TypeSystem, NodeFactory, Registrar) - Constructor for class accrue.analysis.interprocanalysis.RegisterProceduresVisitor
registerStaticAlloc(Type, boolean, String, Position) - Method in class accrue.analysis.pointer.StmtRegistrar
registerStringLiteral(Expr, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
REGISTRAR - Static variable in class accrue.analysis.AnalysisTopics
registrar(ExtensionInfo) - Static method in class accrue.analysis.goals.RegisterProceduresGoal
registrar - Variable in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
  Map from procedures to analysis results
registrar() - Method in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
registrar - Variable in class accrue.analysis.interprocanalysis.RegisterProceduresVisitor
Registrar - Class in accrue.analysis.interprocanalysis
  The Registrar maintains useful information about the whole program's code.
Registrar(ExtensionInfo) - Constructor for class accrue.analysis.interprocanalysis.Registrar
registrar() - Method in class accrue.analysis.interprocanalysis.WorkQueue
registrar() - Method in class accrue.analysis.pointer.PointerAnalysisPass
remove(AnalysisContext) - Method in class accrue.analysis.interprocanalysis.AnalysisContextMap
remove(AnalysisContext, FlowGraph.PeerKey) - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
removeAnalysisResult(Object) - Method in interface accrue.analysis.ext.AccrueExt
removeAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey) - Method in interface accrue.analysis.ext.AccrueExt
removeAnalysisResult(Object, AnalysisContext) - Method in interface accrue.analysis.ext.AccrueExt
removeAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey) - Method in class accrue.analysis.ext.AccrueExt_c
removeAnalysisResult(Object, AnalysisContext) - Method in class accrue.analysis.ext.AccrueExt_c
removeAnalysisResult(Object) - Method in class accrue.analysis.ext.AccrueExt_c
removeBranch(Branch.Kind) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Functionally remove the `break` or `continue` from the map
removeBranch(Branch.Kind, String) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Functionally remove the `break` or `continue` with the given label from the map
removeException(ClassType) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Functionally remove the edge correspinding to the exception type
removeNormalTermination() - Method in class accrue.analysis.interprocanalysis.ExitMap
  Functionally remove the normal termination, true, and false results from the map
removePostDomDeps(DataFlowNodeIdentifier, CDAbsVal) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
removeReturnItem() - Method in class accrue.analysis.interprocanalysis.ExitMap
  Functionally remove the return result from the map
removeThrowableType(ThrowableType) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
removeTrueFalseResults() - Method in class accrue.analysis.interprocanalysis.ExitMap
  Functionally remove the true, and false results from the map
reportMissingCode(String, CodeInstance) - Static method in class accrue.analysis.MissingCodeReporter
reportToFile(String) - Static method in class accrue.analysis.MissingCodeReporter
reportTopics() - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
  Return the analysis name and `AnalysisTopics` as a set
reportToStdErr() - Static method in class accrue.analysis.MissingCodeReporter
reportToStdOut() - Static method in class accrue.analysis.MissingCodeReporter
restoreCallerContext(VarContext<T>, boolean, ExitMap.Key) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Restore the appropriate elements of the caller context after analyzing the callee.
restoreCallingFrame(ExitMap<T>, T, WorkQueue.AnalysisUnitRecord<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
restoreCallingFrame(FinalVarContext<T>, VarContext<T>, Set<AbstractLocation>) - Method in class accrue.analysis.interprocvarcontext.AnalysisFactoryVarContext
restoreCallingFrame(ExitMap<VarContext<T>>, VarContext<T>, WorkQueue.AnalysisUnitRecord<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
restoreContext(VarContext<T>, boolean) - Method in class accrue.analysis.interprocvarcontext.FinalVarContext
  Restore elements of the input context into the contexts in `this`.
result - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
RETURN - Static variable in class accrue.analysis.parse.sym
RETURN_SOURCES - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
  EdgeIdentifiers from call sites to return sites, including code blocks that return implicitly.
RETURN_TARGETS - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
  EdgeIdentifiers from return sites (including code blocks that return implicitly) to call sites.
returnItem() - Method in class accrue.analysis.interprocanalysis.ExitMap
returnItem(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
returnResult() - Method in class accrue.analysis.interprocvarcontext.VarContext
  Get the abstract value for the return result (could be null)
returnResult(T) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Swap the return result in `this` for `returnResult`
returns_newalloc - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
returnSites() - Method in class accrue.analysis.callgraph.PCGAbsVal
returnSites - Variable in class accrue.analysis.callgraph.PreciseCallGraphVisitor
retValue - Variable in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
right - Variable in class accrue.analysis.pointer.StmtAllocToLocal
RPAREN - Static variable in class accrue.analysis.parse.sym
RSHIFT - Static variable in class accrue.analysis.parse.sym
RSHIFTEQ - Static variable in class accrue.analysis.parse.sym
ru - Variable in class accrue.analysis.antidep.AntiDepAbsVal
  Uses reaching this node.
run() - Method in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
run() - Method in class accrue.analysis.MissingCodeReportPass
run() - Method in class accrue.analysis.pointer.PointerAnalysisPass

## S

safeConfluence(List<VarContext<T>>, List<FlowGraph.EdgeKey>, FlowGraph.Peer<VarContext<T>>, FlowGraph<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
scan() - Method in class accrue.analysis.parse.Grm
  Scan to get the next Symbol.
sched - Variable in class accrue.AccrueSchedulerHelper
  The Scheduler that this class is helping.
SEMICOLON - Static variable in class accrue.analysis.parse.sym
setAllocNode(AllocSiteNode, ConstructorContext) - Method in interface accrue.analysis.ext.ExtAlloc
  Set the AllocSiteNode representing the allocation of a new object (within the specific constructor context).
setAllocNode(AllocSiteNode, ConstructorContext) - Method in class accrue.analysis.ext.ExtArrayInit
setAllocNode(AllocSiteNode, ConstructorContext) - Method in class accrue.analysis.ext.ExtNew
setAllocNode(AllocSiteNode, ConstructorContext) - Method in class accrue.analysis.ext.ExtNewArray
setAllocNode(AllocSiteNode, ConstructorContext) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
setAllOrderedStaticInitializers(List<CodeNode>) - Method in class accrue.analysis.interprocanalysis.Registrar
setCallSiteNode(CallSiteNode) - Method in class accrue.analysis.ext.ExtCall
setCallSiteNode(CallSiteNode) - Method in class accrue.analysis.ext.ExtConstructorCall
setCallSiteNode(CallSiteNode) - Method in class accrue.analysis.ext.ExtNew
setCallSiteNode(CallSiteNode) - Method in interface accrue.analysis.ext.ExtProcedureCall
setCallSiteNode(CallSiteNode) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
setEnclosingFinallyDepth(int) - Method in interface accrue.analysis.ext.AccrueExt
  Set the number of finally blocks that this node is nested inside.
setEnclosingFinallyDepth(int) - Method in class accrue.analysis.ext.AccrueExt_c
setIsCatchFormal() - Method in class accrue.analysis.ext.ExtFormal
setIsOutputExtensionInfo(boolean) - Method in interface accrue.AccrueExtensionInfo
  Set whether this ExtensionInfo is the output extension info for some other extension.
setIsOutputExtensionInfo(boolean) - Method in class accrue.AccrueJLExtensionInfo
setIsOutputExtensionInfo(boolean) - Method in class accrue.jl5.AccrueJL5ExtensionInfo
setLoopLabel(String) - Method in class accrue.analysis.ext.ExtLoop
setNullResultsNoPeerValid() - Method in class accrue.analysis.ext.ExtExpr
setParent(CDAbsVal) - Method in class accrue.analysis.ctldep.CDAbsVal
setReferenceVariable(ReferenceVariable, ConstructorContext) - Method in class accrue.analysis.ext.ExtExpr
setReferenceVariable(ReferenceVariable, ConstructorContext) - Method in class accrue.analysis.ext.ExtFormal
setThisNode(ConstructorContext, ReferenceVariable) - Method in class accrue.analysis.ext.ExtFieldDecl
setThisNode(ConstructorContext, ReferenceVariable) - Method in class accrue.analysis.ext.ExtInitializer
setThisNode(ConstructorContext, ReferenceVariable) - Method in interface accrue.analysis.ext.ExtInitializerOrFieldDecl
  Set the appropriate ReferenceVariable that represents the current object (i.e., the reference variable used in the pointer analysis to refer to "this") for the given constructor context.
setThisNode(ReferenceVariable) - Method in class accrue.analysis.ext.ExtProcedureDecl
setTimeout(Long) - Method in class accrue.analysis.pointer.PointsToEngine
setUnitializedValue() - Method in class accrue.analysis.ext.ExtLit
setWarnOnEdgesMissingData(boolean) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Set whether to warn on missing dataflow edges
SHORT - Static variable in class accrue.analysis.parse.sym
SHOW_POSITION - Static variable in class accrue.analysis.pointer.CallSiteNode
SHOW_POSITION - Static variable in class accrue.analysis.pointer.ReferenceVariable
signatureAnalysisNames() - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
SignatureRepository<T> - Class in accrue.analysis.interprocvarcontext
  Provides a way to store and look up LibrarySignatures for procedure instances.
SignatureRepository() - Constructor for class accrue.analysis.interprocvarcontext.SignatureRepository
signatureRepository(String) - Method in class accrue.analysis.signatures.AnalysisSignatures
  Get a signature repository for a given analysis name.
signatureRepository(String, boolean) - Method in class accrue.analysis.signatures.AnalysisSignatures
  Get a signature repository for a given analysis name, creating one if requested.
signatureSourcePath - Variable in class accrue.AccrueOptionsHelper
sigSrcPathOptFlag - Variable in class accrue.AccrueOptionsHelper
simplifyAssignment(Assign) - Method in class accrue.analysis.visit.SimplifyExpressions
SimplifyExpressions - Class in accrue.analysis.visit
  Simplify some expressions for the later analyses.
SimplifyExpressions(NodeFactory, TypeSystem) - Constructor for class accrue.analysis.visit.SimplifyExpressions
SimplifyExpressionsGoal(Job) - Method in class accrue.AccrueSchedulerHelper
SimplifyExpressionsGoal - Class in accrue.analysis.goals
SimplifyExpressionsGoal(Job, NodeFactory, TypeSystem) - Constructor for class accrue.analysis.goals.SimplifyExpressionsGoal
singleton(ExtensionInfo) - Static method in class accrue.analysis.antidep.AntiDepGoal
singleton(AccrueExtensionInfo) - Static method in class accrue.analysis.antidep.AntiDepPass
singleton(ExtensionInfo, int) - Static method in class accrue.analysis.callgraph.PreciseCallGraphGoal
singleton(AccrueExtensionInfo, int) - Static method in class accrue.analysis.callgraph.PreciseCallGraphPass
singleton(ExtensionInfo) - Static method in class accrue.analysis.ctldep.CtlDepGoal
singleton(AccrueExtensionInfo) - Static method in class accrue.analysis.ctldep.CtlDepPass
singleton(ExtensionInfo, DefUseAnalysisUtil.Mode) - Static method in class accrue.analysis.defuse.DefUseGoal
singleton(AccrueExtensionInfo, DefUseAnalysisUtil.Mode) - Static method in class accrue.analysis.defuse.DefUsePass
singleton(AccrueExtensionInfo, DominationPass.Kind, Goal) - Static method in class accrue.analysis.domination.DominationPass
singleton(ExtensionInfo) - Static method in class accrue.analysis.domination.DominatorGoal
singleton(ExtensionInfo) - Static method in class accrue.analysis.domination.NonFatalPostDominatorGoal
singleton(ExtensionInfo) - Static method in class accrue.analysis.domination.PostDominatorGoal
singleton(ExtensionInfo, String) - Static method in class accrue.analysis.goals.MissingCodeReportGoal
singleton(ExtensionInfo) - Static method in class accrue.analysis.goals.MoveLocalClassesGoal
singleton(ExtensionInfo) - Static method in class accrue.analysis.goals.PointerAnalysisGoal
singleton(ExtensionInfo) - Static method in class accrue.analysis.goals.RegisterDeclsGoal
singleton(ExtensionInfo) - Static method in class accrue.analysis.goals.RegisterExpressionsGoal
singleton(T, Object) - Static method in class accrue.analysis.interprocvarcontext.Stack
singleton(ExtensionInfo, String) - Static method in class accrue.analysis.MissingCodeReportPass
singleton(AccrueExtensionInfo) - Static method in class accrue.analysis.notnulldataflow.NotNullAnalysisPass
singleton(ExtensionInfo) - Static method in class accrue.analysis.notnulldataflow.NotNullGoal
singleton(ExtensionInfo) - Static method in class accrue.analysis.pointer.PointerAnalysisPass
singleton(ExtensionInfo, int) - Static method in class accrue.analysis.preciseExceptions.PreciseExGoal
singleton(AccrueExtensionInfo, int) - Static method in class accrue.analysis.preciseExceptions.PreciseExPass
singleton(ExtensionInfo) - Static method in class accrue.analysis.readwritesets.ReadWriteSetsGoal
  Create a singleton goal
singleton(AccrueExtensionInfo, Goal) - Static method in class accrue.analysis.readwritesets.ReadWriteSetsPass
  Create a singleton pass
singletons - Static variable in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
size() - Method in class accrue.analysis.interprocvarcontext.Stack
size() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
  Get the number of elements on the stack
solve(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngine
solved - Variable in class accrue.analysis.pointer.PointsToGraph
  Has this graph been solved yet? Various methods shoudl only be called once the points to graph inference has finished.
solveImpl(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngine
solveImpl(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineMultiThread
solveImpl(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineSingleThread
solveImpl(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineTimeout
solveMultithreaded(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineMultiThread
solveSimple(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineSingleThread
  A simple and inefficient solution technique: iterate through all statements until no more changes
solveSmarter(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineSingleThread
  A better solution techniques that tracks dependencies between points-to sets and statements.
Stack<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
  A stack of abstract values.
Stack() - Constructor for class accrue.analysis.interprocvarcontext.Stack
start_production() - Method in class accrue.analysis.parse.Grm
  Indicates start production.
start_state() - Method in class accrue.analysis.parse.Grm
  Indicates start state.
startItem(AnalysisUtil<VarContext<AntiDepAbsVal>>, ProcedureDecl) - Method in class accrue.analysis.antidep.AntiDepAnalysisFactory
startItem(AnalysisUtil<PCGAbsVal>, ProcedureDecl) - Method in class accrue.analysis.callgraph.PreciseCallGraphFactory
startItem(AnalysisUtil<CDAbsVal>, ProcedureDecl) - Method in class accrue.analysis.ctldep.CtlDepAnalysisFactory
startItem(AnalysisUtil<VarContext<DefUseAbsVal>>, ProcedureDecl) - Method in class accrue.analysis.defuse.DefUseAnalysisFactory
startItem(AnalysisUtil<Unit>, ProcedureDecl) - Method in class accrue.analysis.domination.DominationAnalysisFactory
startItem(AnalysisUtil<A>, ProcedureDecl) - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
  Get the start item for the analysis
startItem(AnalysisUtil<VarContext<NotNullAbsVal>>, ProcedureDecl) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
startItem(AnalysisUtil<PreciseExAbsVal>, ProcedureDecl) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
startItem(AnalysisUtil<ReadWriteSet>, ProcedureDecl) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
startOptFlag - Variable in class accrue.AccrueOptionsHelper
STARTPROC - Static variable in class accrue.analysis.ctldep.CDAbsVal
startProcAnalysisContext() - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
  Get the initial analysis context for the start procedure (i.e.
startProcClass - Variable in class accrue.AccrueOptionsHelper
startProcs() - Method in class accrue.analysis.interprocanalysis.CallGraph
startProcs() - Method in class accrue.analysis.interprocanalysis.Registrar
startSolution() - Method in class accrue.analysis.pointer.PointsToEngine
startTime() - Method in class accrue.analysis.pointer.PointsToEngine
STATIC - Static variable in class accrue.analysis.parse.sym
StaticCallSiteContextSensitiveAnalysis - Class in accrue.analysis.pointer.analyses
  Similar to CallSiteContextSensitiveAnalysis, this is a call-site sensitive analysis.
StaticCallSiteContextSensitiveAnalysis() - Constructor for class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
  Create an analysis with the default sensitivity
StaticCallSiteContextSensitiveAnalysis(int) - Constructor for class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
  Create an analysis with the given context-call-stack depth
StickFirstCalledFrom - Class in accrue.analysis.pointer.analyses
  Analysis that keeps the first N call sites where the file called from matches a particular prefix.
StickFirstCalledFrom(int, String) - Constructor for class accrue.analysis.pointer.analyses.StickFirstCalledFrom
  Create an analysis that tracks called from a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
StickFirstCalledFrom(String) - Constructor for class accrue.analysis.pointer.analyses.StickFirstCalledFrom
  Create an analysis that tracks methods called from a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
StickFirstCallee - Class in accrue.analysis.pointer.analyses
  Analysis that keeps the first N call sites that matches a particular prefix.
StickFirstCallee() - Constructor for class accrue.analysis.pointer.analyses.StickFirstCallee
  Create an analysis with the default sensitivity and default string.
StickFirstCallee(int, String) - Constructor for class accrue.analysis.pointer.analyses.StickFirstCallee
  Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
StickFirstCallee(String) - Constructor for class accrue.analysis.pointer.analyses.StickFirstCallee
  Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
StickFirstCollections - Class in accrue.analysis.pointer.analyses
  Precisely track the first calls into the Java collections framework.
StickFirstCollections(int) - Constructor for class accrue.analysis.pointer.analyses.StickFirstCollections
  Create a new `HeapAbstractionFactory` with the given sensitivity
StickFirstCollections() - Constructor for class accrue.analysis.pointer.analyses.StickFirstCollections
  Create a new `HeapAbstractionFactory` with the default sensitivity
StickFirstMatches - Class in accrue.analysis.pointer.analyses
  Analysis that keeps the first N call sites that matches some predicate.
StickFirstMatches() - Constructor for class accrue.analysis.pointer.analyses.StickFirstMatches
  Create an analysis with the default sensitivity and default string.
StickFirstMatches(int) - Constructor for class accrue.analysis.pointer.analyses.StickFirstMatches
  Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
StickFirstPrimitive - Class in accrue.analysis.pointer.analyses
  Precisely track the first calls into the one of the 8 Java primitive wrappers.
StickFirstPrimitive(int) - Constructor for class accrue.analysis.pointer.analyses.StickFirstPrimitive
  Create an analysis that tracks methods called on Primitive wrapper classes.
StickFirstPrimitive() - Constructor for class accrue.analysis.pointer.analyses.StickFirstPrimitive
  Create an analysis that tracks methods called on Primitive wrapper classes with default sensitivity.
StmtAllocToLocal - Class in accrue.analysis.pointer
StmtAllocToLocal(ReferenceVariable, AllocSiteNode, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtAllocToLocal
StmtConstructorCall - Class in accrue.analysis.pointer
StmtConstructorCall(ReferenceVariable, CallSiteNode, ConstructorInstance, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtConstructorCall
StmtFieldToLocal - Class in accrue.analysis.pointer
StmtFieldToLocal(ReferenceVariable, ReferenceVariable, FieldInstance, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtFieldToLocal
  left = right.fi
StmtFieldToLocal(ReferenceVariable, ReferenceVariable, String, Type, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtFieldToLocal
  left = right.fi Only use for "special fields" that have no field instance (such as the contents of an array)
StmtFilteredLocalToLocal - Class in accrue.analysis.pointer
  left = right, but only allow left to point to objects that are subtypes ot t and are not subtypes of any element of notT.
StmtFilteredLocalToLocal(ReferenceVariable, ReferenceVariable, Type, Set<Type>, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtFilteredLocalToLocal
StmtLocalToField - Class in accrue.analysis.pointer
StmtLocalToField(ReferenceVariable, FieldInstance, ReferenceVariable, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtLocalToField
  left.fi = right
StmtLocalToField(ReferenceVariable, String, Type, ReferenceVariable, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtLocalToField
  left.fi = right Only use for "special fields" that have no field instance (such as the contents of an array)
StmtLocalToLocal - Class in accrue.analysis.pointer
StmtLocalToLocal(ReferenceVariable, ReferenceVariable, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtLocalToLocal
StmtProcedureCall - Class in accrue.analysis.pointer
StmtProcedureCall(Position, CodeInstance, CallSiteNode) - Constructor for class accrue.analysis.pointer.StmtProcedureCall
StmtProcedureCall.ExceptionHandlerPointsToGraphNode - Class in accrue.analysis.pointer
StmtProcedureCall.ExceptionHandlerPointsToGraphNode(Type, ReferenceVariableReplica) - Constructor for class accrue.analysis.pointer.StmtProcedureCall.ExceptionHandlerPointsToGraphNode
StmtRegistrar - Class in accrue.analysis.pointer
StmtRegistrar(ExtensionInfo) - Constructor for class accrue.analysis.pointer.StmtRegistrar
StmtRegistrar.CodeInfo - Class in accrue.analysis.pointer
StmtRegistrar.CodeInfo(CodeInstance, ReferenceVariable, List<ReferenceVariable>, ReferenceVariable, Map<Type, ReferenceVariable>) - Constructor for class accrue.analysis.pointer.StmtRegistrar.CodeInfo
StmtRegistrar.ExceptionHandlerReferenceVariable - Class in accrue.analysis.pointer
StmtRegistrar.ExceptionHandlerReferenceVariable(Type, ReferenceVariable) - Constructor for class accrue.analysis.pointer.StmtRegistrar.ExceptionHandlerReferenceVariable
stmts() - Method in class accrue.analysis.pointer.StmtRegistrar
stmtsForCode(CodeInstance) - Method in class accrue.analysis.pointer.StmtRegistrar
StmtSpecialMethodCall - Class in accrue.analysis.pointer
StmtSpecialMethodCall(ReferenceVariable, ReferenceVariable, CallSiteNode, MethodInstance, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtSpecialMethodCall
StmtStaticMethodCall - Class in accrue.analysis.pointer
StmtStaticMethodCall(ReferenceVariable, CallSiteNode, MethodInstance, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtStaticMethodCall
StmtVirtualMethodCall - Class in accrue.analysis.pointer
StmtVirtualMethodCall(ReferenceVariable, ReferenceVariable, CallSiteNode, MethodInstance, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtVirtualMethodCall
STRICTFP - Static variable in class accrue.analysis.parse.sym
STRING - Static variable in class accrue.analysis.parse.Lexer_c
STRING_CONTENTS - Static variable in class accrue.analysis.defuse.DefUseAnalysisUtil
STRING_LITERAL - Static variable in class accrue.analysis.parse.sym
stringLocations(DefUseAbsVal, Expr) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
subexprsUninteresting(Node, Node) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
  As a mild optimization, allow the visitor to specify subexpressions that it is not interested in.
SUPER - Static variable in class accrue.analysis.parse.sym
Suppress(Position, List<TypeNode>, Expr) - Method in interface accrue.analysis.ast.AccrueNodeFactory
Suppress(Position, List<TypeNode>, Expr) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
Suppress - Interface in accrue.analysis.ast
suppress(Type) - Method in interface accrue.analysis.ast.Suppress
suppress(Type) - Method in class accrue.analysis.ast.Suppress_c
SUPPRESS - Static variable in class accrue.analysis.parse.sym
Suppress_c - Class in accrue.analysis.ast
Suppress_c(Position, List<TypeNode>, Expr) - Constructor for class accrue.analysis.ast.Suppress_c
suppressExceptionTypes() - Method in interface accrue.analysis.ast.Suppress
suppressExceptionTypes() - Method in class accrue.analysis.ast.Suppress_c
SuspendedExecutionStack<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
  Stack of maps from CFG edge key to abstract dataflow value.
suspendedExecutionStack(SuspendedExecutionStack<T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Get a new `VarContext` identical to `this` with the suspended execution stack replaced with the specified one
suspendedExecutionStack() - Method in class accrue.analysis.interprocvarcontext.VarContext
  Get the stack of maps from finally entry edge keys to abstract values.
SWITCH - Static variable in class accrue.analysis.parse.sym
sym - Class in accrue.analysis.parse
  CUP generated class containing symbol constants.
sym() - Constructor for class accrue.analysis.parse.sym
SYNCHRONIZED - Static variable in class accrue.analysis.parse.sym

## T

tailString(StringBuffer) - Method in class accrue.analysis.interprocvarcontext.Stack
target - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
targetMayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtCall
THIS - Static variable in class accrue.analysis.parse.sym
thisNode - Variable in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
THROW - Static variable in class accrue.analysis.parse.sym
ThrowableType - Class in accrue.analysis.preciseExceptions
ThrowableType(Type, boolean) - Constructor for class accrue.analysis.preciseExceptions.ThrowableType
THROWS - Static variable in class accrue.analysis.parse.sym
throwSites() - Method in class accrue.analysis.callgraph.PCGAbsVal
throwSites - Variable in class accrue.analysis.callgraph.PreciseCallGraphVisitor
throwsNonFatalExceptions(Term) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
  Returns true if this node throws exceptions that may be caught.
throwTypes() - Method in class accrue.analysis.callgraph.PCGAbsVal
throwTypes - Variable in class accrue.analysis.callgraph.PreciseCallGraphVisitor
throwTypes() - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtArrayAccess
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtArrayAccessAssign
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtBinary
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtCall
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtCast
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtConstructorCall
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtField
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtFieldAssign
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtNew
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtNewArray
throwTypes(TypeSystem, AnalysisContext) - Method in interface accrue.analysis.ext.ExtProcedureCall
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtTerm
  Get the collection of types of exceptions that might be thrown
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtThrow
throwTypes() - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
throwTypes - Variable in class accrue.analysis.preciseExceptions.PreciseExVisitor
throwTypes() - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
timeout() - Method in class accrue.analysis.pointer.PointsToEngine
timeoutTime() - Method in class accrue.analysis.pointer.PointsToEngine
toString() - Method in class accrue.analysis.antidep.AntiDepAbsVal
toString() - Method in class accrue.analysis.ast.Suppress_c
toString() - Method in class accrue.analysis.callgraph.PCGAbsVal
toString() - Method in class accrue.analysis.defuse.DefUseAbsVal
toString() - Method in class accrue.analysis.defuse.NewAllocAbsVal
toString() - Method in class accrue.analysis.interprocanalysis.AbstractLocation
toString() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
toString() - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
toString() - Method in class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
toString() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.ExceptionEdge
toString() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
toString() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
toString() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
toString() - Method in class accrue.analysis.interprocanalysis.ExitMap.ExceptionKey
toString() - Method in class accrue.analysis.interprocanalysis.ExitMap.Key
toString() - Method in class accrue.analysis.interprocanalysis.ExitMap.LabeledBranchKey
toString() - Method in class accrue.analysis.interprocanalysis.ExitMap
toString() - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
toString() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
toString() - Method in class accrue.analysis.interprocanalysis.Unit
toString() - Method in class accrue.analysis.interprocvarcontext.FinalVarContext
toString() - Method in class accrue.analysis.interprocvarcontext.SignatureRepository
toString() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
toString() - Method in class accrue.analysis.interprocvarcontext.VarContext
toString() - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
toString() - Method in class accrue.analysis.pointer.AllocSiteNode
toString() - Method in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
toString() - Method in class accrue.analysis.pointer.analyses.CallSiteForCallee
toString() - Method in class accrue.analysis.pointer.analyses.CallSiteForPattern
toString() - Method in class accrue.analysis.pointer.analyses.CrossProductAnalysis
toString() - Method in class accrue.analysis.pointer.analyses.DistinguishClass
toString() - Method in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
toString() - Method in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
toString() - Method in class accrue.analysis.pointer.analyses.StickFirstCalledFrom
toString() - Method in class accrue.analysis.pointer.analyses.StickFirstCallee
toString() - Method in class accrue.analysis.pointer.analyses.StickFirstCollections
toString() - Method in class accrue.analysis.pointer.analyses.StickFirstMatches
toString() - Method in class accrue.analysis.pointer.analyses.StickFirstPrimitive
toString() - Method in class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
toString() - Method in class accrue.analysis.pointer.CallSiteNode
toString() - Method in class accrue.analysis.pointer.ConstructorContext
toString() - Method in class accrue.analysis.pointer.ObjectField
toString() - Method in class accrue.analysis.pointer.PointsToEngine
toString() - Method in class accrue.analysis.pointer.PointsToEngineTimeout
toString() - Method in class accrue.analysis.pointer.PointsToGraphSerial
toString() - Method in class accrue.analysis.pointer.PointsToGraphSync
toString() - Method in class accrue.analysis.pointer.PointsToStmt
toString() - Method in class accrue.analysis.pointer.ReferenceVariable
toString() - Method in class accrue.analysis.pointer.ReferenceVariableReplica
toString() - Method in class accrue.analysis.pointer.StmtAllocToLocal
toString() - Method in class accrue.analysis.pointer.StmtConstructorCall
toString() - Method in class accrue.analysis.pointer.StmtFieldToLocal
toString() - Method in class accrue.analysis.pointer.StmtFilteredLocalToLocal
toString() - Method in class accrue.analysis.pointer.StmtLocalToField
toString() - Method in class accrue.analysis.pointer.StmtLocalToLocal
toString() - Method in class accrue.analysis.pointer.StmtProcedureCall.ExceptionHandlerPointsToGraphNode
toString() - Method in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
toString() - Method in class accrue.analysis.pointer.StmtRegistrar.ExceptionHandlerReferenceVariable
toString() - Method in class accrue.analysis.pointer.StmtSpecialMethodCall
toString() - Method in class accrue.analysis.pointer.StmtStaticMethodCall
toString() - Method in class accrue.analysis.pointer.StmtVirtualMethodCall
toString() - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
toString() - Method in class accrue.analysis.preciseExceptions.ThrowableType
toString() - Method in class accrue.analysis.readwritesets.ReadWriteSet
totalSize() - Method in class accrue.analysis.interprocanalysis.CallGraph
trackErrors - Variable in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
  Should we track java.lang.Error `ExitMap.key`s?
trackImplicitErrors - Variable in class accrue.analysis.preciseExceptions.PreciseExVisitor
trackStrings - Variable in class accrue.analysis.defuse.DefUseAnalysisUtil
trackStrings() - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
TRADITIONAL_COMMENT - Static variable in class accrue.analysis.parse.Lexer_c
TRANSIENT - Static variable in class accrue.analysis.parse.sym
trueFalseResult(T, T) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Set the contexts for the true and the false branches
trueResult() - Method in class accrue.analysis.interprocanalysis.ExitMap
  Get the context for the true branch if any, otherwise return the context for normal termination
trueResult(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Set the context for the true branch
Try(Position, Block, List<Catch>, Block) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
TRY - Static variable in class accrue.analysis.parse.sym
ts - Variable in class accrue.analysis.antidep.AntiDepAnalysisUtil
ts - Variable in class accrue.analysis.callgraph.PreciseCallGraphVisitor
ts - Variable in class accrue.analysis.defuse.DefUseAnalysisUtil
ts - Variable in class accrue.analysis.parse.Grm
ts - Variable in class accrue.analysis.preciseExceptions.PreciseExVisitor
type - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier.ExceptionEdge
type() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.ExceptionEdge
type() - Method in interface accrue.analysis.pointer.HContext
  Returns the most specific known type of this abstract object.
type - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
type() - Method in class accrue.analysis.preciseExceptions.ThrowableType
typeCheck(TypeChecker) - Method in class accrue.analysis.ast.Suppress_c
typeForName(TypeSystem, String) - Static method in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
typeName - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
  The type of the abstract object.
TypeSensitive_nTmH_Analysis - Class in accrue.analysis.pointer.analyses
  A 2type+1H Type Sensitive pointer analysis, as described in "Pick Your Contexts Well: Understanding Object-Sensitivity" by Smaragdakis, Bravenboer, and Lhotak, POPL 2011.
TypeSensitive_nTmH_Analysis(int, int) - Constructor for class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
TypeSensitive_nTmH_Analysis() - Constructor for class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
typeSystem() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil

## U

Unit - Class in accrue.analysis.interprocanalysis
  Singleton representation of a single element lattice.
UNIT - Static variable in class accrue.analysis.interprocanalysis.Unit
  Get the singleton instance
updateCallerRecordAfterCalleeProcessing(WorkQueue.AnalysisUnitRecord<T>, WorkQueue.AnalysisUnitRecord<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
updateCallerRecordAfterCalleeProcessing(WorkQueue.AnalysisUnitRecord<VarContext<T>>, WorkQueue.AnalysisUnitRecord<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
updateOutput(WorkQueue.AnalysisUnitRecord<T>, ExitMap<T>, AnalysisUtil<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
updateOutput(WorkQueue.AnalysisUnitRecord<VarContext<T>>, ExitMap<VarContext<T>>, AnalysisUtil<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
updateReferenceVariable(Local, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
upperBound(AntiDepAbsVal) - Method in class accrue.analysis.antidep.AntiDepAbsVal
upperBound(Collection<AntiDepAbsVal>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
upperBound(PCGAbsVal) - Method in class accrue.analysis.callgraph.PCGAbsVal
upperBound(CDAbsVal) - Method in class accrue.analysis.ctldep.CDAbsVal
upperBound(List<CDAbsVal>) - Static method in class accrue.analysis.ctldep.CDAbsVal
upperBound(DefUseAbsVal) - Method in class accrue.analysis.defuse.DefUseAbsVal
upperBound(Collection<DefUseAbsVal>) - Method in class accrue.analysis.defuse.DefUseDataFlow
upperBound(DefUseAbsVal) - Method in class accrue.analysis.defuse.NewAllocAbsVal
upperBound(O, O) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
upperBound(ExitMap<T>) - Method in class accrue.analysis.interprocanalysis.ExitMap
  Compute pairwise upper bound of `this` with `f`.
upperBound(T) - Method in interface accrue.analysis.interprocanalysis.Ordered
  Compute the upper bound of `this` and `o`
upperBound(Unit) - Method in class accrue.analysis.interprocanalysis.Unit
upperBound(Stack<T>) - Method in class accrue.analysis.interprocvarcontext.Stack
upperBound(SuspendedExecutionStack<T>) - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
upperBound(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
upperBound(VarContext<T>, VarContext<T>) - Static method in class accrue.analysis.interprocvarcontext.VarContext
  Compute the upper bound of `c1` and `c2`
upperBound(NotNullAbsVal) - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
upperBound(PreciseExAbsVal) - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
upperBound(ReadWriteSet) - Method in class accrue.analysis.readwritesets.ReadWriteSet
URSHIFT - Static variable in class accrue.analysis.parse.sym
URSHIFTEQ - Static variable in class accrue.analysis.parse.sym
usage(PrintStream) - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
USE_SINGLE_ALLOC_NODE_FOR_GENERATED_EXCEPTIONS - Static variable in class accrue.analysis.pointer.StmtRegistrar
used - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
used() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
used - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
USES_CLOCK - Static variable in class accrue.analysis.defuse.DefUseLibrarySignature
uses_defs - Variable in class accrue.analysis.defuse.DefUseLibrarySignature

## V

validateArgs() - Method in class accrue.AccrueJLOptions
validateArgs() - Method in class accrue.jl5.AccrueJL5Options
valueOf(String) - Static method in enum accrue.analysis.defuse.DefUseAnalysisUtil.Mode
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum accrue.analysis.domination.DominationPass.Kind
  Returns the enum constant of this type with the specified name.
valueOf(boolean) - Static method in class accrue.analysis.notnulldataflow.NotNullAbsVal
values() - Static method in enum accrue.analysis.defuse.DefUseAnalysisUtil.Mode
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum accrue.analysis.domination.DominationPass.Kind
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
valUpperBound(T, T, boolean) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Compute the upper bound of `a` and `b`
VarContext<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
  A VarContext keeps track of abstract values for local variables and heap locations.
VarContext(String, T) - Constructor for class accrue.analysis.interprocvarcontext.VarContext
  Create a variable context
VarContext(String, T, boolean, T) - Constructor for class accrue.analysis.interprocvarcontext.VarContext
  Create a new variable context
VarContext(String, Map<String, T>, Map<AbstractLocation, T>, Stack<T>, Map<Term, Integer>, SuspendedExecutionStack<T>, T, T, boolean, T) - Constructor for class accrue.analysis.interprocvarcontext.VarContext
  Create a variable context
VarContextDataFlow<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
  Add support for analysis contexts.
VarContextDataFlow(AnalysisUtilVarContextDataFlow<?, T>, WorkQueue<?>, Job, TypeSystem, NodeFactory, boolean) - Constructor for class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Create a new dataflow visitor
VarContextDataFlow(AnalysisUtilVarContextDataFlow<?, T>, WorkQueue<?>, Job, TypeSystem, NodeFactory, boolean, boolean, boolean) - Constructor for class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Create a new dataflow visitor
visitChildren(NodeVisitor) - Method in class accrue.analysis.ast.Suppress_c
visitInstanceIntializer(CodeNode) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
visitThrow(Term) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow.PreciseCFGBuilder
visitThrow(Term, int, ThrowableType) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow.PreciseCFGBuilder
  Create edges for an exception thrown from term `t`.
VOID - Static variable in class accrue.analysis.parse.sym
VOLATILE - Static variable in class accrue.analysis.parse.sym

## W

WARN_ON_MISSING_EDGES - Static variable in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Determines whether to warn on missing dataflow edges
warnEmptySetSigsOptFlag - Variable in class accrue.AccrueOptionsHelper
WHILE - Static variable in class accrue.analysis.parse.sym
widen(AntiDepAbsVal) - Method in class accrue.analysis.antidep.AntiDepAbsVal
widen(PCGAbsVal) - Method in class accrue.analysis.callgraph.PCGAbsVal
widen(CDAbsVal) - Method in class accrue.analysis.ctldep.CDAbsVal
widen(DefUseAbsVal) - Method in class accrue.analysis.defuse.DefUseAbsVal
widen(T) - Method in interface accrue.analysis.interprocanalysis.Ordered
  Compute the widening operator on `this` and `o`.
widen(Unit) - Method in class accrue.analysis.interprocanalysis.Unit
widen(Stack<T>) - Method in class accrue.analysis.interprocvarcontext.Stack
widen(SuspendedExecutionStack<T>) - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
widen(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
widen(NotNullAbsVal) - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
widen(PreciseExAbsVal) - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
widen(ReadWriteSet) - Method in class accrue.analysis.readwritesets.ReadWriteSet
wideningUpperBound(VarContext<T>, boolean) - Method in class accrue.analysis.interprocvarcontext.VarContext
  Return a new VarContext that is an upper bound of `this` and `that`, i.e., this.leq(this.uppperBound(that)) and that.leq(this.upperBound(that)).
workQueue - Variable in class accrue.analysis.interprocanalysis.AnalysisUtil
  Analysis item work queue
workQueue() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
WorkQueue<T extends Ordered<T>> - Class in accrue.analysis.interprocanalysis
  Manages the work queue of AnalysisUnits for interprocedural analyses.
WorkQueue(Registrar, ExtensionInfo, AnalysisFactory<T>, Pass) - Constructor for class accrue.analysis.interprocanalysis.WorkQueue
workQueue - Variable in class accrue.analysis.interprocvarcontext.VarContextDataFlow
  Analysis work queue
WorkQueue.AnalysisUnitRecord<T extends Ordered<T>> - Class in accrue.analysis.interprocanalysis
WorkQueue.AnalysisUnitRecord() - Constructor for class accrue.analysis.interprocanalysis.WorkQueue.AnalysisUnitRecord
WorkQueue.AnalysisUnitRecord(T, ExitMap<T>) - Constructor for class accrue.analysis.interprocanalysis.WorkQueue.AnalysisUnitRecord
WorkQueueVarContext<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
  Manages the work queue.
WorkQueueVarContext(Registrar, ExtensionInfo, AnalysisFactory<VarContext<T>>, Pass) - Constructor for class accrue.analysis.interprocvarcontext.WorkQueueVarContext
WorkQueueVarContext.AnalysisUnitRecordLocs<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
WorkQueueVarContext.AnalysisUnitRecordLocs() - Constructor for class accrue.analysis.interprocvarcontext.WorkQueueVarContext.AnalysisUnitRecordLocs
WorkQueueVarContext.AnalysisUnitRecordLocs(VarContext<T>, FinalVarContext<T>) - Constructor for class accrue.analysis.interprocvarcontext.WorkQueueVarContext.AnalysisUnitRecordLocs
writeSet() - Method in class accrue.analysis.readwritesets.ReadWriteSet
  Get the set of written locations

## X

XOR - Static variable in class accrue.analysis.parse.sym
XOREQ - Static variable in class accrue.analysis.parse.sym

## Y

yybegin(int) - Method in class accrue.analysis.parse.Lexer_c
  Enters a new lexical state
yycharat(int) - Method in class accrue.analysis.parse.Lexer_c
  Returns the character at position `pos` from the matched text.
yyclose() - Method in class accrue.analysis.parse.Lexer_c
  Closes the input stream.
YYEOF - Static variable in class accrue.analysis.parse.Lexer_c
  This character denotes the end of file
YYINITIAL - Static variable in class accrue.analysis.parse.Lexer_c
  lexical states
yylength() - Method in class accrue.analysis.parse.Lexer_c
  Returns the length of the matched text region.
yypushback(int) - Method in class accrue.analysis.parse.Lexer_c
  Pushes the specified amount of characters back into the input stream.
yyreset(Reader) - Method in class accrue.analysis.parse.Lexer_c
  Resets the scanner to read from a new input stream.
yystate() - Method in class accrue.analysis.parse.Lexer_c
  Returns the current lexical state.
yytext() - Method in class accrue.analysis.parse.Lexer_c
  Returns the text matched by the current regular expression.

## _

_action_table - Static variable in class accrue.analysis.parse.Grm
  Parse-action table.
_production_table - Static variable in class accrue.analysis.parse.Grm
  Production table.
_reduce_table - Static variable in class accrue.analysis.parse.Grm
  `reduce_goto` table.

A B C D E F G H I J K L M N O P Q R S T U V W X Y _