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

Interface SourceType

All Superinterfaces:

ASTNode

All Known Implementing Classes:

ArraySourceType, GenericSourceType, IntersectionSourceType, PrimitiveSourceType, ReferenceSourceType, UnionSourceType, VoidSourceType, WildcardSourceType

public interface SourceType
extends ASTNode

Sealed interface representing source-level types.

Method Summary

Modifier and Type	Method	Description
static SourceType	fromIRType(IRType irType)	Creates a SourceType from an IR type.
default SourceLocation	getLocation()	Types carry no source position.
default ASTNode	getParent()	Types are shared and carry no link to the node that uses them.
default boolean	isArray()
default boolean	isPrimitive()
default boolean	isReference()
default boolean	isVoid()
default void	setParent(ASTNode parent)	Does nothing, since types keep no parent link.
IRType	toIRType()	Converts this source type to the equivalent IR type.
String	toJavaSource()	Converts this source type to Java source code representation.

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

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

Method Detail

toJavaSource

String toJavaSource()

Converts this source type to Java source code representation.

Returns:

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

toIRType

IRType toIRType()

Converts this source type to the equivalent IR type.

Returns:

the corresponding IRType

fromIRType

static SourceType fromIRType(IRType irType)

Creates a SourceType from an IR type.

Parameters:

irType - the IR type to convert

Returns:

the corresponding SourceType

isPrimitive

default boolean isPrimitive()

Returns:

true if this type is a primitive type

isReference

default boolean isReference()

Returns:

true if this type is a reference type (class or interface)

isArray

default boolean isArray()

Returns:

true if this type is an array type

isVoid

default boolean isVoid()

Returns:

true if this type is void

getParent

default ASTNode getParent()

Types are shared and carry no link to the node that uses them.

Specified by:

getParent in interface ASTNode

Returns:

null

setParent

default void setParent(ASTNode parent)

Does nothing, since types keep no parent link.

Specified by:

setParent in interface ASTNode

Parameters:

parent - ignored

getLocation

default SourceLocation getLocation()

Types carry no source position.

Specified by:

getLocation in interface ASTNode

Returns:

SourceLocation.UNKNOWN