---

SlicingMethod Member List

This is the complete list of members for SlicingMethod, including all inherited members.

• addCalledMdToWorkList(MethodInfo targetMdInfo, LinkedList workList, Set calculated) (defined in SlicingMethod) [inline, private]
• addToSliceTrace(Set stmtSet, Set callSites, Integer kind, MethodInfo mdin) (defined in SlicingMethod) [inline, private]
• addToSliceTrace(Set stmtSet, BitSet assgnSet, Integer kind, MethodInfo mdin) (defined in SlicingMethod) [inline, private]
• addToSliceTrace(SliceTraceNode stn, Stmt stmt, Integer kind, MethodInfo mdin) (defined in SlicingMethod) [inline, private]
• addToSliceTrace(SliceTraceNode stn, LinkedList stmts, Integer kind, MethodInfo mdin) (defined in SlicingMethod) [inline, private]
• addToSliceTrace(SliceTraceNode stn, Set stmtSet, Integer kind, MethodInfo mdin) (defined in SlicingMethod) [inline, private]
• addToSliceTrace(SliceTraceNode stn, BitSet stmtBitSet, Integer kind, MethodInfo mdin) (defined in SlicingMethod) [inline, private]
• addToWorkList(LinkedList wkList, BitSet nodes, Set calculatedNodes) [inline, private]
• allLocalVarsOf(Stmt stmt) [inline, private, static]
• allMODREFFields(Set modFields, Set refFields) [inline, private, static]
• alreadyGenCritByReadyCallSite [private, static]
• alreadyGenerateCriterionForExits [private, static]
• assToRelVars(Set varList, Map locAssMap, Map relVarMap) [inline, private]
• assToVarsNoRelVars(int stmtListSize, List varList, Map locAssMap) [inline, private]
• callerIsRelevant(CallSite callSite) [inline, private]
• callSiteIndex(Map callSiteMap) [inline, private, static]
• callSiteInSlice(Map callSiteIndexMap, BitSet sliceSet) [inline, private]
• collectCallSitesFrom(Set readyCallSites) [inline, private]
• collectCallSitesMdInfoFrom(Set readyCallSites) [inline, private]
• criterionChanged (defined in SlicingMethod) [private, static]
• ctrlRelVarCompute(Map relVars, Stmt nodeControled, BitSet cdNodes) [inline, private]
• dataRelVarCompute(Map relVars, Stmt refNode, Set dd) [inline, private]
• defVarsOf(Stmt stmt) [inline, private, static]
• existCallPathFromOriginalMd(MethodInfo toMd) (defined in SlicingMethod) [inline, private]
• extractingAssertLine(Set lineList) [inline, private]
• extractingVarsInAssert(List assertList) [inline, private]
• generateNewCriterion(MethodInfo methodInfo, Stmt interStmt, Set newRelVars) [inline, private]
• generateNewCriterionForCaller(CallSite callSite, MethodInfo calleeMdInfo, Map relVarMapOfCallee) [inline, private]
• genNewCritForExit(CallSite callSite, Map relevantVarMap, Set relVarsInCaller, MethodInfo callerMdInfo, MethodInfo targetMdInfo, Set exitStmtSet, Set localCopiesInCaller) [inline, private]
• getAllVariables(BitSet stmtIndexSet, StmtList localStmtList) [inline, private]
• getBaseFrom(CallSite site) [inline, private]
• getCompleteLocalCopiesList(MethodInfo mdInfo, Set linePropList) [inline, private]
• getCopiesOfTheBase(Value base, Set localCopies) [inline, private]
• getNewInsFieldRefSet(InstanceFieldRef insField, Set copiesOfBase) [inline, private]
• getTraceNodeSetFrom(Set stmtSet, MethodInfo mdin) (defined in SlicingMethod) [inline, private]
• getValueString(Value value) [inline, private]
• indexMaps (defined in SlicingMethod) [private]
• indexSetOf(Set dataBoxSet) [inline, private]
• instanceFdInTargetMd(Set relVarsAtCallSite, Set instanceFields, Set relVarsInTargetMd, InvokeExpr invokeExpr, Set localCopiesInCaller) [inline, private]
• isBanderaInvoke(Stmt nodeStmt) [inline, static]
• isCallSite(Map callSiteMap, Stmt node) [inline, static]
• mdCallsInSlice(MethodInfo methodInfo, BitSet sliceSet, Map relVarMap, Set localCopiesInCaller) [inline, private]
• methodInfo (defined in SlicingMethod) [private]
• oneParaFdIsRelevant(MethodInfo mdInfo, Map relMap, BitSet sSet) [inline, private]
• originalMethodsFromReady [private]
• paraFdInTargetMd(Set paraFieldsInTargetMd, Set relVarsAtCallSite, Set relVarsInTargetMd, InvokeExpr invokeExpr, Local[] paraLocals, SimpleLocalCopies simpleLocalCopiesInTargetMd) (defined in SlicingMethod) [inline, private]
• putToRelVarMap(Object var, BitSet assToVar, Map relVarMap) [inline, private]
• putUsedVarIntoRelSet(Stmt stmt, Set varSet) [inline, private]
• reachableStmtFrom(Stmt stmt, StmtGraph stmtGraphAsPara) [inline, static]
• reachableStmtSetFrom(Stmt stmt, StmtGraph stmtGraphAsPara) [inline, private, static]
• refVarsOf(Stmt stmt) [inline, private, static]
• rmAssInSlice(Set relVarSet, BitSet keepedPoints, BitSet sliceSet, Map localAssMap) (defined in SlicingMethod) [inline, private]
• sliceTraceContains(SliceTraceNode traceNode) (defined in SlicingMethod) [inline, static]
• SlicingMethod(MethodInfo mdInfo) [inline]
• slicingMethod(boolean goingup) [inline, private]
• slicingMethodAgain() [inline, private]
• startNodeAfterSlicing(MethodInfo methodInfo) (defined in SlicingMethod) [inline, private]
• staticFdInTargetMd(Set relVarsAtCallSite, Set fdsInTargetMd, Set relVarsInTargetMd) (defined in SlicingMethod) [inline, private]
• stmtList (defined in SlicingMethod) [private]
• stmtListSize (defined in SlicingMethod) [private]
• varsContainArg(Set vars, CallSite cs) [inline, private]

---