Package jltools.ext.jl.types

Interface Summary
Context_c.ClassMark A class mark.
Context_c.CodeMark A code (method, procedure, initializer) mark.
Context_c.Scope A scope mark.
 

Class Summary
ArrayType_c An ArrayType represents an array of base java types.
ClassType_c A ClassType represents a class -- either loaded from a classpath, parsed from a source file, or obtained from other source.
ConstructorInstance_c A ConstructorInstance contains type information for a constructor.
Context_c A context represents a stack of scopes used for looking up types, methods, and variables.
Context_c.JLClassMark A concrete implementation of a class mark.
Context_c.JLCodeMark A concrete implementation of a code mark.
Context_c.JLScope A concrete implementation of a scope mark.
Context_c.OuterMark The outer mark.
FieldInstance_c A FieldInstance contains type information for a field.
InitializerInstance_c A InitializerInstance contains the type information for a static or anonymous initializer.
LoadedAnonClassType_c Implementation of an anonymous class loaded from a class file.
LoadedClassType_c A LoadedClassType is a class type which is derived from a class file.
LoadedInnerClassType_c Implementation of an inner class loaded from a class file.
LoadedLocalClassType_c Implementation of a local class loaded from a class file.
LoadedMemberClassType_c Implementation of a member class loaded from a class file.
LoadedTopLevelClassType_c Implementation of a top-level class loaded from a class file.
LocalInstance_c A LocalInstance contains type information for a local variable.
MethodInstance_c A MethodInstance represents the type information for a Java method.
NullType_c A NullType represents the type of the Java keyword null.
Package_c An PackageType represents a package type.
ParsedAnonClassType_c ParsedClassType Overview: A ParsedClassType represents a information that has been parsed (but not necessarily type checked) from a .java file.
ParsedClassType_c ParsedClassType Overview: A ParsedClassType represents a information that has been parsed (but not necessarily type checked) from a .java file.
ParsedInnerClassType_c ParsedClassType Overview: A ParsedClassType represents a information that has been parsed (but not necessarily type checked) from a .java file.
ParsedLocalClassType_c ParsedClassType Overview: A ParsedClassType represents a information that has been parsed (but not necessarily type checked) from a .java file.
ParsedMemberClassType_c ParsedClassType Overview: A ParsedClassType represents a information that has been parsed (but not necessarily type checked) from a .java file.
ParsedTopLevelClassType_c ParsedClassType Overview: A ParsedClassType represents a information that has been parsed (but not necessarily type checked) from a .java file.
PlaceHolder_c A place holder type used to serialize types that cannot be serialized.
PrimitiveType_c An PrimitiveType_c represents a primitive type.
ProcedureInstance_c A ProcedureInstance contains the type information for a Java procedure (either a method or a constructor).
ReferenceType_c A ReferenceType represents a reference type -- a type on which contains methods and fields and is a subtype of Object.
Type_c Abstract implementation of a Type.
TypeObject_c Abstract implementation of a type object.
TypeSystem_c TypeSystem_c Overview: A TypeSystem_c is a universe of types, including all Java types.
UnknownQualifier_c An unknown type qualifier.
UnknownType_c An unknown type.
VarInstance_c A VarInstance contains type information for a variable.