A
|
ActualTypeArgs(ATerm )
|
n/a
|
Attributes.str
|
Anonymous(ATerm )
|
n/a
|
Form.str
|
ArrayClasses(ATerm )
|
n/a
|
array-class.str
|
AssignmentConversion(ATerm )
|
n/a
|
AssignmentConversion.str
|
B
|
BootObservableClasses(ATerm )
|
n/a
|
option.str
|
BoxingConversion(ATerm , ATerm )
|
n/a
|
Boxing.str
|
C
|
CapturedWildcard(ATerm )
|
n/a
|
Extensions.str
|
Class(ATerm , ATerm , ATerm )
|
Constructor for exported classes
|
classpath.str
|
Class(ATerm )
|
n/a
|
classes.str
|
ClassFile(ATerm )
|
Constructor for the location of a bytecode
|
classpath.str
|
CompileTimeDeclaration(ATerm )
|
n/a
|
Attributes.str
|
ComponentTypeField(ATerm )
|
n/a
|
array-class.str
|
Constraint(ATerm , ATerm , ATerm )
|
n/a
|
Constraints.str
|
ConstructorName(ATerm )
|
n/a
|
Extensions.str
|
ConstructorName(ATerm , ATerm )
|
n/a
|
Attributes.str
|
Conversions(ATerm )
|
n/a
|
Attributes.str
|
D
|
Declaration(ATerm )
|
n/a
|
Attributes.str
|
DeclaringClass(ATerm )
|
n/a
|
Attributes.str
|
DefaultAccess(ATerm )
|
n/a
|
Extensions.str
|
DryadError(ATerm , ATerm )
|
n/a
|
Main.str
|
DryadWarning(ATerm , ATerm )
|
n/a
|
Main.str
|
E
|
Equal(ATerm )
|
U = V
|
Constraints.str
|
F
|
Field(ATerm )
|
n/a
|
Extensions.str
|
FILE(ATerm )
|
n/a
|
multi-options.str
|
Fresh(ATerm )
|
n/a
|
Extensions.str
|
G
|
GenericSignature(ATerm )
|
n/a
|
bytecode-method.str
|
I
|
IdentityConversion(ATerm )
|
n/a
|
IdentityConversion.str
|
Instance(ATerm , ATerm )
|
n/a
|
classes.str
|
IntersectionType(ATerm )
|
n/a
|
Extensions.str
|
J
|
Jar(ATerm , ATerm )
|
Constructor for the location of a class file in a jar
|
classpath.str
|
JavaArrayClass(ATerm )
|
n/a
|
array-class.str
|
JavaBytecodeClass(ATerm )
|
Identifier for BytecodeClass Objects
|
bytecode-class.str
|
JavaBytecodeConstructor(ATerm )
|
n/a
|
bytecode-constructor.str
|
JavaBytecodeField(ATerm )
|
n/a
|
bytecode-field.str
|
JavaBytecodeMethod(ATerm )
|
n/a
|
bytecode-method.str
|
JavaCompilationUnit(ATerm )
|
n/a
|
compilation-unit.str
|
JavaPackage(ATerm )
|
Identifier for the class Package
|
package.str
|
JavaSourceClass(ATerm )
|
n/a
|
source-class.str
|
JavaSourceConstructor(ATerm )
|
n/a
|
source-constructor.str
|
JavaSourceField(ATerm )
|
n/a
|
source-field.str
|
JavaSourceMethod(ATerm )
|
n/a
|
source-method.str
|
L
|
LeftRightConvertible(ATerm )
|
Type U is convertible to type V by method invocation conversion
|
Constraints.str
|
Local(ATerm )
|
n/a
|
Form.str
|
Loose(ATerm )
|
n/a
|
option.str
|
M
|
Member(ATerm )
|
n/a
|
Form.str
|
MethodInvocationConversion(ATerm )
|
n/a
|
MethodInvocationConversion.str
|
MethodName(ATerm , ATerm , ATerm , ATerm )
|
n/a
|
Attributes.str
|
O
|
ObservableClasses(ATerm )
|
n/a
|
option.str
|
OpenWildcard(ATerm , ATerm , ATerm )
|
n/a
|
CaptureConversion.str
|
P
|
Package(ATerm , ATerm , ATerm )
|
Constructor for exported packages
|
classpath.str
|
R
|
RightLeftConvertible(ATerm )
|
Type V is convertible to type U by method invocation conversion
|
Constraints.str
|
RootPackage(ATerm )
|
n/a
|
repository.str
|
S
|
Source(ATerm )
|
Constructor for the location of source files
|
classpath.str
|
StartLineColumn(ATerm , ATerm )
|
n/a
|
components.str
|
SuperType(ATerm )
|
Type U is a super type of type V
|
Constraints.str
|
T
|
TopLevel(ATerm )
|
n/a
|
Form.str
|
Type(ATerm )
|
n/a
|
Attributes.str
|
TypeVar(ATerm , ATerm )
|
n/a
|
Extensions.str
|
TypeVar(ATerm , ATerm , ATerm )
|
n/a
|
Extensions.str
|
U
|
UnboxingConversion(ATerm , ATerm )
|
n/a
|
Unboxing.str
|
UncheckedConversion(ATerm , ATerm )
|
n/a
|
UncheckedConversion.str
|
W
|
WideningPrimitiveConversion(ATerm , ATerm )
|
n/a
|
WideningPrimitive.str
|
WideningReferenceConversion(ATerm )
|
First element of the list is the type being converted to
|
WideningReference.str
|