com.ibm.wala.util

Class PrimitiveAssignability

java.lang.Object

com.ibm.wala.util.PrimitiveAssignability

public class PrimitiveAssignability
extends java.lang.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 and Description
static class	PrimitiveAssignability.AssignabilityKind

Constructor Summary

Constructors

Constructor and Description
PrimitiveAssignability()

Method Summary

Modifier and Type	Method and 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?

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrimitiveAssignability

public PrimitiveAssignability()

Method Detail

getAssignableFrom

public static PrimitiveAssignability.AssignabilityKind getAssignableFrom(TypeName from,
                                                                         TypeName to)

Is information lost on c1 x := c2 y?

isAssignableFrom

public static boolean isAssignableFrom(TypeName from,
                                       TypeName to)

Does an expression c1 x := c2 y typecheck?