AllocationSiteHandler.VirtualCallHandler (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.jimple.spark.ondemand.pautil.AllocationSiteHandler.VirtualCallHandler

All Implemented Interfaces:: AllocationSiteHandler

Enclosing interface:: AllocationSiteHandler

public static class AllocationSiteHandler.VirtualCallHandler
extends Object
implements AllocationSiteHandler

Nested Class Summary
- Nested classes/interfaces inherited from interface soot.jimple.spark.ondemand.pautil.AllocationSiteHandler
  AllocationSiteHandler.CastCheckHandler, AllocationSiteHandler.PointsToSetHandler, AllocationSiteHandler.VirtualCallHandler

Field Summary

Fields
Modifier and Type Field Description

SootMethod callee

PAG pag

Set<SootMethod> possibleMethods

Type receiverType

Constructor Summary

Constructors
Constructor Description

VirtualCallHandler(PAG pag, Type receiverType, SootMethod callee)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)`	handle a particular allocation site
`void`	`resetState()`
`boolean`	`shouldHandle(VarNode dst)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - pag
```
public PAG pag
```
  - receiverType
```
public Type receiverType
```
  - callee
```
public SootMethod callee
```
  - possibleMethods
```
public Set<SootMethod> possibleMethods
```
- Constructor Detail
  - VirtualCallHandler
```
public VirtualCallHandler(PAG pag,
                          Type receiverType,
                          SootMethod callee)
```
    Parameters:
    
    pag -
    
    receiverType -
- Method Detail
  - handleAllocationSite
```
public boolean handleAllocationSite(AllocNode allocNode,
                                    ImmutableStack<Integer> callStack)
```
    Description copied from interface: AllocationSiteHandler
    
    handle a particular allocation site
    
    Specified by:
    
    handleAllocationSite in interface AllocationSiteHandler
    
    Parameters:
    
    allocNode - the abstract location node
    
    callStack - for context-sensitive analysis, the call site; might be null
    
    Returns:
    
    true if analysis should be terminated; false otherwise
  - resetState
```
public void resetState()
```
    Specified by:
    
    resetState in interface AllocationSiteHandler
  - shouldHandle
```
public boolean shouldHandle(VarNode dst)
```
    Specified by:
    
    shouldHandle in interface AllocationSiteHandler