com.ibm.wala.analysis.typeInference

Class ConeType

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 and Description
ConeType(IClass type)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.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()
java.util.Iterator<IClass>	iterateImplementors()
TypeAbstraction	meet(TypeAbstraction rhs)
java.lang.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:

java.lang.IllegalArgumentException - if type is null

Method Detail

meet

public TypeAbstraction meet(TypeAbstraction rhs)

Specified by:

meet in class TypeAbstraction

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.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(java.lang.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 java.util.Iterator<IClass> iterateImplementors()

Returns:

an Iterator of IClass that implement this interface

getClassHierarchy

public IClassHierarchy getClassHierarchy()