| Method Summary |
|
| static boolean | checkForBranchExit(byte[] codeBytes, int pos)
|
| public void | dumpDataflowInformation(Method method)
|
| public static void | dumpDataflowInformation(Method method, CFG cfg, ValueNumberDataflow vnd, IsNullValueDataflow inv, UnconditionalValueDerefDataflow dataflow, TypeDataflow typeDataflow)
|
| public void | dumpSimpleDataflowInformation(Method method)
|
| public static void | dumpTypeDataflow(Method method, CFG cfg, TypeDataflow typeDataflow)
|
| public AnalysisContext | getAnalysisContext()
Get the AnalysisContext. |
| public AssertionMethods | getAssertionMethods()
Get AssertionMethods for class. |
| public BlockTypeDataflow | getBlockTypeDataflow(Method method)
Get BlockType dataflow for given method. |
| static short | getBranchOffset(byte[] codeBytes, int pos)
|
| public BitSet | getBytecodeSet(Method method)
Get a BitSet representing the bytecodes that are used in the given method.
This is useful for prescreening a method for the existence of particular instructions.
Because this step doesn't require building a MethodGen, it is very
fast and memory-efficient. |
| public static BitSet | getBytecodeSet(JavaClass clazz, Method method)
Get a BitSet representing the bytecodes that are used in the given method.
This is useful for prescreening a method for the existence of particular instructions.
Because this step doesn't require building a MethodGen, it is very
fast and memory-efficient. |
| public CFG | getCFG(Method method)
Get a CFG for given method. |
| public CallListDataflow | getCallListDataflow(Method method)
Get CallListDataflow for method. |
| public ClassDescriptor | getClassDescriptor()
|
| public CompactLocationNumbering | getCompactLocationNumbering(Method method)
Get a CompactLocationNumbering for a method. |
| public ConstantDataflow | getConstantDataflow(Method method)
Get ConstantDataflow for method. |
| public ConstantPoolGen | getConstantPoolGen()
Get the ConstantPoolGen used to create the MethodGens
for this class. |
| public DefinitelyNullSetDataflow | getDefinitelyNullSetDataflow(Method method)
Get DefinitelyNullSetDataflow for a method. |
| public DepthFirstSearch | getDepthFirstSearch(Method method)
Get a DepthFirstSearch for given method. |
| public ExceptionSetFactory | getExceptionSetFactory(Method method)
Get ExceptionSetFactory for given method. |
| public IsNullValueDataflow | getIsNullValueDataflow(Method method)
Get an IsNullValueDataflow for given method. |
| public JavaClass | getJavaClass()
Get the JavaClass. |
| public LiveLocalStoreDataflow | getLiveLocalStoreDataflow(Method method)
Get LiveLocalStoreAnalysis dataflow for given method. |
| public LoadDataflow | getLoadDataflow(Method method)
Get load dataflow. |
| public LoadedFieldSet | getLoadedFieldSet(Method method)
Get the set of fields loaded by given method. |
| public LockChecker | getLockChecker(Method method)
Get LockChecker for method. |
| public LockDataflow | getLockDataflow(Method method)
Get dataflow for LockAnalysis for given method. |
| public RepositoryLookupFailureCallback | getLookupFailureCallback()
Get the RepositoryLookupFailureCallback. |
| public static Set<Integer> | getLoopExitBranches(Method method, MethodGen methodGen)
|
| public Method | getMethod(MethodGen methodGen)
Look up the Method represented by given MethodGen. |
| public Object | getMethodAnalysis(Class analysisClass, MethodDescriptor methodDescriptor)
Retrieve a method analysis object. |
| public MethodGen | getMethodGen(Method method)
Get a MethodGen object for given method. |
| public List<Method> | getMethodsInCallOrder()
|
| public DominatorsAnalysis | getNonExceptionDominatorsAnalysis(Method method)
Get DominatorsAnalysis for given method,
where exception edges are ignored. |
| public PostDominatorsAnalysis | getNonExceptionPostDominatorsAnalysis(Method method)
Get PostDominatorsAnalysis for given method,
where exception edges are ignored. |
| public PostDominatorsAnalysis | getNonImplicitExceptionDominatorsAnalysis(Method method)
Get DominatorsAnalysis for given method,
where implicit exception edges are ignored. |
| public Map<MethodDescriptor, Object> | getObjectMap(Class analysisClass)
|
| public short[] | getOffsetToOpcodeMap(Method method)
Get array mapping bytecode offsets to opcodes for given method.
Array elements containing zero are either not valid instruction offsets,
or contain a NOP instruction. |
| public String[] | getParameterSignatureList(Method method)
Get array of type signatures of parameters for given method. |
| public ReturnPathDataflow | getReturnPathDataflow(Method method)
Get ReturnPathDataflow for method. |
| public ReturnPathTypeDataflow | getReturnPathTypeDataflow(Method method)
Get ReturnPathTypeDataflow for a method. |
| public ReverseDepthFirstSearch | getReverseDepthFirstSearch(Method method)
Get a ReverseDepthFirstSearch for given method. |
| public StoreDataflow | getStoreDataflow(Method method)
Get store dataflow. |
| public TypeDataflow | getTypeDataflow(Method method)
Get a TypeDataflow for given method. |
| public UnconditionalValueDerefDataflow | getUnconditionalValueDerefDataflow(Method method)
Get the UnconditionalValueDerefDataflow for a method. |
| public UsagesRequiringNonNullValues | getUsagesRequiringNonNullValues(Method method)
Get a UsagesRequiringNonNullValues for given method. |
| public ValueNumberDataflow | getValueNumberDataflow(Method method)
Get a ValueNumberDataflow for given method. |
| public XClass | getXClass()
|
| public static void | indent()
|
| public static BitSet | linesMentionedMultipleTimes(Method method)
|
| public void | purgeAllMethodAnalyses()
|
| public void | purgeMethodAnalyses(MethodDescriptor methodDescriptor)
Purge all CFG-based method analyses for given method. |
| public void | putMethodAnalysis(Class analysisClass, MethodDescriptor methodDescriptor, Object object)
Store a method analysis object. |
