java.lang.Object
- com.ibm.wala.analysis.typeInference.TypeAbstraction
- - com.ibm.wala.analysis.typeInference.ConeType

All Implemented Interfaces:

ContextItem
```
public class ConeType
extends TypeAbstraction
```
Represents a type and its subtypes.

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

Field Summary
- Fields inherited from class com.ibm.wala.analysis.typeInference.TypeAbstraction
  TOP

Constructor Summary

Constructors
Constructor Description

ConeType(IClass type)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`IClassHierarchy`	`getClassHierarchy()`
`IClass`	`getType()`	This is here for convenience; it makes sense for Point and Cone Dispatch.
`TypeReference`	`getTypeReference()`	A TypeReference representing the types of this abstraction
`int`	`hashCode()`
`boolean`	`isArrayType()`
`boolean`	`isInterface()`
`Iterator`	`iterateImplementors()`
`TypeAbstraction`	`meet(TypeAbstraction rhs)`
`String`	`toString()`

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

- Constructor Detail
  - ConeType
```
public ConeType(IClass type)
```
    Throws:
    
    IllegalArgumentException - if type is null
- Method Detail
  - meet
```
public TypeAbstraction meet(TypeAbstraction rhs)
```
    Specified by:
    
    meet in class TypeAbstraction
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - getType
```
public IClass getType()
```
    Description copied from class: TypeAbstraction
    
    This is here for convenience; it makes sense for Point and Cone Dispatch. TODO: probably should get rid of it.
    
    Overrides:
    
    getType in class TypeAbstraction
  - getTypeReference
```
public TypeReference getTypeReference()
```
    Description copied from class: TypeAbstraction
    
    A TypeReference representing the types of this abstraction
    
    Specified by:
    
    getTypeReference in class TypeAbstraction
  - equals
```
public boolean equals(Object obj)
```
    Specified by:
    
    equals in class TypeAbstraction
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in class TypeAbstraction
  - isArrayType
```
public boolean isArrayType()
```
  - isInterface
```
public boolean isInterface()
```
  - iterateImplementors
```
public Iterator iterateImplementors()
```
    Returns:
    
    an Iterator of IClass that implement this interface
  - getClassHierarchy
```
public IClassHierarchy getClassHierarchy()
```

Class ConeType

Nested Class Summary

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

Field Summary

Fields inherited from class com.ibm.wala.analysis.typeInference.TypeAbstraction

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

ConeType

Method Detail

meet

toString

getType

getTypeReference

equals

hashCode

isArrayType

isInterface

iterateImplementors

getClassHierarchy