me.tomassetti.symbolsolver.model.usages.typesystem

Class Wildcard

java.lang.Object

Wildcard

All Implemented Interfaces:

Type

public class Wildcard
extends Object
implements Type

A wildcard can be: - unbounded (?) - have a lower bound (? super Number) - have an upper bound (? extends Number) It is not possible to have both a lower and an upper bound at the same time.

Author:

Federico Tomassetti

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Wildcard.BoundType

Field Summary

Fields

Modifier and Type	Field and Description
static Wildcard	UNBOUNDED

Method Summary

Modifier and Type	Method and Description
Wildcard	asWildcard()
String	describe()
boolean	equals(Object o)
static Wildcard	extendsBound(Type type)
Type	getBoundedType()
int	hashCode()
boolean	isAssignableBy(Type other) This method checks if ThisType t = new OtherType() would compile.
boolean	isExtends()
boolean	isReference() Is this a non primitive value?
boolean	isSuper()
boolean	isWildcard()
Type	replaceParam(String name, Type replaced)
static Wildcard	superBound(Type type)
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface me.tomassetti.symbolsolver.model.usages.typesystem.Type

arrayLevel, asArrayType, asPrimitive, asReferenceType, asTypeParameter, isArray, isNull, isPrimitive, isReferenceType, isTypeVariable, isVoid, replaceParam

Field Detail

UNBOUNDED

public static Wildcard UNBOUNDED

Method Detail

superBound

public static Wildcard superBound(Type type)

extendsBound

public static Wildcard extendsBound(Type type)

toString

public String toString()

Overrides:

toString in class Object

isWildcard

public boolean isWildcard()

Specified by:

isWildcard in interface Type

asWildcard

public Wildcard asWildcard()

Specified by:

asWildcard in interface Type

isReference

public boolean isReference()

Description copied from interface: Type

Is this a non primitive value?

Specified by:

isReference in interface Type

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

describe

public String describe()

Specified by:

describe in interface Type

isSuper

public boolean isSuper()

isExtends

public boolean isExtends()

getBoundedType

public Type getBoundedType()

isAssignableBy

public boolean isAssignableBy(Type other)

Description copied from interface: Type

This method checks if ThisType t = new OtherType() would compile.

Specified by:

isAssignableBy in interface Type

replaceParam

public Type replaceParam(String name,
                         Type replaced)

Specified by:

replaceParam in interface Type