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

Source-level types, from primitives through generics, wildcards and intersections.

Interface Summary

Interface	Description
SourceType	Sealed interface representing source-level types.

Class Summary

Class	Description
ArraySourceType	Represents an array type in the source AST.
GenericSourceType	A parameterized reference type such as List<String>; the type arguments are source-only and erase away in toIRType.
IntersectionSourceType	An intersection type such as "A & B", as written in a type parameter bound; it lowers to its first bound.
PrimitiveSourceType	Represents a primitive type in the source AST.
ReferenceSourceType	Represents a reference type (class or interface) in the source AST.
TypeUtils	Utility methods for type operations including boxing, unboxing, type checking, and common supertype computation.
UnionSourceType	Represents a union type, e.g., catch (IOException | SQLException e).
VoidSourceType	The void type in the source AST, held as a singleton.
WildcardSourceType	A wildcard type argument such as "?", "? extends Number" or "? super Integer"; erases to java/lang/Object.

Enum Summary

Enum	Description
PrimitiveSourceType.PrimitiveKind	The eight Java primitives, each paired with its source keyword and IR type.
WildcardSourceType.BoundKind	Which bound form a wildcard carries.