Class ThisAssignmentChecker
java.lang.Object
com.ibm.wala.shrike.shrikeBT.info.ThisAssignmentChecker
- All Implemented Interfaces:
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
Modifier and TypeMethodDescriptionstatic boolean
isThisAssigned
(MethodData info) boolean
notifyUpdate
(MethodData info, IInstruction[] newInstructions, ExceptionHandler[][] newHandlers, int[] newInstructionMap) This should not be called by any client.
-
Method Details
-
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
- Returns:
- true iff 'this' is assigned to by the method
- Throws:
IllegalArgumentException
-