aoqi@0: Compile-time representation of Java type system. aoqi@0: aoqi@0:
aoqi@0: These classes are used as TypeT and ClassDeclT of the model parameterization. aoqi@0: This implementaion is designed to be capable of representing pre-existing classes aoqi@0: (such as java.lang.String) as well as the generated classes (represented as JDefinedClass.) aoqi@0: aoqi@0:
aoqi@0: Primitive types have two forms (int and Integer), and this complicates the binding process. aoqi@0: For this reason, inside the front end, we always use the boxed types. We'll use the unboxed aoqi@0: form only in the back end when we know the field doesn't need to represent the null value. aoqi@0: