A
|
add-java-lang-imports
|
Adds the java
|
Imports.str
|
adhoc-widening-reference-conversions(ATerm to)
|
The direct supertypes of the null type are all reference types other than the null type itself
|
WideningReference.str
|
apply-capture-conversion
|
n/a
|
CaptureConversion.str
|
apply-capture-conversion
|
n/a
|
CaptureConversion.str
|
B
|
boxing-conversion-of-type
|
n/a
|
Boxing.str
|
boxing-conversion-of-type
|
n/a
|
Boxing.str
|
boxing-conversion-of-type
|
n/a
|
Boxing.str
|
boxing-conversion-of-type
|
n/a
|
Boxing.str
|
boxing-conversion-of-type
|
n/a
|
Boxing.str
|
boxing-conversion-of-type
|
n/a
|
Boxing.str
|
boxing-conversion-of-type
|
n/a
|
Boxing.str
|
boxing-conversion-of-type
|
n/a
|
Boxing.str
|
C
|
capture-wildcard
|
n/a
|
CaptureConversion.str
|
Create-PackageName-PackageName(ATerm pkgname)
|
n/a
|
MeaningOfPackageOrTypeName.str
|
D
|
DesugarSignature
|
n/a
|
Bridge.str
|
DesugarSignature
|
n/a
|
Bridge.str
|
DesugarSignature
|
n/a
|
Bridge.str
|
DesugarSignature
|
n/a
|
Bridge.str
|
DesugarSignature
|
n/a
|
Bridge.str
|
DesugarSignature
|
n/a
|
Bridge.str
|
DesugarSignature
|
n/a
|
Bridge.str
|
DesugarSignature
|
n/a
|
Bridge.str
|
DesugarSignature
|
n/a
|
Bridge.str
|
direct-supertypes
|
Returns the direct supertypes of a type
|
Subtyping.str
|
direct-supertypes
|
n/a
|
Subtyping.str
|
direct-supertypes
|
n/a
|
Subtyping.str
|
direct-supertypes
|
n/a
|
Subtyping.str
|
direct-supertypes
|
n/a
|
Subtyping.str
|
direct-supertypes
|
n/a
|
Subtyping.str
|
direct-supertypes
|
n/a
|
Subtyping.str
|
direct-supertypes
|
n/a
|
Subtyping.str
|
dryad-reclassify-type
|
n/a
|
ClassOrInterfaceType.str
|
dryad-reclassify-type
|
n/a
|
ClassOrInterfaceType.str
|
dryad-reclassify-type
|
n/a
|
ClassOrInterfaceType.str
|
dryad-reclassify-type
|
n/a
|
ClassOrInterfaceType.str
|
dryad-reclassify-type
|
n/a
|
ClassOrInterfaceType.str
|
dryad-reclassify-type
|
n/a
|
ClassOrInterfaceType.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-foreach-add-conversion(Strategy rec)
|
The foreach is defined as a desugaring over the regular for; do on-the-fly desugaring to determine the required conversion
|
ForStatement.str
|
dryad-tc-name-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-name-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-name-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-name-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-name-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-name-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-name-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-name-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-name-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-search-class-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-search-class-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-search-class-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-search-class-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-search-class-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-search-class-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-search-class-of-method
|
n/a
|
StepSearch.str
|
DryadSimplify-BracketsInDeclarator
|
n/a
|
Sanity.str
|
DryadSimplify-BracketsInDeclarator
|
n/a
|
Sanity.str
|
DryadSimplify-MultipleConstantDeclarator
|
n/a
|
Sanity.str
|
DryadSimplify-MultipleFieldDeclarator
|
n/a
|
Sanity.str
|
H
|
helper-reduce-generic-constraint(Strategy s, Strategy rec, ATerm a, ATerm t)
|
Helper used for A << F and A = F
|
ConstraintReduction.str
|
I
|
identity-conversion(ATerm to)
|
n/a
|
IdentityConversion.str
|
L
|
lub-lci
|
n/a
|
Lub.str
|
lub-lci
|
n/a
|
Lub.str
|
lub-lcta
|
n/a
|
Lub.str
|
lub-lcta
|
n/a
|
Lub.str
|
M
|
MultiArgOption(Strategy is-flag, Strategy handle-value, Strategy usage)
|
Handles a command-line option that allows multiple values
|
multi-options.str
|
R
|
ReclassifyAs-ExprName-ExprName
|
n/a
|
ContextuallyAmbName.str
|
ReclassifyAs-Field-Field
|
n/a
|
ContextuallyAmbName.str
|
ReclassifyAs-Field-Field
|
n/a
|
ContextuallyAmbName.str
|
ReclassifyAs-PackageName
|
The scope of the declaration of an observable top level package is all observable compilation units
|
MeaningOfPackageOrTypeName.str
|
ReclassifyAs-PackageName-TypeName
|
n/a
|
MeaningOfPackageOrTypeName.str
|
ReclassifyAs-PackageName-TypeName
|
n/a
|
ContextuallyAmbName.str
|
ReclassifyAs-TypeName-ExprName
|
n/a
|
ContextuallyAmbName.str
|
ReclassifyAs-TypeName-TypeName
|
n/a
|
MeaningOfPackageOrTypeName.str
|
ReclassifyAs-TypeName-TypeName
|
n/a
|
ContextuallyAmbName.str
|
reduce-equal-array-constraint(Strategy rec, ATerm t)
|
If F = U[] where the type U involves Tj, then if A is an array type V[], or a type variable with an upper bound that is an array type V[], where V is a reference type, this algorithm is applied recursively to the constraint V = U
|
ConstraintReduction.str
|
reduce-equal-simple-constraint(Strategy rec, ATerm t)
|
If F is Tj, then the constraint Tj = A is implied
|
ConstraintReduction.str
|
reduce-left-right-array-constraint(Strategy rec, ATerm t)
|
If F = U[]
|
ConstraintReduction.str
|
reduce-left-right-simple-constraint(Strategy rec, ATerm t)
|
If F is Tj
|
ConstraintReduction.str
|
result-of-conversion
|
Returns the result type of this IdentityConversion
|
IdentityConversion.str
|
S
|
strip-dimensions-from-vardec
|
n/a
|
Sanity.str
|
strip-dimensions-from-vardec
|
n/a
|
Sanity.str
|
T
|
type-erasure-array-type(Strategy rec)
|
n/a
|
Erasure.str
|
type-erasure-parameterized-type(Strategy rec)
|
n/a
|
Erasure.str
|
type-erasure-parameterized-type(Strategy rec)
|
n/a
|
Erasure.str
|
type-erasure-type-variable(Strategy rec)
|
n/a
|
Erasure.str
|
type-param-to-type-variable(ATerm method)
|
n/a
|
InferringTypeArguments.str
|
types-of-conversion
|
Returns the types involved in this unchecked conversion
|
UncheckedConversion.str
|
types-of-conversion
|
Returns the types involved in this widening primitive conversion
|
WideningPrimitive.str
|
types-of-conversion
|
Returns the types involved in this conversion
|
Unboxing.str
|
types-of-conversion
|
Returns the types involved in this IdentityConversion
|
IdentityConversion.str
|
types-of-conversion
|
Returns the types involved in this conversion
|
Boxing.str
|
U
|
unboxing-conversion-of-type
|
n/a
|
Unboxing.str
|
unboxing-conversion-of-type
|
n/a
|
Unboxing.str
|
unboxing-conversion-of-type
|
n/a
|
Unboxing.str
|
unboxing-conversion-of-type
|
n/a
|
Unboxing.str
|
unboxing-conversion-of-type
|
n/a
|
Unboxing.str
|
unboxing-conversion-of-type
|
n/a
|
Unboxing.str
|
unboxing-conversion-of-type
|
n/a
|
Unboxing.str
|
unboxing-conversion-of-type
|
n/a
|
Unboxing.str
|
W
|
widening-primitive-conversions
|
n/a
|
WideningPrimitive.str
|
widening-primitive-conversions
|
n/a
|
WideningPrimitive.str
|
widening-primitive-conversions
|
n/a
|
WideningPrimitive.str
|
widening-primitive-conversions
|
n/a
|
WideningPrimitive.str
|
widening-primitive-conversions
|
n/a
|
WideningPrimitive.str
|
widening-primitive-conversions
|
n/a
|
WideningPrimitive.str
|
work-around-EBlock(Strategy rec)
|
n/a
|
Body.str
|
write-class-file
|
Serializes a Java class file to a file
|
Bridge.str
|
write-class-file(ATerm path)
|
Serializes a Java class file to a file
|
Bridge.str
|
X
|
xtc-multi-transform(ATerm tool, ATerm args)
|
n/a
|
multi-options.str
|
xtc-multi-transform(ATerm tool, ATerm args)
|
n/a
|
multi-options.str
|