Package pascal.taie.ir.exp

Class Exps

java.lang.Object

pascal.taie.ir.exp.Exps

public final class Exps
extends Object

Provides static utility methods for Exp.

Method Summary

Modifier and Type	Method	Description
static boolean	holdsInt(Exp exp)
static boolean	holdsInteger(Exp exp)
static boolean	holdsLong(Exp exp)
static boolean	holdsPrimitive(Exp exp)
static boolean	holdsReference(Exp exp)

Methods inherited from class java.lang.Object

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

Method Details

holdsPrimitive

public static boolean holdsPrimitive(Exp exp)

Returns:

true if exp can hold primitive values.

holdsInt

public static boolean holdsInt(Exp exp)

Returns:

true if exp can hold int values. Note that expressions of some primitive types other than int, whose computational type is int, can also hold int values.

See Also:

• PrimitiveType.asInt()

holdsLong

public static boolean holdsLong(Exp exp)

Returns:

true if exp can hold long values.

holdsInteger

public static boolean holdsInteger(Exp exp)

Returns:

true if exp can hold int or long values.

holdsReference

public static boolean holdsReference(Exp exp)

Returns:

true if exp can hold reference values.