Package com.ibm.wala.shrikeBT.info
Class ThisAssignmentChecker
- java.lang.Object
-
- com.ibm.wala.shrikeBT.info.ThisAssignmentChecker
-
- All Implemented Interfaces:
MethodData.Results
public class ThisAssignmentChecker extends Object implements MethodData.Results
This method annotation checks to see whether "this" is assigned to by the method. The result is cached in an annotation.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static boolean
isThisAssigned(MethodData info)
boolean
notifyUpdate(MethodData info, IInstruction[] newInstructions, ExceptionHandler[][] newHandlers, int[] newInstructionMap)
This should not be called by any client.
-
-
-
Method Detail
-
notifyUpdate
public boolean notifyUpdate(MethodData info, IInstruction[] newInstructions, ExceptionHandler[][] newHandlers, int[] newInstructionMap)
This should not be called by any client.- Specified by:
notifyUpdate
in interfaceMethodData.Results
- Parameters:
info
- the method data this annotation is attached tonewInstructions
- the instructions the method will change tonewHandlers
- the handler lists the method will change tonewInstructionMap
- the instructions-to-bytecodes map the method will change to- Returns:
- true to remove the object from the info set, for example because the annotation is now invalid
-
isThisAssigned
public static boolean isThisAssigned(MethodData info) throws IllegalArgumentException
- Returns:
- true iff 'this' is assigned to by the method
- Throws:
IllegalArgumentException
-
-