jasm.lang

Class JvmTypes

java.lang.Object

jasm.lang.JvmTypes

public class JvmTypes
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static JvmType.Bool	BOOL
static JvmType.Byte	BYTE
static JvmType.Char	CHAR
static JvmType.Double	DOUBLE
static JvmType.Float	FLOAT
static JvmType.Int	INT
static JvmType.Clazz	JAVA_IO_SERIALIZABLE
static JvmType.Clazz	JAVA_LANG_ARITHMETICEXCEPTION
static JvmType.Clazz	JAVA_LANG_BOOLEAN
static JvmType.Clazz	JAVA_LANG_BYTE
static JvmType.Clazz	JAVA_LANG_CHARACTER
static JvmType.Clazz	JAVA_LANG_CLASS
static JvmType.Clazz	JAVA_LANG_CLONEABLE
static JvmType.Clazz	JAVA_LANG_DOUBLE
static JvmType.Clazz	JAVA_LANG_ENUM
static JvmType.Clazz	JAVA_LANG_FLOAT
static JvmType.Clazz	JAVA_LANG_INTEGER
static JvmType.Clazz	JAVA_LANG_LONG
static JvmType.Clazz	JAVA_LANG_NULLPOINTEREXCEPTION
static JvmType.Clazz	JAVA_LANG_OBJECT
static JvmType.Clazz	JAVA_LANG_RUNTIMEEXCEPTION
static JvmType.Clazz	JAVA_LANG_SHORT
static JvmType.Clazz	JAVA_LANG_STRING
static JvmType.Clazz	JAVA_LANG_THROWABLE
static JvmType.Clazz	JAVA_LANG_VIRTUALMACHINEERROR
static JvmType.Clazz	JAVA_UTIL_ITERATOR
static JvmType.Long	LONG
static JvmType.Null	NULL
static JvmType.Short	SHORT
static JvmType.Void	VOID The following are provided for performance reasons, particularly to help reduce the memory footprint during compilation.

Constructor Summary

Constructors

Constructor and Description
JvmTypes()

Method Summary

Modifier and Type	Method and Description
static int	arrayDepth(JvmType t) Return the depth of array nesting.
static JvmType.Clazz	boxedType(JvmType.Primitive p) Given a primitive type, determine the equivalent boxed type.
static boolean	isBoxedType(JvmType t) Determine whether or not the given type is a wrapper for a primitive type.
static boolean	isBoxedTypeOf(JvmType t, String wrapper) Determine whether or not the given type is a wrapper for a primitive type.
static boolean	isClass(String pkg, String clazz, JvmType t)
static boolean	isGeneric(JvmType t)
static boolean	isGenericArray(JvmType t)
static boolean	isJavaLangObject(JvmType t) Check wither a given type is a reference to java.lang.Object or not.
static boolean	isJavaLangString(JvmType t) Check wither a given type is a reference to java.lang.String or not.
static JvmType.Clazz	parentType(JvmType.Clazz t) Return type representing the enclosing class for the given type, or null if the given type is already outermost.
static JvmType.Clazz	stripGenerics(JvmType.Clazz ct)
static JvmType.Function	stripGenerics(JvmType.Function ft)
static JvmType.Intersection	stripGenerics(JvmType.Intersection wt)
static JvmType	stripGenerics(JvmType.Variable vt)
static JvmType	stripGenerics(JvmType.Wildcard wt)
static JvmType	stripGenerics(JvmType t) The purpose of this method is to strip the generic information from a type.
static JvmType.Function	substitute(JvmType.Function type, Map<String,JvmType.Reference> binding) This method accepts a binding from type variables to concrete types, and then substitutes each such variable occuring in the target (function) type with its corresponding instantation.
static JvmType.Reference	substitute(JvmType.Reference type, Map<String,JvmType.Reference> binding) This method accepts a binding from type variables to concrete types, and then substitutes each such variable occuring in the target type with its corresponding instantation.
static JvmType.Primitive	unboxedType(JvmType.Clazz p) Given a primitive wrapper class (i.e.

Methods inherited from class java.lang.Object

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

Field Detail

VOID

public static final JvmType.Void VOID

The following are provided for performance reasons, particularly to help reduce the memory footprint during compilation.

NULL

public static final JvmType.Null NULL

BOOL

public static final JvmType.Bool BOOL

BYTE

public static final JvmType.Byte BYTE

CHAR

public static final JvmType.Char CHAR

SHORT

public static final JvmType.Short SHORT

INT

public static final JvmType.Int INT

LONG

public static final JvmType.Long LONG

FLOAT

public static final JvmType.Float FLOAT

DOUBLE

public static final JvmType.Double DOUBLE

JAVA_LANG_OBJECT

public static final JvmType.Clazz JAVA_LANG_OBJECT

JAVA_LANG_CLASS

public static final JvmType.Clazz JAVA_LANG_CLASS

JAVA_LANG_CLONEABLE

public static final JvmType.Clazz JAVA_LANG_CLONEABLE

JAVA_LANG_STRING

public static final JvmType.Clazz JAVA_LANG_STRING

JAVA_LANG_ENUM

public static final JvmType.Clazz JAVA_LANG_ENUM

JAVA_LANG_BOOLEAN

public static final JvmType.Clazz JAVA_LANG_BOOLEAN

JAVA_LANG_CHARACTER

public static final JvmType.Clazz JAVA_LANG_CHARACTER

JAVA_LANG_BYTE

public static final JvmType.Clazz JAVA_LANG_BYTE

JAVA_LANG_SHORT

public static final JvmType.Clazz JAVA_LANG_SHORT

JAVA_LANG_INTEGER

public static final JvmType.Clazz JAVA_LANG_INTEGER

JAVA_LANG_LONG

public static final JvmType.Clazz JAVA_LANG_LONG

JAVA_LANG_FLOAT

public static final JvmType.Clazz JAVA_LANG_FLOAT

JAVA_LANG_DOUBLE

public static final JvmType.Clazz JAVA_LANG_DOUBLE

JAVA_IO_SERIALIZABLE

public static final JvmType.Clazz JAVA_IO_SERIALIZABLE

JAVA_UTIL_ITERATOR

public static final JvmType.Clazz JAVA_UTIL_ITERATOR

JAVA_LANG_THROWABLE

public static final JvmType.Clazz JAVA_LANG_THROWABLE

JAVA_LANG_RUNTIMEEXCEPTION

public static final JvmType.Clazz JAVA_LANG_RUNTIMEEXCEPTION

JAVA_LANG_VIRTUALMACHINEERROR

public static final JvmType.Clazz JAVA_LANG_VIRTUALMACHINEERROR

JAVA_LANG_NULLPOINTEREXCEPTION

public static final JvmType.Clazz JAVA_LANG_NULLPOINTEREXCEPTION

JAVA_LANG_ARITHMETICEXCEPTION

public static final JvmType.Clazz JAVA_LANG_ARITHMETICEXCEPTION

Constructor Detail

JvmTypes

public JvmTypes()

Method Detail

boxedType

public static JvmType.Clazz boxedType(JvmType.Primitive p)

Given a primitive type, determine the equivalent boxed type. For example, the primitive type int yields the type java.lang.Integer.

Parameters:

p -

Returns:

unboxedType

public static JvmType.Primitive unboxedType(JvmType.Clazz p)

Given a primitive wrapper class (i.e. a boxed type), return the unboxed equivalent. For example, java.lang.Integer yields Type.Int, whilst java.lang.Boolean yields Type.Bool.

Parameters:

p -

Returns:

isBoxedType

public static boolean isBoxedType(JvmType t)

Determine whether or not the given type is a wrapper for a primitive type. E.g. java.lang.Integer is a wrapper for int.

Parameters:

t -

Returns:

isBoxedTypeOf

public static boolean isBoxedTypeOf(JvmType t,
                                    String wrapper)

Determine whether or not the given type is a wrapper for a primitive type. E.g. java.lang.Integer is a wrapper for int.

Parameters:

t - --- type to test

wrapper - --- specific wrapper class to look for (i.e. Integer, Boolean, Character).

Returns:

substitute

public static JvmType.Reference substitute(JvmType.Reference type,
                                           Map<String,JvmType.Reference> binding)

This method accepts a binding from type variables to concrete types, and then substitutes each such variable occuring in the target type with its corresponding instantation. For example, suppose we have this binding:

  K -> String
  V -> Integer
 

Then, substituting against HashMap<K,V> yields HashMap<String,Integer>.

Parameters:

type -

binding -

Returns:

substitute

public static JvmType.Function substitute(JvmType.Function type,
                                          Map<String,JvmType.Reference> binding)

This method accepts a binding from type variables to concrete types, and then substitutes each such variable occuring in the target (function) type with its corresponding instantation. For example, suppose we have this binding:

  K -> String
  V -> Integer
 

Then, substituting against v f(K) yields Integer f(String).

Parameters:

type -

binding -

Returns:

isJavaLangObject

public static boolean isJavaLangObject(JvmType t)

Check wither a given type is a reference to java.lang.Object or not.

Parameters:

t -

Returns:

isJavaLangString

public static boolean isJavaLangString(JvmType t)

Check wither a given type is a reference to java.lang.String or not.

Parameters:

t -

Returns:

isClass

public static boolean isClass(String pkg,
                              String clazz,
                              JvmType t)

isGeneric

public static boolean isGeneric(JvmType t)

isGenericArray

public static boolean isGenericArray(JvmType t)

arrayDepth

public static int arrayDepth(JvmType t)

Return the depth of array nesting. E.g. "int" has 0 depth, "int[]" has depth 1, "int[][]" has depth 2, etc.

Parameters:

t -

Returns:

parentType

public static JvmType.Clazz parentType(JvmType.Clazz t)

Return type representing the enclosing class for the given type, or null if the given type is already outermost. For example, given pkg.Test$inner return pkg.Test.

Parameters:

t -

Returns:

stripGenerics

public static JvmType stripGenerics(JvmType t)

The purpose of this method is to strip the generic information from a type.

Parameters:

t -

Returns:

stripGenerics

public static JvmType.Clazz stripGenerics(JvmType.Clazz ct)

stripGenerics

public static JvmType.Function stripGenerics(JvmType.Function ft)

stripGenerics

public static JvmType stripGenerics(JvmType.Variable vt)

stripGenerics

public static JvmType stripGenerics(JvmType.Wildcard wt)

stripGenerics

public static JvmType.Intersection stripGenerics(JvmType.Intersection wt)