Package com.ibm.wala.util
Class PrimitiveAssignability
- java.lang.Object
-
- com.ibm.wala.util.PrimitiveAssignability
-
public class PrimitiveAssignability extends Object
Offers checks like ClassHierarchy.isAssignable but for primitives. This Class does not consider Boxing / Unboxing- Since:
- 2013-11-21
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
PrimitiveAssignability.AssignabilityKind
-
Constructor Summary
Constructors Constructor Description PrimitiveAssignability()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static PrimitiveAssignability.AssignabilityKind
getAssignableFrom(TypeName from, TypeName to)
Is information lost on c1 x := c2 y?static boolean
isAssignableFrom(TypeName from, TypeName to)
Does an expression c1 x := c2 y typecheck?
-
-
-
Method Detail
-
getAssignableFrom
public static PrimitiveAssignability.AssignabilityKind getAssignableFrom(TypeName from, TypeName to)
Is information lost on c1 x := c2 y?
-
-