org.walkmod.javalang.compiler.symbols

Class SymbolType

java.lang.Object

org.walkmod.javalang.compiler.symbols.SymbolType

All Implemented Interfaces:

org.walkmod.javalang.ast.ConstructorSymbolData, org.walkmod.javalang.ast.FieldSymbolData, org.walkmod.javalang.ast.MethodSymbolData, org.walkmod.javalang.ast.SymbolData

public class SymbolType
extends Object
implements org.walkmod.javalang.ast.SymbolData, org.walkmod.javalang.ast.MethodSymbolData, org.walkmod.javalang.ast.FieldSymbolData, org.walkmod.javalang.ast.ConstructorSymbolData

Constructor Summary

Constructors

Constructor and Description
SymbolType()
SymbolType(Class<?> clazz)
SymbolType(List<SymbolType> upperBounds)
SymbolType(List<SymbolType> upperBounds, List<SymbolType> lowerBounds)
SymbolType(String name)
SymbolType(String name, List<SymbolType> upperBounds)
SymbolType(String name, List<SymbolType> upperBounds, List<SymbolType> lowerBounds)

Method Summary

Modifier and Type	Method and Description
static SymbolType	anonymousClassOf(String name) Build symbol representing an anonymous class.
boolean	belongsToAnonymousClass()
static SymbolType	classValueOf(String className, int arrayCount) Build a simple class based symbol probably as an array.
SymbolType	clone()
SymbolType	cloneAsArray(int arrayCount)
SymbolType	cloneAsArray(String name, int arrayCount)
static SymbolType	cloneAsArrayOrNull(SymbolType type, int arrayCount)
SymbolType	cloneAsTypeVariable(String typeVariable)
static SymbolType	enumConstantOf(String name) Build symbol representing an enum constant class.
boolean	equals(Object o)
int	getArrayCount()
List<Class<?>>	getBoundClasses()
List<SymbolType>	getBounds()
Class<?>	getClazz()
Constructor<?>	getConstructor()
Field	getField()
List<Class<?>>	getLowerBoundClasses()
List<SymbolType>	getLowerBounds()
Method	getMethod()
String	getName()
List<SymbolType>	getParameterizedTypes()
String	getTemplateVariable()
boolean	hasBounds()
boolean	isCompatible(SymbolType other)
boolean	isLoadedAnonymousClass() Is symbol for anonymous class that has been either being loaded successfully or being detected as disabled code on load?
boolean	isTemplateVariable()
SymbolType	markDisabledCode() If code is disabled via conditional compilation the symbol information is typically incomplete because no class has been created.
org.walkmod.javalang.ast.SymbolData	merge(org.walkmod.javalang.ast.SymbolData other)
SymbolType	refactor(Map<String,SymbolType> mapping)
SymbolType	refactor(Map<String,SymbolType> mapping, boolean dynamicVar)
SymbolType	refactor(String variable, SymbolType st, boolean dynamicVar)
SymbolType	refactorToTypeVariable(String typeVariable, SymbolType st, boolean dynamicVar)
void	setArrayCount(int arrayCount)
void	setClazz(Class<?> clazz)
void	setConstructor(Constructor<?> constructor)
void	setField(Field field)
void	setMethod(Method method)
void	setName(String name) Deprecated.
void	setParameterizedTypes(List<SymbolType> parameterizedTypes)
void	setTemplateVariable(String templateVariable) Deprecated. use factory methods "templateVariableOf" instead Sets the template variable
static <T extends org.walkmod.javalang.ast.SymbolData> Class<?>[]	toClassArray(T[] args)
String	toString()
static SymbolType	typeVariableOf(String typeVariable, Class<Object> clazz) Builds a symbol for a type variable from a Java class.
static SymbolType	typeVariableOf(String typeVariable, List<SymbolType> upperBounds) Builds a symbol for a type variable from a list of upper bounds.
static SymbolType	typeVariableOf(String typeVariable, String name) Builds a symbol for a type variable from a (Java class) name.
static SymbolType	typeVariableOf(TypeVariable<?> typeVariable) Builds a symbol for a type variable from a TypeVariable.
static SymbolType	valueOf(Method method, Map<String,SymbolType> typeMapping)
static SymbolType	valueOf(Type type, Map<String,SymbolType> typeMapping)
static SymbolType	valueOf(Type type, SymbolType arg, Map<String,SymbolType> updatedTypeMapping, Map<String,SymbolType> typeMapping) Builds a symbol type from a Java type.
SymbolType	withName(String name) Clones replacing the symbol type name.

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SymbolType

public SymbolType()

SymbolType

public SymbolType(List<SymbolType> upperBounds)

SymbolType

public SymbolType(List<SymbolType> upperBounds,
                  List<SymbolType> lowerBounds)

SymbolType

public SymbolType(String name,
                  List<SymbolType> upperBounds)

SymbolType

public SymbolType(String name,
                  List<SymbolType> upperBounds,
                  List<SymbolType> lowerBounds)

SymbolType

public SymbolType(Class<?> clazz)

SymbolType

public SymbolType(String name)

Method Detail

hasBounds

public boolean hasBounds()

getBounds

public List<SymbolType> getBounds()

setClazz

public void setClazz(Class<?> clazz)

getName

public String getName()

Specified by:

getName in interface org.walkmod.javalang.ast.SymbolData

setName

@Deprecated
public void setName(String name)

Deprecated.

Sets the full class name that is representing the symbol type

Parameters:

name - the complete class name

getLowerBounds

public List<SymbolType> getLowerBounds()

getParameterizedTypes

public List<SymbolType> getParameterizedTypes()

Specified by:

getParameterizedTypes in interface org.walkmod.javalang.ast.SymbolData

setParameterizedTypes

public void setParameterizedTypes(List<SymbolType> parameterizedTypes)

getArrayCount

public int getArrayCount()

Specified by:

getArrayCount in interface org.walkmod.javalang.ast.SymbolData

setArrayCount

public void setArrayCount(int arrayCount)

isTemplateVariable

public boolean isTemplateVariable()

Specified by:

isTemplateVariable in interface org.walkmod.javalang.ast.SymbolData

setTemplateVariable

public void setTemplateVariable(String templateVariable)

Deprecated. use factory methods "templateVariableOf" instead Sets the template variable

Parameters:

templateVariable - name of the template variable (e.g "T")

getTemplateVariable

public String getTemplateVariable()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

isCompatible

public boolean isCompatible(SymbolType other)

isLoadedAnonymousClass

public boolean isLoadedAnonymousClass()

Is symbol for anonymous class that has been either being loaded successfully or being detected as disabled code on load?

Returns:

returns if the symbol type represents an anonymous class

getClazz

public Class<?> getClazz()

Specified by:

getClazz in interface org.walkmod.javalang.ast.SymbolData

getBoundClasses

public List<Class<?>> getBoundClasses()

Specified by:

getBoundClasses in interface org.walkmod.javalang.ast.SymbolData

toString

public String toString()

Overrides:

toString in class Object

withName

public SymbolType withName(String name)

Clones replacing the symbol type name.

Parameters:

name - the symbol type name

Returns:

Returns a copy of this symbol type replacing the name

clone

public SymbolType clone()

Overrides:

clone in class Object

cloneAsTypeVariable

public SymbolType cloneAsTypeVariable(String typeVariable)

cloneAsArrayOrNull

public static SymbolType cloneAsArrayOrNull(SymbolType type,
                                            int arrayCount)

cloneAsArray

public SymbolType cloneAsArray(int arrayCount)

cloneAsArray

public SymbolType cloneAsArray(String name,
                               int arrayCount)

markDisabledCode

public SymbolType markDisabledCode()

If code is disabled via conditional compilation the symbol information is typically incomplete because no class has been created. (For conditional compilation see JLS 14.21. Unreachable Statements, http://docs.oracle.com/javase/specs/jls/se8/html/jls-14.html#jls-14.21)

Returns:

a copy of this symbol type marked as a disabled anonymous class.

anonymousClassOf

public static SymbolType anonymousClassOf(String name)

Build symbol representing an anonymous class.

Parameters:

name - the full class name of an anonymous class

Returns:

a new SymbolType that represents an anonymous class

classValueOf

public static SymbolType classValueOf(String className,
                                      int arrayCount)

Build a simple class based symbol probably as an array.

Parameters:

className - the name of the array type

arrayCount - the array dimensions (1 an array, 2 matrix, etc..)

Returns:

a SymbolType that represents an array.

enumConstantOf

public static SymbolType enumConstantOf(String name)

Build symbol representing an enum constant class.

Parameters:

name - is the enumeration class name

Returns:

a SymbolType that represents an enumeration.

typeVariableOf

public static SymbolType typeVariableOf(String typeVariable,
                                        String name)

Builds a symbol for a type variable from a (Java class) name.

Parameters:

typeVariable - the name of the variable

name - the (upper bound) type of the variable

Returns:

a SymbolType that represents a variable (for generics)

typeVariableOf

public static SymbolType typeVariableOf(String typeVariable,
                                        Class<Object> clazz)

Builds a symbol for a type variable from a Java class.

Parameters:

typeVariable - the name of the variable

clazz - the (upper bound) type of the variable

Returns:

a SymbolType that represents a variable (for generics)

typeVariableOf

public static SymbolType typeVariableOf(String typeVariable,
                                        List<SymbolType> upperBounds)

Builds a symbol for a type variable from a list of upper bounds.

Parameters:

typeVariable - the name of the variable

upperBounds - the upper bounds of the type variable

Returns:

a SymbolType that represents a variable (for generics)

typeVariableOf

public static SymbolType typeVariableOf(TypeVariable<?> typeVariable)
                                 throws InvalidTypeException

Builds a symbol for a type variable from a TypeVariable.

Parameters:

typeVariable - The loaded type variable by reflection

Returns:

a SymbolType that represents a variable (for generics)

Throws:

InvalidTypeException - when the type cannot be loaded

valueOf

public static SymbolType valueOf(Type type,
                                 SymbolType arg,
                                 Map<String,SymbolType> updatedTypeMapping,
                                 Map<String,SymbolType> typeMapping)
                          throws InvalidTypeException

Builds a symbol type from a Java type.

Parameters:

type - type to convert

arg - reference class to take into account if the type is a generic variable.

updatedTypeMapping - place to put the resolved generic variables.

typeMapping - reference type mapping for generic variables.

Returns:

the representative symbol type

Throws:

InvalidTypeException - when the type cannot be loaded

valueOf

public static SymbolType valueOf(Type type,
                                 Map<String,SymbolType> typeMapping)
                          throws InvalidTypeException

Throws:

InvalidTypeException

getMethod

public Method getMethod()

Specified by:

getMethod in interface org.walkmod.javalang.ast.MethodSymbolData

setMethod

public void setMethod(Method method)

valueOf

public static SymbolType valueOf(Method method,
                                 Map<String,SymbolType> typeMapping)
                          throws ClassNotFoundException,
                                 InvalidTypeException

Throws:

ClassNotFoundException

InvalidTypeException

setField

public void setField(Field field)

getField

public Field getField()

Specified by:

getField in interface org.walkmod.javalang.ast.FieldSymbolData

merge

public org.walkmod.javalang.ast.SymbolData merge(org.walkmod.javalang.ast.SymbolData other)

Specified by:

merge in interface org.walkmod.javalang.ast.SymbolData

setConstructor

public void setConstructor(Constructor<?> constructor)

getConstructor

public Constructor<?> getConstructor()

Specified by:

getConstructor in interface org.walkmod.javalang.ast.ConstructorSymbolData

belongsToAnonymousClass

public boolean belongsToAnonymousClass()

getLowerBoundClasses

public List<Class<?>> getLowerBoundClasses()

Specified by:

getLowerBoundClasses in interface org.walkmod.javalang.ast.SymbolData

refactorToTypeVariable

public SymbolType refactorToTypeVariable(String typeVariable,
                                         SymbolType st,
                                         boolean dynamicVar)

refactor

public SymbolType refactor(String variable,
                           SymbolType st,
                           boolean dynamicVar)

refactor

public SymbolType refactor(Map<String,SymbolType> mapping)

refactor

public SymbolType refactor(Map<String,SymbolType> mapping,
                           boolean dynamicVar)

toClassArray

public static <T extends org.walkmod.javalang.ast.SymbolData> Class<?>[] toClassArray(T[] args)