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.

Field Summary

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

TOP

Constructor Summary

ConeType(IClass type)

Method Summary

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	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 iterateImplementors()

Returns:

an Iterator of IClass that implement this interface

getClassHierarchy

public IClassHierarchy getClassHierarchy()