Class ConeType
java.lang.Object
com.ibm.wala.analysis.typeInference.TypeAbstraction
com.ibm.wala.analysis.typeInference.ConeType
-
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
-
Method Summary
Modifier and TypeMethodDescriptionboolean
getType()
This is here for convenience; it makes sense for Point and Cone Dispatch.A TypeReference representing the types of this abstractionint
hashCode()
boolean
boolean
meet
(TypeAbstraction rhs) toString()
-
Constructor Details
-
ConeType
- Throws:
IllegalArgumentException
- if type is null
-
-
Method Details
-
meet
- Specified by:
meet
in classTypeAbstraction
-
toString
-
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
Description copied from class:TypeAbstraction
A TypeReference representing the types of this abstraction- Specified by:
getTypeReference
in classTypeAbstraction
-
equals
- Specified by:
equals
in classTypeAbstraction
-
hashCode
public int hashCode()- Specified by:
hashCode
in classTypeAbstraction
-
isArrayType
public boolean isArrayType() -
isInterface
public boolean isInterface() -
iterateImplementors
-
getClassHierarchy
-