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

Class UnionSourceType

java.lang.Object

com.tonic.analysis.source.ast.type.UnionSourceType

All Implemented Interfaces:

ASTNode, SourceType

public final class UnionSourceType
extends Object
implements SourceType

Represents a union type, e.g., catch (IOException | SQLException e).

Constructor Summary

Constructors

Constructor	Description
UnionSourceType(SourceType... alternatives)	Creates a union type from a varargs list.
UnionSourceType(List<SourceType> alternatives)	Creates a union type from a list, copied defensively.

Method Summary

Modifier and Type	Method	Description
<T> T	accept(SourceVisitor<T> visitor)	Accepts a visitor for this node.
boolean	equals(Object o)
SourceType	getAlternative(int index)	Reads one alternative by position.
int	getAlternativeCount()
List<SourceType>	getAlternatives()
SourceType	getFirstAlternative()
int	hashCode()
IRType	toIRType()	Converts this source type to the equivalent IR type.
String	toJavaSource()	Converts this source type to Java source code representation.
String	toString()

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

UnionSourceType

public UnionSourceType(List<SourceType> alternatives)

Creates a union type from a list, copied defensively.

Parameters:

alternatives - the alternative types, at least 2

Throws:

IllegalArgumentException - if the list is null or holds fewer than 2 alternatives

UnionSourceType

public UnionSourceType(SourceType... alternatives)

Creates a union type from a varargs list.

Parameters:

alternatives - the alternative types, at least 2

Throws:

IllegalArgumentException - if fewer than 2 alternatives are given

Method Detail

getAlternatives

public List<SourceType> getAlternatives()

Returns:

the alternatives

getAlternativeCount

public int getAlternativeCount()

Returns:

the number of alternatives, always at least 2

getAlternative

public SourceType getAlternative(int index)

Reads one alternative by position.

Parameters:

index - the zero-based position

Returns:

the alternative type

Throws:

IndexOutOfBoundsException - if the index is outside the alternative list

getFirstAlternative

public SourceType getFirstAlternative()

Returns:

the first alternative

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