Id name
Qualifier qualifier
QualifierNode qual
Id name
Type type
QualifierNode qual
Id name
TypeNode base
Expr left
Assign.Operator op
Expr right
Binary.Operator binOp
Expr left
Binary.Operator op
Expr right
Precedence precedence
Precedence prec
Branch.Kind kind
Id label
Receiver target
Id name
java.util.List<E> arguments
MethodInstance mi
boolean targetImplicit
Expr expr
long value
Flags flags
Id name
TypeNode superClass
java.util.List<E> interfaces
ClassBody body
ConstructorInstance defaultCI
boolean implicitMembersAdded
ParsedClassType type
TypeNode typeNode
ConstructorCall.Kind kind
Expr qualifier
java.util.List<E> arguments
ConstructorInstance ci
ConstructorInstance ci
Expr expr
Type type
Receiver target
Id name
FieldInstance fi
boolean targetImplicit
Flags flags
TypeNode type
Id name
Expr init
FieldInstance fi
InitializerInstance ii
FloatLit.Kind kind
double value
LocalInstance li
Flags flags
TypeNode type
Id name
Import.Kind kind
java.lang.String name
Flags flags
Block body
InitializerInstance ii
IntLit.Kind kind
Node node
Id name
LocalInstance li
ClassDecl decl
Flags flags
TypeNode type
Id name
Expr init
LocalInstance li
TypeNode returnType
MethodInstance mi
Expr qualifier
TypeNode objectType
java.util.List<E> arguments
ClassBody body
ConstructorInstance ci
ParsedClassType anonType
boolean qualifierImplicit
Package package_
Expr expr
PackageNode package_
java.util.List<E> imports
java.util.List<E> decls
ImportTable importTable
Source source
Special.Kind kind
TypeNode qualifier
Expr expr
java.util.List<E> elements
boolean reachable
SubtypeSet exceptions
Expr expr
Type type
Unary.Operator op
Expr expr
TypeNode base
java.util.List<E> typeArguments
TypeNode constraint
boolean isExtendsConstraint
TypeNode typeName
java.util.List<E> elements
TypeNode type
Flags flags
Term defaultVal
Id name
AnnotationTypeElemInstance ai
java.util.List<E> elements
Type type
java.util.List<E> args
Id name
Flags flags
ClassBody body
EnumInstance enumInstance
ConstructorInstance constructorInstance
ParsedClassType type
long ordinal
Id id
java.util.List<E> bounds
Type annotationType
java.util.Map<K,V> annotationElementValues
Type type
java.lang.Object constVal
java.util.List<E> bounds
TypeVariable boundOf_
java.util.List<E> typeParams
Annotations annotations
Annotations annotations
Annotations annotations
boolean isProcedureFormal
boolean isCatchFormal
java.util.List<E> typeParams
Annotations annotations
PClass<Formal extends Param,Actual extends TypeObject> pclass
java.util.List<E> typeVars
java.util.List<E> enumConstants
java.util.List<E> annotationElems
boolean annotationsResolved
Annotations annotations
JL5ParsedClassType base
Transformation<T,U> TypeErase
JL5ParsedClassType base
java.lang.String name
TypeVariable.TVarDecl declaredIn
ClassType declaringClass
JL5ProcedureInstance declaringProcedure
ReferenceType upperBound
ReferenceType lowerBound
ReferenceType upperBound
ReferenceType lowerBound
java.util.List<E> lubElems
ReferenceType lubCalculated
TypeNode base
JL5ParsedClassType base
java.util.List<E> formals
ClassType clazz
private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
java.io.IOException
java.util.Map<K,V> subst
Goal goal
boolean prerequisite
OptFlag.Arg<T> arg
Type base
java.util.List<E> fields
java.util.List<E> methods
java.util.List<E> interfaces
ClassType decl
ConstructorInstance decl
ReferenceType container
java.lang.String name
Type returnType
MethodInstance decl
private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
java.io.IOException
Type superType
java.util.List<E> interfaces
java.util.List<E> methods
java.util.List<E> fields
java.util.List<E> constructors
Package package_
Flags flags
ClassType.Kind kind
java.lang.String name
ClassType outer
boolean inStaticContext
boolean needSerialization
boolean membersAdded
boolean supertypesResolved
boolean signaturesResolved
PrimitiveType.Kind kind
ReferenceType container
Flags flags
java.util.List<E> formalTypes
java.util.List<E> throwTypes
Position position
Job job
private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
java.io.IOException
Position position
Flags flags
Type type
java.lang.String name
java.lang.Object constantValue
boolean isConstant
boolean constantValueSet
VarInstance decl
Position pos