xtc.type

• {@link xtc.type.Type} is the superclass of all type classes and defines the common interface.
• {@link xtc.type.VoidT} represents the void type.
• {@link xtc.type.UnitT} represents the unit type.
• {@link xtc.type.BooleanT} represents the boolean type.
• {@link xtc.type.IntegerT} and {@link xtc.type.FloatT} represent integer and floating point {@link xtc.type.NumberT numbers}, respectively.
• {@link xtc.type.InternalT} represents compiler-internal types, such as the __builtin_va_list type used by gcc for variable argument lists.
• {@link xtc.type.LabelT} and {@link xtc.type.PackageT} represent labels and packages, respectively.
• {@link xtc.type.PointerT}, {@link xtc.type.ArrayT}, {@link xtc.type.StructT}, {@link xtc.type.UnionT}, {@link xtc.type.FunctionT}, {@link xtc.type.MethodT}, {@link xtc.type.ClassT}, {@link xtc.type.InterfaceT}, {@link xtc.type.TupleT}, and {@link xtc.type.VariantT} represent {@link xtc.type.DerivedT derived types}.
• {@link xtc.type.WrappedT} is the superclass of pseudo-types adding symbolic information to any of the previous types. {@link xtc.type.AliasT} represents type aliases; {@link xtc.type.AnnotatedT} provides annotations for another type; {@link xtc.type.EnumeratorT} and {@link xtc.type.EnumT} represent C enums; {@link xtc.type.VariableT} represents globals, locals, fields, and bitfields; {@link xtc.type.ParameterizedT} represents parameterized types; and {@link xtc.type.InstantiatedT} represents instantiations of parameterized types.
• {@link xtc.type.Parameter} represents a type parameter and {@link xtc.type.Wildcard} represents a wildcard. Types containing instances of these classes are parameterized. They should be wrapped in a {@link xtc.type.ParameterizedT} and instantiated through a {@link xtc.type.InstantiatedT}.
• Finally, {@link xtc.type.ErrorT} represents typing errors.

To model the memory shape of lvalues, this package also defines a separate hierarchy of references:

• {@link xtc.type.Reference} is the superclass of all reference classes and defines the common interface. All references have a type specifying the referenced memory's shape or layout.
• {@link xtc.type.NullReference#NULL} represents the zero location in memory. It has void as its type.
• {@link xtc.type.StaticReference} and {@link xtc.type.DynamicReference} represent statically and dynamically allocated variables, respectively. Both reference classes are symbolic representations of memory; they do not have a known location.
• {@link xtc.type.RelativeReference} is the superclass of all relative references, with each relative reference having another reference as its base.
• {@link xtc.type.CastReference} represents a differently typed view on the same memory region.
• {@link xtc.type.IndirectReference} represents an indirection through a memory region, i.e., pointer.
• {@link xtc.type.IndexReference} represents an integer offset from another reference, while {@link xtc.type.FieldReference} represents a symbolic offset.

This class supports two views on a grammar's generic AST.

The class hierarchy for types distinguishes basic from wrapped types, with wrapped types providing additional information for basic types.