java.lang.Object
- com.ibm.wala.ipa.callgraph.propagation.ConcreteTypeKey

All Implemented Interfaces:

ContextItem, InstanceKey
```
public final class ConcreteTypeKey
extends Object
implements InstanceKey
```
An instance key which represents a unique set for each concrete type.

Nested Class Summary
- Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem
  ContextItem.Value<T>

Constructor Summary

Constructors
Constructor Description

ConcreteTypeKey(IClass type)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`IClass`	`getConcreteType()`	For now, we assert that each InstanceKey represents a set of classes which are all of the same concrete type (modulo the fact that all arrays of references are considered concrete type []Object;)
`Iterator<Pair<CGNode,NewSiteReference>>`	`getCreationSites(CallGraph CG)`	Get the creation sites of `this`, i.e., the statements that may allocate objects represented by `this`.
`static InstanceKey[]`	`getInstanceKeysForPEI(SSAInstruction pei, IR ir, IClassHierarchy cha)`
`IClass`	`getType()`
`int`	`hashCode()`
`String`	`toString()`

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

- Constructor Detail
  - ConcreteTypeKey
```
public ConcreteTypeKey(IClass type)
```
- Method Detail
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - getType
```
public IClass getType()
```
  - getConcreteType
```
public IClass getConcreteType()
```
    Description copied from interface: InstanceKey
    
    For now, we assert that each InstanceKey represents a set of classes which are all of the same concrete type (modulo the fact that all arrays of references are considered concrete type []Object;)
    
    Specified by:
    
    getConcreteType in interface InstanceKey
  - getInstanceKeysForPEI
```
public static InstanceKey[] getInstanceKeysForPEI(SSAInstruction pei,
                                                  IR ir,
                                                  IClassHierarchy cha)
```
    Parameters:
    
    pei - a PEI instruction
    
    cha - governing class hierarchy
    
    Returns:
    
    a set of ConcreteTypeKeys that represent the exceptions the PEI may throw.
    
    Throws:
    
    IllegalArgumentException - if pei is null
  - getCreationSites
```
public Iterator<Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)
```
    Description copied from interface: InstanceKey
    
    Get the creation sites of this, i.e., the statements that may allocate objects represented by this. A creation site is a pair (n,s), where n is the containing CGNode in the given CallGraph CG and s is the allocating NewSiteReference.
    
    Specified by:
    
    getCreationSites in interface InstanceKey

Class ConcreteTypeKey

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

ConcreteTypeKey

Method Detail

equals

hashCode

toString

getType

getConcreteType

getInstanceKeysForPEI

getCreationSites