Package com.tonic.analysis.source.ast.type

Class WildcardSourceType

java.lang.Object

com.tonic.analysis.source.ast.type.WildcardSourceType

All Implemented Interfaces:

ASTNode, SourceType

public final class WildcardSourceType
extends Object
implements SourceType

A wildcard type argument such as "?", "? extends Number" or "? super Integer"; erases to java/lang/Object.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	WildcardSourceType.BoundKind	Which bound form a wildcard carries.

Constructor Summary

Constructors

Constructor	Description
WildcardSourceType(WildcardSourceType.BoundKind boundKind, SourceType bound)	Creates a wildcard type.

Method Summary

Modifier and Type	Method	Description
<T> T	accept(SourceVisitor<T> visitor)	Accepts a visitor for this node.
boolean	equals(Object o)
static WildcardSourceType	extendsType(SourceType bound)	Creates an upper-bounded wildcard.
SourceType	getBound()
WildcardSourceType.BoundKind	getBoundKind()
int	hashCode()
boolean	hasLowerBound()
boolean	hasUpperBound()
boolean	isUnbounded()
static WildcardSourceType	superType(SourceType bound)	Creates a lower-bounded wildcard.
IRType	toIRType()	Converts this source type to the equivalent IR type.
String	toJavaSource()	Converts this source type to Java source code representation.
String	toString()
static WildcardSourceType	unbounded()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.tonic.analysis.source.ast.ASTNode

deepClone, findAll, findAll, findAncestor, findFirst, findFirst, getChildren, getRoot, isDescendantOf, remove, replaceWith, stream, stream, walk

Methods inherited from interface com.tonic.analysis.source.ast.type.SourceType

getLocation, getParent, isArray, isPrimitive, isReference, isVoid, setParent

Constructor Detail

WildcardSourceType

public WildcardSourceType(WildcardSourceType.BoundKind boundKind,
                          SourceType bound)

Creates a wildcard type.

Parameters:

boundKind - which form of wildcard this is

bound - the bound, required unless the kind is UNBOUNDED

Throws:

NullPointerException - if the bound kind is null

IllegalArgumentException - if a bounded kind is given no bound

Method Detail

unbounded

public static WildcardSourceType unbounded()

Returns:

a bare "?" wildcard

extendsType

public static WildcardSourceType extendsType(SourceType bound)

Creates an upper-bounded wildcard.

Parameters:

bound - the extends bound

Returns:

the wildcard

Throws:

IllegalArgumentException - if the bound is null

superType

public static WildcardSourceType superType(SourceType bound)

Creates a lower-bounded wildcard.

Parameters:

bound - the super bound

Returns:

the wildcard

Throws:

IllegalArgumentException - if the bound is null

getBoundKind

public WildcardSourceType.BoundKind getBoundKind()

Returns:

the bound kind

getBound

public SourceType getBound()

Returns:

the bound

isUnbounded

public boolean isUnbounded()

Returns:

true for a bare "?" wildcard

hasUpperBound

public boolean hasUpperBound()

Returns:

true for a "? extends" wildcard

hasLowerBound

public boolean hasLowerBound()

Returns:

true for a "? super" wildcard

toJavaSource

public String toJavaSource()

Description copied from interface: SourceType

Converts this source type to Java source code representation.

Specified by:

toJavaSource in interface SourceType

Returns:

the Java source representation (e.g., "int", "String", "int[]")

toIRType

public IRType toIRType()

Description copied from interface: SourceType

Converts this source type to the equivalent IR type.

Specified by:

toIRType in interface SourceType

Returns:

the corresponding IRType

accept

public <T> T accept(SourceVisitor<T> visitor)

Description copied from interface: ASTNode

Accepts a visitor for this node.

Specified by:

accept in interface ASTNode

Type Parameters:

T - the return type of the visitor

Parameters:

visitor - the visitor to accept

Returns:

the result from the visitor

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object