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

Class ReferenceSourceType

java.lang.Object

com.tonic.analysis.source.ast.type.ReferenceSourceType

All Implemented Interfaces:

ASTNode, SourceType

public final class ReferenceSourceType
extends Object
implements SourceType

Represents a reference type (class or interface) in the source AST.

Field Summary

Fields

Modifier and Type	Field	Description
static ReferenceSourceType	CLASS
static ReferenceSourceType	OBJECT
static ReferenceSourceType	STRING

Constructor Summary

Constructors

Constructor	Description
ReferenceSourceType(String internalName)	Creates a raw reference type printed by its simple name.
ReferenceSourceType(String internalName, List<SourceType> typeArguments)	Creates a parameterized reference type printed by its simple name.
ReferenceSourceType(String internalName, List<SourceType> typeArguments, boolean useSimpleName)	Creates a reference type, choosing how the name is printed.

Method Summary

Modifier and Type	Method	Description
<T> T	accept(SourceVisitor<T> visitor)	Accepts a visitor for this node.
boolean	equals(Object obj)
String	getFullyQualifiedName()	Gets the fully qualified name in Java format (e.g., "java.lang.String", or "Outer.Inner" for a nested class).
String	getInternalName()
String	getPackageName()	Gets the package name (e.g., "java.lang").
String	getSimpleName()	Gets the simple class name (e.g., "String").
List<SourceType>	getTypeArguments()
int	hashCode()
boolean	hasTypeArguments()	Checks if this type has generic type arguments.
boolean	isUseSimpleName()
IRType	toIRType()	Converts this source type to the equivalent IR type.
String	toJavaSource()	Converts this source type to Java source code representation.
String	toString()
ReferenceSourceType	withTypeArguments(List<SourceType> typeArgs)	Creates a copy of this type carrying different type arguments.

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

Field Detail

OBJECT

public static final ReferenceSourceType OBJECT

STRING

public static final ReferenceSourceType STRING

CLASS

public static final ReferenceSourceType CLASS

Constructor Detail

ReferenceSourceType

public ReferenceSourceType(String internalName)

Creates a raw reference type printed by its simple name.

Parameters:

internalName - the class name in internal format

Throws:

NullPointerException - if internalName is null

ReferenceSourceType

public ReferenceSourceType(String internalName,
                           List<SourceType> typeArguments)

Creates a parameterized reference type printed by its simple name.

Parameters:

internalName - the class name in internal format

typeArguments - the generic arguments, or null for none

Throws:

NullPointerException - if internalName is null

ReferenceSourceType

public ReferenceSourceType(String internalName,
                           List<SourceType> typeArguments,
                           boolean useSimpleName)

Creates a reference type, choosing how the name is printed.

Parameters:

internalName - the class name in internal format

typeArguments - the generic arguments, or null for none

useSimpleName - true to print the simple name, false for the qualified one

Throws:

NullPointerException - if internalName is null

Method Detail

getInternalName

public String getInternalName()

Returns:

the internal name

getTypeArguments

public List<SourceType> getTypeArguments()

Returns:

the type arguments

isUseSimpleName

public boolean isUseSimpleName()

Returns:

whether use simple name

getFullyQualifiedName

public String getFullyQualifiedName()

Gets the fully qualified name in Java format (e.g., "java.lang.String", or "Outer.Inner" for a nested class).

Returns:

the dotted source-form name

getSimpleName

public String getSimpleName()

Gets the simple class name (e.g., "String").

Returns:

the name with the package stripped

getPackageName

public String getPackageName()

Gets the package name (e.g., "java.lang").

Returns:

the dotted package name, empty for the default package

hasTypeArguments

public boolean hasTypeArguments()

Checks if this type has generic type arguments.

Returns:

true when at least one type argument is present

withTypeArguments

public ReferenceSourceType withTypeArguments(List<SourceType> typeArgs)

Creates a copy of this type carrying different type arguments.

Parameters:

typeArgs - the type arguments for the copy

Returns:

a new type with the same internal name and simple-name preference

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

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object