Package com.ibm.wala.core.util

Class PrimitiveAssignability

java.lang.Object

com.ibm.wala.core.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

Author:

Tobias Blaschke <code@tobiasblaschke.de>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	PrimitiveAssignability.AssignabilityKind

Constructor Summary

Constructors

Constructor	Description
PrimitiveAssignability()

Method Summary

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?

Methods inherited from class java.lang.Object

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

Constructor Details

PrimitiveAssignability

public PrimitiveAssignability()

Method Details

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?