Rule index (API)

[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]

Rule index


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