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
-
-
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 abstractionint
hashCode()
boolean
isArrayType()
boolean
isInterface()
Iterator
iterateImplementors()
TypeAbstraction
meet(TypeAbstraction rhs)
String
toString()
-
-
-
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 classTypeAbstraction
-
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 classTypeAbstraction
-
getTypeReference
public TypeReference getTypeReference()
Description copied from class:TypeAbstraction
A TypeReference representing the types of this abstraction- Specified by:
getTypeReference
in classTypeAbstraction
-
equals
public boolean equals(Object obj)
- Specified by:
equals
in classTypeAbstraction
-
hashCode
public int hashCode()
- Specified by:
hashCode
in classTypeAbstraction
-
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()
-
-