Sequenic.T3.JavaType

Class JTvar

java.lang.Object

Sequenic.T3.JavaType.JTvar

All Implemented Interfaces:

java.io.Serializable, JType

public class JTvar
extends java.lang.Object
implements JType

Represent a type variable/parameter. Such a type variable may have a set of upperbounds. An upperbound is another type expression. Check Java Language Specification, for the specific syntax and structure of type variable/parameter.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	name
JType[]	upperbounds

Constructor Summary

Constructors

Constructor and Description
JTvar(java.lang.String name, JType... upperbounds)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	hashCode()
boolean	isConcrete() True if the type contains no type variables nor wildcards.
boolean	isConcreteArray() True if the type is concrete, and is an array.
boolean	isConcreteCollection()
boolean	isConcreteMap()
boolean	isUnparameterizedType() True if the type represents an unparameterized class in Java, such as Integer.
JType	subst(java.util.Map<java.lang.String,JType> substitutions) Apply the given subsitutions.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

name

public java.lang.String name

upperbounds

public JType[] upperbounds

Constructor Detail

JTvar

public JTvar(java.lang.String name,
             JType... upperbounds)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isUnparameterizedType

public boolean isUnparameterizedType()

Description copied from interface: JType

True if the type represents an unparameterized class in Java, such as Integer. LinkedList (without parameter) is treated as unparameterized.

Specified by:

isUnparameterizedType in interface JType

isConcrete

public boolean isConcrete()

Description copied from interface: JType

True if the type contains no type variables nor wildcards.

Specified by:

isConcrete in interface JType

isConcreteArray

public boolean isConcreteArray()

Description copied from interface: JType

True if the type is concrete, and is an array.

Specified by:

isConcreteArray in interface JType

isConcreteCollection

public boolean isConcreteCollection()

Specified by:

isConcreteCollection in interface JType

isConcreteMap

public boolean isConcreteMap()

Specified by:

isConcreteMap in interface JType

subst

public JType subst(java.util.Map<java.lang.String,JType> substitutions)

Description copied from interface: JType

Apply the given subsitutions. Side effecting. The substitutions are assumed to be valid substituions of the corresponding type variables.

Specified by:

subst in interface JType