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

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

All Implemented Interfaces:: AllocationSiteHandler

Enclosing interface:: AllocationSiteHandler

public static class AllocationSiteHandler.CastCheckHandler
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

Constructor Summary

Constructors
Constructor Description

CastCheckHandler()

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()`
`void`	`setManager(TypeManager manager)`
`void`	`setType(Type type)`
`boolean`	`shouldHandle(VarNode dst)`

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

- Constructor Detail
  - CastCheckHandler
```
public CastCheckHandler()
```
- 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
  - setManager
```
public void setManager(TypeManager manager)
```
  - setType
```
public void setType(Type type)
```
  - resetState
```
public void resetState()
```
    Specified by:
    
    resetState in interface AllocationSiteHandler
  - shouldHandle
```
public boolean shouldHandle(VarNode dst)
```
    Specified by:
    
    shouldHandle in interface AllocationSiteHandler