A
|
Abstract
|
n/a
|
Modifiers.sdf
|
abstract-multi-output(Strategy s, Strategy write-to-file, Strategy write-to-stream)
|
n/a
|
multi-options.str
|
AbstractMethodDec
|
n/a
|
AbstractMethodDeclarations.sdf
|
AbstractMethodDec
|
n/a
|
AbstractMethodDeclarations.sdf
|
AbstractMethodMod
|
n/a
|
AbstractMethodDeclarations.sdf
|
AbstractMethodMod
|
n/a
|
AbstractMethodDeclarations.sdf
|
AccessControl
|
6
|
AccessControl.str
|
ActualTypeArg
|
n/a
|
ParameterizedTypes.sdf
|
ActualTypeArg
|
n/a
|
ParameterizedTypes.sdf
|
ActualTypeArgs(ATerm )
|
n/a
|
Attributes.str
|
add-declared-member-type(ATerm class)
|
n/a
|
class.str
|
add-java-lang-imports
|
Adds the java
|
Imports.str
|
add-subpackage(ATerm name)
|
Creates a new subpackage in the current package
|
package.str
|
add-toplevel-class(ATerm class)
|
n/a
|
package.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
|
all-consnil(Strategy s)
|
Force Cons/Nil behaviour for list traversals
|
list.str
|
AmbName
|
n/a
|
Main.sdf
|
AmbName
|
n/a
|
Main.sdf
|
Anno
|
n/a
|
Annotations.sdf
|
Anno
|
n/a
|
Annotations.sdf
|
Anno
|
n/a
|
Annotations.sdf
|
AnnoDec
|
n/a
|
AnnotationTypes.sdf
|
AnnoDecHead
|
n/a
|
AnnotationTypes.sdf
|
AnnoElemDec
|
n/a
|
AnnotationTypes.sdf
|
AnnoElemDec
|
n/a
|
AnnotationTypes.sdf
|
AnnoElemDec
|
n/a
|
AnnotationTypes.sdf
|
AnnoElemDec
|
n/a
|
AnnotationTypes.sdf
|
AnnoElemDec
|
n/a
|
AnnotationTypes.sdf
|
AnnoElemDec
|
n/a
|
AnnotationTypes.sdf
|
AnnoElemDec
|
n/a
|
AnnotationTypes.sdf
|
annotate-start-line-column
|
n/a
|
components.str
|
Anonymous(ATerm )
|
n/a
|
Form.str
|
apply-capture-conversion
|
n/a
|
CaptureConversion.str
|
apply-capture-conversion
|
n/a
|
CaptureConversion.str
|
apply-capture-conversion-helper(ATerm tn)
|
n/a
|
CaptureConversion.str
|
apply-to-body-decs-of-typedec(Strategy s)
|
n/a
|
jtree.str
|
apply-to-body-decs-of-typedec(Strategy s)
|
n/a
|
jtree.str
|
apply-to-constructor-decs-of-typedec(Strategy s)
|
n/a
|
jtree.str
|
apply-to-constructors-of-classtree(Strategy s)
|
n/a
|
bytecode-class.str
|
apply-to-field-decs-of-typedec(Strategy s)
|
n/a
|
jtree.str
|
apply-to-fields-of-classtree(Strategy s)
|
n/a
|
bytecode-class.str
|
apply-to-member-type-decs-of-typedec(Strategy s)
|
n/a
|
jtree.str
|
apply-to-method-decs-of-typedec(Strategy s)
|
n/a
|
jtree.str
|
apply-to-methods-of-classtree(Strategy s)
|
n/a
|
bytecode-class.str
|
apply-to-reference(Strategy s)
|
n/a
|
reference-ast.str
|
array-class
|
n/a
|
array-class.str
|
ArrayAccess
|
n/a
|
Priorities.sdf
|
ArrayAccess
|
n/a
|
ArrayAccess.sdf
|
ArrayAccess
|
n/a
|
ArrayAccess.sdf
|
ArrayBaseType
|
n/a
|
ArrayCreation.sdf
|
ArrayBaseType
|
n/a
|
ArrayCreation.sdf
|
ArrayBaseType
|
n/a
|
ArrayCreation.sdf
|
ArrayClasses(ATerm )
|
n/a
|
array-class.str
|
ArrayCreationExpr
|
n/a
|
ArrayCreation.sdf
|
ArrayCreationExpr
|
n/a
|
ArrayCreation.sdf
|
ArrayInit
|
n/a
|
ArrayInitializers.sdf
|
ArrayInit
|
n/a
|
ArrayInitializers.sdf
|
ArraySubscript
|
n/a
|
ArrayAccess.sdf
|
ArrayType
|
n/a
|
ReferenceTypes.sdf
|
assignment-conversion(ATerm to)
|
n/a
|
AssignmentConversion.str
|
AssignmentConversion
|
5
|
AssignmentConversion.str
|
AssignmentConversion(ATerm )
|
n/a
|
AssignmentConversion.str
|
Asterisk
|
n/a
|
Comments.sdf
|
Attributes
|
Attributes of the source AST
|
Attributes.str
|
B
|
binary-numeric-promotion-of-types
|
5
|
NumericPromotions.str
|
BinaryExponent
|
n/a
|
FloatingPointLiterals.sdf
|
Block
|
n/a
|
Blocks.sdf
|
BlockCommentChars
|
n/a
|
Comments.sdf
|
BlockStm
|
n/a
|
Blocks.sdf
|
BlockStm
|
n/a
|
Blocks.sdf
|
BlockStm
|
n/a
|
Blocks.sdf
|
Body
|
n/a
|
Body.str
|
Bool
|
n/a
|
BooleanLiterals.sdf
|
Bool
|
n/a
|
BooleanLiterals.sdf
|
BoolLiteral
|
n/a
|
BooleanLiterals.sdf
|
BootObservableClasses(ATerm )
|
n/a
|
option.str
|
Boxing
|
5
|
Boxing.str
|
boxing-conversion
|
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
|
boxing-conversion-of-type
|
n/a
|
Boxing.str
|
BoxingConversion(ATerm , ATerm )
|
n/a
|
Boxing.str
|
Bridge
|
Access to Java bytecode by conversion to ATerms
|
Bridge.str
|
Bytecode
|
n/a
|
Bytecode.str
|
bytecode-class
|
Bytecode Class
|
bytecode-class.str
|
bytecode-class-qualify-type-variable(ATerm class)
|
n/a
|
Bytecode.str
|
bytecode-constructor
|
Bytecode Constructor
|
bytecode-constructor.str
|
bytecode-constructor-as-method(Strategy s)
|
Hack to reuse bytecode method code
|
bytecode-constructor.str
|
bytecode-field
|
Bytecode Field
|
bytecode-field.str
|
bytecode-method
|
Bytecode Method
|
bytecode-method.str
|
bytecode-method-qualify-type-variable(ATerm method)
|
n/a
|
Bytecode.str
|
bytecode-type-to-source-type
|
Converts a bytecode type to a source type
|
util.str
|
bytecode-type-to-source-type
|
n/a
|
util.str
|
bytecode-type-to-source-type
|
n/a
|
util.str
|
bytecode-type-to-source-type
|
n/a
|
util.str
|
bytecode-type-to-source-type
|
n/a
|
util.str
|
C
|
Canonical
|
6
|
Canonical.str
|
capture-conversion
|
Applies capture conversion if necessary
|
CaptureConversion.str
|
capture-declare-bounds(ATerm upper-bound, ATerm lower-bound)
|
n/a
|
CaptureConversion.str
|
capture-declare-lower-bound(ATerm lower-bound)
|
n/a
|
CaptureConversion.str
|
capture-declare-upper-bound(ATerm upper-bound)
|
n/a
|
CaptureConversion.str
|
capture-set-open-wildcard-bounds(ATerm class, ATerm capturedargs)
|
n/a
|
CaptureConversion.str
|
capture-wildcard
|
n/a
|
CaptureConversion.str
|
CaptureConversion
|
5
|
CaptureConversion.str
|
CapturedWildcard(ATerm )
|
n/a
|
Extensions.str
|
car
|
n/a
|
wannabe-lisp.str
|
CarriageReturn
|
n/a
|
LineTerminators.sdf
|
CastingConversion
|
5
|
CastingConversion.str
|
CatchClause
|
n/a
|
Statements.sdf
|
cdr
|
n/a
|
wannabe-lisp.str
|
CharContent
|
n/a
|
CharacterLiterals.sdf
|
CharContent
|
n/a
|
CharacterLiterals.sdf
|
CharContent
|
n/a
|
CharacterLiterals.sdf
|
CharLiteral
|
n/a
|
CharacterLiterals.sdf
|
Check
|
n/a
|
Check.str
|
check-ambnames
|
Reports an error if the compilation unit still contains ambiguous constructs
|
Check.str
|
check-parameterized-types-of-conversion
|
Checks if the chain of types involved in this conversion is ok
|
UncheckedConversion.str
|
check-qualifiers
|
Report an error if there are unqualified names left
|
Check.str
|
Class(ATerm , ATerm , ATerm )
|
Constructor for exported classes
|
classpath.str
|
class
|
Abstract class that represents a Java Class
|
class.str
|
Class(ATerm )
|
n/a
|
classes.str
|
Class-of-ClassEntry
|
n/a
|
option.str
|
ClassBody
|
n/a
|
ClassDeclarations.sdf
|
ClassBodyDec
|
n/a
|
ClassDeclarations.sdf
|
ClassBodyDec
|
n/a
|
ClassDeclarations.sdf
|
ClassBodyDec
|
n/a
|
ClassDeclarations.sdf
|
ClassBodyDec
|
n/a
|
ClassDeclarations.sdf
|
ClassDec
|
n/a
|
ClassDeclarations.sdf
|
ClassDec
|
n/a
|
ClassDeclarations.sdf
|
ClassDecHead
|
n/a
|
ClassDeclarations.sdf
|
classes
|
Support for classes
|
classes.str
|
classes_get-class
|
Gets the class for a given name
|
classes.str
|
classes_get-class-field(ATerm name)
|
n/a
|
classes.str
|
classes_get-fieldtbl
|
n/a
|
classes.str
|
classes_get-instance-field(ATerm name)
|
n/a
|
classes.str
|
classes_get-instance-field(Strategy ifnot, ATerm name)
|
n/a
|
classes.str
|
classes_instanceof(ATerm name)
|
n/a
|
classes.str
|
classes_new-instance
|
Creates a new class instance
|
classes.str
|
classes_set-instance-field(ATerm name, ATerm value)
|
n/a
|
classes.str
|
ClassFile(ATerm )
|
Constructor for the location of a bytecode
|
classpath.str
|
ClassLiteral
|
n/a
|
Primary.sdf
|
ClassLiteral
|
n/a
|
Primary.sdf
|
ClassMemberDec
|
n/a
|
ClassDeclarations.sdf
|
ClassMemberDec
|
n/a
|
ClassDeclarations.sdf
|
ClassMemberDec
|
n/a
|
ClassDeclarations.sdf
|
ClassMemberDec
|
n/a
|
ClassDeclarations.sdf
|
ClassMemberDec
|
n/a
|
ClassDeclarations.sdf
|
ClassMembers
|
n/a
|
ClassMembers.str
|
ClassMod
|
n/a
|
ClassDeclarations.sdf
|
ClassMod
|
n/a
|
ClassDeclarations.sdf
|
ClassMod
|
n/a
|
ClassDeclarations.sdf
|
ClassMod
|
n/a
|
ClassDeclarations.sdf
|
ClassMod
|
n/a
|
ClassDeclarations.sdf
|
ClassMod
|
n/a
|
ClassDeclarations.sdf
|
ClassMod
|
n/a
|
ClassDeclarations.sdf
|
ClassOrInterfaceType
|
n/a
|
ClassOrInterfaceType.str
|
ClassOrInterfaceType
|
n/a
|
ReferenceTypes.sdf
|
classpath
|
Serialized Dryad repositories
|
classpath.str
|
classtree-to-reference-ast(ATerm this)
|
n/a
|
bytecode-class.str
|
ClassType
|
n/a
|
ReferenceTypes.sdf
|
Comment
|
n/a
|
Comments.sdf
|
Comment
|
n/a
|
Comments.sdf
|
Comment
|
n/a
|
Comments.sdf
|
Comment
|
n/a
|
Comments.sdf
|
CommentPart
|
n/a
|
Comments.sdf
|
CommentPart
|
n/a
|
Comments.sdf
|
CommentPart
|
n/a
|
Comments.sdf
|
CommentPart
|
n/a
|
Comments.sdf
|
CommentPart
|
n/a
|
Comments.sdf
|
common
|
n/a
|
common.str
|
compilation-unit
|
Compilation Unit (Source)
|
compilation-unit.str
|
CompilationUnit
|
n/a
|
CompilationUnits.sdf
|
compile-time-declaration-attr
|
n/a
|
Attributes.str
|
CompileTimeDeclaration(ATerm )
|
n/a
|
Attributes.str
|
component-type-to-array-type(ATerm dims)
|
Given dimensions, constructs an array type from a component type
|
Sanity.str
|
components
|
n/a
|
components.str
|
ComponentTypeField(ATerm )
|
n/a
|
array-class.str
|
CondMid
|
n/a
|
BinaryOperators.sdf
|
consider(ATerm u)
|
n/a
|
ConstraintReduction.str
|
ConstantDec
|
n/a
|
ConstantDeclarations.sdf
|
ConstantMod
|
n/a
|
ConstantDeclarations.sdf
|
ConstantMod
|
n/a
|
ConstantDeclarations.sdf
|
ConstantMod
|
n/a
|
ConstantDeclarations.sdf
|
Constraint(ATerm , ATerm , ATerm )
|
n/a
|
Constraints.str
|
ConstraintReduction
|
15
|
ConstraintReduction.str
|
Constraints
|
15
|
Constraints.str
|
ConstrBody
|
n/a
|
ConstructorDeclarations.sdf
|
ConstrDec
|
n/a
|
ConstructorDeclarations.sdf
|
ConstrHead
|
n/a
|
ConstructorDeclarations.sdf
|
ConstrInv
|
n/a
|
ConstructorDeclarations.sdf
|
ConstrInv
|
n/a
|
ConstructorDeclarations.sdf
|
ConstrInv
|
n/a
|
ConstructorDeclarations.sdf
|
ConstrMod
|
n/a
|
ConstructorDeclarations.sdf
|
ConstrMod
|
n/a
|
ConstructorDeclarations.sdf
|
ConstrMod
|
n/a
|
ConstructorDeclarations.sdf
|
construct-long-switch
|
n/a
|
switch-options.str
|
constructor
|
Abstract Java constructor
|
constructor.str
|
ConstructorName(ATerm )
|
n/a
|
Extensions.str
|
ConstructorName(ATerm , ATerm )
|
n/a
|
Attributes.str
|
ContextuallyAmbName
|
6
|
ContextuallyAmbName.str
|
conversion
|
n/a
|
NumericPromotions.str
|
Conversions(ATerm )
|
n/a
|
Attributes.str
|
create-class
|
n/a
|
package.str
|
create-member(ATerm next)
|
n/a
|
util.str
|
create-output-list
|
n/a
|
multi-options.str
|
create-package-in(ATerm pkg)
|
n/a
|
classpath.str
|
Create-PackageName-PackageName(ATerm pkgname)
|
n/a
|
MeaningOfPackageOrTypeName.str
|
D
|
debug
|
Utility strategies for debugging and inspecting the Dryad model
|
debug.str
|
DeciFloatDigits
|
n/a
|
FloatingPointLiterals.sdf
|
DeciFloatDigits
|
n/a
|
FloatingPointLiterals.sdf
|
DeciFloatDigits
|
n/a
|
FloatingPointLiterals.sdf
|
DeciFloatExponentPart
|
n/a
|
FloatingPointLiterals.sdf
|
DeciFloatLiteral
|
n/a
|
FloatingPointLiterals.sdf
|
DeciFloatLiteral
|
n/a
|
FloatingPointLiterals.sdf
|
DeciFloatNumeral
|
n/a
|
FloatingPointLiterals.sdf
|
DeciLiteral
|
n/a
|
IntegerLiterals.sdf
|
DeciNumeral
|
n/a
|
IntegerLiterals.sdf
|
DeciNumeral
|
n/a
|
IntegerLiterals.sdf
|
Declaration(ATerm )
|
n/a
|
Attributes.str
|
declaration-attr
|
n/a
|
Attributes.str
|
declare-class-members(Strategy cont)
|
Declares class members
|
ClassMembers.str
|
declare-field-var-helper
|
n/a
|
LocalVariables.str
|
declare-formal-parameters(Strategy cont)
|
Declares formal parameters of a method declaration
|
FormalParameters.str
|
declare-formal-parameters(Strategy cont)
|
Declares formal parameters of a constructor declaration
|
FormalParameters.str
|
declare-formal-parameters(Strategy cont)
|
Declares formal catch parameters
|
FormalParameters.str
|
declare-formal-type-parameters(Strategy cont)
|
n/a
|
FormalTypeParameters.str
|
declare-imported-fields(Strategy cont)
|
Declare imported static fields
|
Imports.str
|
declare-imported-types(Strategy cont)
|
The scope of a type imported by a type import declaration is all the class and interface type declarations in the compilation unit in which the import declaration appears
|
Imports.str
|
declare-local-vardec-helper(Strategy rec)
|
n/a
|
LocalVariables.str
|
declare-local-variables(Strategy rec)
|
Declares a local variable
|
LocalVariables.str
|
declare-local-variables(Strategy rec)
|
Declares local variable of a for loop
|
LocalVariables.str
|
declare-local-variables(Strategy rec)
|
n/a
|
LocalVariables.str
|
declare-on-demand
|
n/a
|
Imports.str
|
declare-param-helper
|
n/a
|
LocalVariables.str
|
declare-single
|
n/a
|
Imports.str
|
declare-single-type
|
n/a
|
Imports.str
|
declare-type(Strategy cont)
|
n/a
|
This.str
|
declare-type-helper
|
n/a
|
Imports.str
|
declare-type-param-helper(ATerm qualifier)
|
n/a
|
FormalTypeParameters.str
|
declare-types-of-pkgdec
|
n/a
|
Imports.str
|
declare-var-helper
|
n/a
|
LocalVariables.str
|
declaring-class-attr
|
n/a
|
Attributes.str
|
DeclaringClass(ATerm )
|
n/a
|
Attributes.str
|
default-access-member-is-accessible-from(ATerm from)
|
Default access is allowed in the same package
|
AccessControl.str
|
default-dryad-attributes-of(Strategy rec)
|
Default strategy for producing the attributes of an expression
|
Main.str
|
DefaultAccess(ATerm )
|
n/a
|
Extensions.str
|
DefaultVal
|
n/a
|
AnnotationTypes.sdf
|
define-bytecode-class(ATerm location)
|
Defines the
|
classpath.str
|
define-bytecode-class-file
|
n/a
|
classpath.str
|
define-compilation-unit
|
Registers all classes of a source compilation unit in the Dryad repository
|
repository.str
|
define-jar-entries
|
Defines the classes in the specified jar file in the Dryad repository
|
classpath.str
|
define-source-files
|
Register the classes defined in a list of source files in the Dryad repository
|
repository.str
|
destroy-repository
|
n/a
|
repository.str
|
desugar-signature
|
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
|
DesugarSignature
|
n/a
|
Bridge.str
|
determine-actual-formal-parameter-types(ATerm type, ATerm invocation)
|
Determines S1
|
StepSignature.str
|
determine-actual-type-arguments(ATerm type, ATerm invocation)
|
Determines U1
|
StepSignature.str
|
determine-ASU(ATerm type, ATerm invocation)
|
n/a
|
StepSignature.str
|
determine-method-signature(ATerm type, ATerm class, ATerm fromclass)
|
n/a
|
StepSignature.str
|
determine-result-type(ATerm invtype, ATerm attrs)
|
n/a
|
StepSignature.str
|
digit-plus(Strategy c)
|
n/a
|
Form.str
|
digit-star(Strategy c)
|
n/a
|
Form.str
|
Dim
|
n/a
|
ArrayCreation.sdf
|
Dim
|
n/a
|
FieldDeclarations.sdf
|
DimExpr
|
n/a
|
ArrayCreation.sdf
|
dir-topdown(Strategy s)
|
Apply a strategy recursively to all files in a directory hierarchy
|
loader.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
|
direct-supertypes
|
Case: Class, raw or unparameterized
|
Subtyping.str
|
direct-supertypes
|
Case: Interface, raw or unparameterized
|
Subtyping.str
|
direct-supertypes
|
Case: Class, parameterized
|
Subtyping.str
|
direct-supertypes
|
Case: Interface, parameterized
|
Subtyping.str
|
direct-supertypes
|
n/a
|
Subtyping.str
|
direct-supertypes
|
n/a
|
Subtyping.str
|
direct-supertypes
|
n/a
|
Subtyping.str
|
direct-supertypes-of-class-helper(ATerm type)
|
n/a
|
Subtyping.str
|
direct-supertypes-of-interface-helper(ATerm type)
|
n/a
|
Subtyping.str
|
do
|
n/a
|
package.str
|
do-dryad-aterm2class
|
n/a
|
components.str
|
do-dryad-simplify
|
n/a
|
components.str
|
do-it
|
n/a
|
sunit.str
|
dryad
|
Main module of the Dryad Library
|
dryad.str
|
dryad-attribute(Strategy rec)
|
Attach attributes to a term
|
Main.str
|
dryad-attributes-of(Strategy rec)
|
n/a
|
LocalVarDec.str
|
dryad-collect-errors
|
n/a
|
Main.str
|
dryad-errors
|
Collect all type checker errors and report them using dryad-simple-error-report
|
Main.str
|
dryad-fetch-error
|
Innermost type error in expression
|
Main.str
|
dryad-fetch-error
|
n/a
|
Main.str
|
dryad-fetch-error
|
Foreach assignment without conversion
|
Main.str
|
dryad-front
|
n/a
|
components.str
|
dryad-if-innermost-error(Strategy ifthen)
|
Apply 'ifthen' if this is an innermost error
|
Main.str
|
dryad-if-innermost-error(Strategy ifthen, Strategy ifelse)
|
Apply 'ifthen' if this is an innermost error
|
Main.str
|
dryad-maybe-reclassify(Strategy s)
|
n/a
|
Main.str
|
dryad-reclassify
|
Reclassify header of a compilation unit
|
Main.str
|
dryad-reclassify-all-class-declarations
|
Reclasisfy this class declaration and
|
Header.str
|
dryad-reclassify-bodies
|
Reclassification of type declaration bodies
|
Body.str
|
dryad-reclassify-bodies-helper
|
n/a
|
Body.str
|
dryad-reclassify-header
|
n/a
|
Header.str
|
dryad-reclassify-header-class-declaration
|
(1) Reclassify enclosing class (2) Construct environment based on context (3) Reclassify the extends clause (4) Reclassify the superclass and superinterfaces (5) Reclassify this class
|
Header.str
|
dryad-reclassify-header-env(Strategy s)
|
Constructs the environment for reclassifying a class header
|
Header.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-reclassify-type
|
n/a
|
ClassOrInterfaceType.str
|
dryad-simple-error-report
|
n/a
|
Main.str
|
dryad-simplify-sanity
|
n/a
|
Sanity.str
|
dryad-simplify-sanity-rules
|
n/a
|
Sanity.str
|
dryad-tc-declare-field-dec(Strategy rec)
|
Util for dryad-tc-declare-fields
|
Main.str
|
dryad-tc-declare-fields(Strategy continue)
|
Declare the type of class fields for a class body
|
Main.str
|
dryad-tc-declare-local-vardec(Strategy rec)
|
Util for dryad-tc-declare-local-variables
|
Main.str
|
dryad-tc-declare-local-variables(Strategy rec)
|
Handle local vardec statement by declaring the type of the variables it declares for the tail of the list of statements in which it occurs
|
Main.str
|
dryad-tc-declare-local-variables(Strategy rec)
|
Define the type of a local variable declared in for loop
|
Main.str
|
dryad-tc-declare-param
|
n/a
|
Main.str
|
dryad-tc-declare-params(Strategy continue)
|
n/a
|
Main.str
|
dryad-tc-declare-params(Strategy continue)
|
n/a
|
Main.str
|
dryad-tc-declare-params(Strategy continue)
|
n/a
|
Main.str
|
dryad-tc-declare-this-class(Strategy continue)
|
n/a
|
Main.str
|
dryad-tc-declare-var(ATerm type)
|
Declare the type of a variable in dynamic rule 'TypeOf'
|
Main.str
|
dryad-tc-explicit-type-arguments-method
|
Return a list of explicit actual type arguments specified in the invocation
|
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-explicit-type-arguments-method
|
n/a
|
StepSearch.str
|
dryad-tc-foreach(Strategy rec)
|
Define the type of and conversions for a local variable declared in an enhanced for loop
|
ForStatement.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
|
Returns the name of the method to be invoked
|
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-name-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-search-class-of-method
|
Returns the type on which the invocation is to be performed
|
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
|
dryad-tc-search-class-of-method
|
n/a
|
StepSearch.str
|
dryad-tc-search-class-of-method
|
n/a
|
StepSearch.str
|
dryad-type-checker
|
Annotate type information on a Java compilation unit or fragment of code
|
Main.str
|
dryad-type-checker(Strategy extension)
|
n/a
|
Main.str
|
dryad-type-of(Strategy rec)
|
n/a
|
Main.str
|
dryad-type-of-num-bin-op
|
Generic implementation for determining the type of a numeric binary operator (*, /, %, +, -)
|
Main.str
|
dryad-undo-reclassify-ambnames
|
Undo the reclassification of a compilation unit
|
Undo.str
|
DryadError(ATerm , ATerm )
|
n/a
|
Main.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
|
DryadWarning(ATerm , ATerm )
|
n/a
|
Main.str
|
dump-classes(ATerm pfx)
|
Print structural information about a Class Object to stdout, each line prefixed by pfx
|
debug.str
|
dump-fields(ATerm pfx)
|
Prints all fields of a class, preceeded by a string prefix
|
debug.str
|
dump-methods(ATerm pfx)
|
Prints all methods of a class, preceeded by a string prefix
|
debug.str
|
dump-name(ATerm pfx)
|
Prints the name of a package, class, method or field to screen, preceeded by a string prefix
|
debug.str
|
dump-packages(ATerm pfx)
|
Print structural information about a Package Object to stdout, each line prefixed by pfx
|
debug.str
|
E
|
ElemVal
|
n/a
|
Annotations.sdf
|
ElemVal
|
n/a
|
Annotations.sdf
|
ElemVal
|
n/a
|
Annotations.sdf
|
ElemVal
|
n/a
|
Annotations.sdf
|
ElemVal
|
n/a
|
Annotations.sdf
|
ElemValPair
|
n/a
|
Annotations.sdf
|
EndOfFile
|
n/a
|
LineTerminators.sdf
|
EnumBody
|
n/a
|
EnumDeclarations.sdf
|
EnumBody
|
n/a
|
EnumDeclarations.sdf
|
EnumBodyDecs
|
n/a
|
EnumDeclarations.sdf
|
EnumConst
|
n/a
|
EnumDeclarations.sdf
|
EnumConstArgs
|
n/a
|
EnumDeclarations.sdf
|
EnumDec
|
n/a
|
EnumDeclarations.sdf
|
EnumDecHead
|
n/a
|
EnumDeclarations.sdf
|
EOLCommentChars
|
n/a
|
Comments.sdf
|
Equal(ATerm )
|
U = V
|
Constraints.str
|
Erasure
|
4
|
Erasure.str
|
EscapeSeq
|
n/a
|
EscapeSequences.sdf
|
EscapeSeq
|
n/a
|
EscapeSequences.sdf
|
EscChar
|
n/a
|
Comments.sdf
|
EscEscChar
|
n/a
|
Comments.sdf
|
eval-config-switch
|
n/a
|
switch-options.str
|
ExceptionType
|
n/a
|
MethodDeclarations.sdf
|
export-class
|
n/a
|
classpath.str
|
export-package
|
n/a
|
classpath.str
|
export-repository
|
Exports the current Dryad repository by constructing an ATerm that represents its content
|
classpath.str
|
Expr
|
n/a
|
UnaryOperators.sdf
|
Expr
|
n/a
|
UnaryOperators.sdf
|
Expr
|
n/a
|
UnaryOperators.sdf
|
Expr
|
n/a
|
UnaryOperators.sdf
|
Expr
|
n/a
|
UnaryOperators.sdf
|
Expr
|
n/a
|
UnaryOperators.sdf
|
Expr
|
n/a
|
UnaryOperators.sdf
|
Expr
|
n/a
|
UnaryOperators.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Priorities.sdf
|
Expr
|
n/a
|
Primary.sdf
|
Expr
|
n/a
|
Primary.sdf
|
Expr
|
n/a
|
Primary.sdf
|
Expr
|
n/a
|
Primary.sdf
|
Expr
|
n/a
|
Postfix.sdf
|
Expr
|
n/a
|
Postfix.sdf
|
Expr
|
n/a
|
Postfix.sdf
|
Expr
|
n/a
|
MethodInvocation.sdf
|
Expr
|
n/a
|
MethodInvocation.sdf
|
Expr
|
n/a
|
FieldAccess.sdf
|
Expr
|
n/a
|
ClassInstanceCreation.sdf
|
Expr
|
n/a
|
ClassInstanceCreation.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
BinaryOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
AssignmentOperators.sdf
|
Expr
|
n/a
|
ArrayCreation.sdf
|
Expr
|
n/a
|
ArrayAccess.sdf
|
ExprName
|
n/a
|
Main.sdf
|
ExprName
|
n/a
|
Main.sdf
|
ExtendsInterfaces
|
n/a
|
InterfaceDeclarations.sdf
|
Extensions
|
Extensions of the Java AST introduced by Dryad to make the meaning of constructs more clear
|
Extensions.str
|
F
|
fail-s(Strategy s)
|
n/a
|
Main.str
|
fetchcdr(Strategy s)
|
n/a
|
wannabe-lisp.str
|
fgetchars-line
|
n/a
|
classpath.str
|
fgetchars-lines(Strategy postlinehook, Strategy at-last)
|
n/a
|
classpath.str
|
fgetchars-until(Strategy pred)
|
fails if there is an immediate EOF
|
classpath.str
|
Field(ATerm )
|
n/a
|
Extensions.str
|
field
|
Abstract Java field
|
field.str
|
FieldAccess
|
n/a
|
Priorities.sdf
|
FieldAccess
|
n/a
|
FieldAccess.sdf
|
FieldAccess
|
n/a
|
FieldAccess.sdf
|
FieldAccess
|
n/a
|
FieldAccess.sdf
|
FieldAccess
|
n/a
|
FieldAccess.sdf
|
FieldDec
|
n/a
|
FieldDeclarations.sdf
|
FieldMod
|
n/a
|
FieldDeclarations.sdf
|
FieldMod
|
n/a
|
FieldDeclarations.sdf
|
FieldMod
|
n/a
|
FieldDeclarations.sdf
|
FieldMod
|
n/a
|
FieldDeclarations.sdf
|
FieldMod
|
n/a
|
FieldDeclarations.sdf
|
FieldMod
|
n/a
|
FieldDeclarations.sdf
|
FieldMod
|
n/a
|
FieldDeclarations.sdf
|
FILE(ATerm )
|
n/a
|
multi-options.str
|
fill-package(ATerm pkg)
|
n/a
|
classpath.str
|
filter-zip(Strategy s, ATerm ys)
|
n/a
|
list.str
|
Final
|
n/a
|
Modifiers.sdf
|
FloatLiteral
|
n/a
|
FloatingPointLiterals.sdf
|
FloatLiteral
|
n/a
|
FloatingPointLiterals.sdf
|
FloatType
|
n/a
|
PrimitiveTypes.sdf
|
FloatType
|
n/a
|
PrimitiveTypes.sdf
|
foldl(Strategy s, ATerm as)
|
n/a
|
list.str
|
Form
|
13
|
Form.str
|
FormalParam
|
n/a
|
MethodDeclarations.sdf
|
FormalParam
|
n/a
|
MethodDeclarations.sdf
|
FormalParameters
|
n/a
|
FormalParameters.str
|
FormalTypeParameters
|
Declare formal type parameters
|
FormalTypeParameters.str
|
ForStatement
|
14
|
ForStatement.str
|
Fresh(ATerm )
|
n/a
|
Extensions.str
|
FreshTypeVarLowerBound
|
n/a
|
CaptureConversion.str
|
FreshTypeVarUpperBound
|
Returns the list of upperbounds of a fresh type variable
|
CaptureConversion.str
|
fully-qualified-name
|
n/a
|
array-class.str
|
fully-qualified-name
|
n/a
|
array-class.str
|
G
|
GenericSignature(ATerm )
|
n/a
|
bytecode-method.str
|
get-access
|
n/a
|
source-method.str
|
get-access
|
n/a
|
source-field.str
|
get-access
|
n/a
|
source-constructor.str
|
get-access
|
n/a
|
source-class.str
|
get-access
|
Returns the access of this method
|
method.str
|
get-access
|
n/a
|
bytecode-method.str
|
get-access
|
n/a
|
bytecode-field.str
|
get-access
|
n/a
|
bytecode-constructor.str
|
get-access
|
n/a
|
bytecode-class.str
|
get-access-flags
|
n/a
|
bytecode-method.str
|
get-access-flags
|
Returns the access flags of a field
|
bytecode-field.str
|
get-access-flags
|
n/a
|
bytecode-class.str
|
get-access-of-default-constructor
|
n/a
|
source-class.str
|
get-arguments-of-invocation
|
Returns the list of arguments of a method invocation
|
StepSignature.str
|
get-arity
|
Returns the arity (number of arguments) of this method
|
source-method.str
|
get-arity
|
Returns the arity (number of arguments) of this constructor
|
source-constructor.str
|
get-arity
|
Returns the arity (number of arguments) of this method
|
bytecode-method.str
|
get-arity
|
Returns the arity (number of arguments) of this constructor
|
bytecode-constructor.str
|
get-array-class
|
Returns the array class for the given component type
|
array-class.str
|
get-array-class-hashtable
|
Returns the hashtable of array classes
|
array-class.str
|
get-ast
|
n/a
|
source-method.str
|
get-ast
|
n/a
|
source-field.str
|
get-ast
|
n/a
|
source-constructor.str
|
get-ast
|
Returns the AST of this source class
|
source-class.str
|
get-ast
|
Returns the AST of this compilation unit
|
compilation-unit.str
|
get-ast
|
n/a
|
bytecode-method.str
|
get-ast
|
n/a
|
bytecode-field.str
|
get-ast
|
n/a
|
bytecode-constructor.str
|
get-attributes
|
Returns the attributes of this bytecode method
|
bytecode-method.str
|
get-attributes
|
Returns the attributes of this bytecode field
|
bytecode-field.str
|
get-attributes
|
Returns the attributes of this bytecode class
|
bytecode-class.str
|
get-body-decs-of-typedec
|
n/a
|
jtree.str
|
get-body-decs-of-typedec
|
n/a
|
jtree.str
|
get-canonical-name
|
Returns the canonical name of this package
|
package.str
|
get-canonical-name
|
Return name that uniquely identifiers a method
|
method.str
|
get-canonical-name
|
Return name that uniquely identifiers a constructor
|
constructor.str
|
get-canonical-name
|
Returns the canonical name of this class
|
class.str
|
get-canonical-name
|
n/a
|
array-class.str
|
get-compilation-unit
|
n/a
|
source-class.str
|
get-component-type
|
Returns the component type of this array class
|
array-class.str
|
get-constructor-decs-of-typedec
|
n/a
|
jtree.str
|
get-constructors
|
Returns all constructors of this class, including superclasses
|
class.str
|
get-declared-constructor-list
|
Returns a list of the constructors declared in this class
|
class.str
|
get-declared-constructors
|
Returns a list of the constructors declared in this class
|
class.str
|
get-declared-exception-types
|
Returns a list of exceptions declared to be thrown by this method
|
source-method.str
|
get-declared-exception-types
|
Returns a list of exceptions declared to be thrown by this method
|
source-constructor.str
|
get-declared-exception-types
|
Returns a list of exceptions declared to be thrown by this method
|
bytecode-method.str
|
get-declared-exception-types
|
Returns a list of exceptions declared to be thrown by this method
|
bytecode-constructor.str
|
get-declared-field(ATerm name)
|
Returns the field 'name', which must be declared in this class
|
class.str
|
get-declared-field-table
|
Private
|
class.str
|
get-declared-fields
|
n/a
|
class.str
|
get-declared-member-type(ATerm name)
|
Returns the type 'name', which must be declared in this class
|
class.str
|
get-declared-member-type-table
|
Private
|
class.str
|
get-declared-member-types
|
Returns all the member types declared in this class
|
class.str
|
get-declared-method-table
|
Returns a hashtable of the methods declared in this class
|
class.str
|
get-declared-methods
|
Returns a list of the methods declared in this class
|
class.str
|
get-declared-methods(ATerm name)
|
Returns the methods 'name', which must be declared in this class
|
class.str
|
get-declaring-class
|
n/a
|
member.str
|
get-default-constructor
|
n/a
|
source-class.str
|
get-element-type
|
Returns the element type of this array class
|
array-class.str
|
get-enclosing-class
|
n/a
|
class.str
|
get-field(ATerm name)
|
Returns the field for the given name
|
class.str
|
get-field-decs-of-typedec
|
n/a
|
jtree.str
|
get-field-decs-of-typedec
|
n/a
|
jtree.str
|
get-fields
|
Returns all fields of this class, including those inherited from superclasses and superinterfaces
|
class.str
|
get-fields(ATerm name)
|
Returns all the visible fields with the given name
|
class.str
|
get-foreach-rhs-value
|
n/a
|
ForStatement.str
|
get-foreach-rhs-value
|
n/a
|
ForStatement.str
|
get-formal-parameter-types
|
Returns the formal parameters types of a method as source types
|
source-method.str
|
get-formal-parameter-types
|
Returns the formal parameters types of a method as source types
|
source-constructor.str
|
get-formal-parameter-types(ATerm inclass)
|
n/a
|
method.str
|
get-formal-parameter-types(ATerm intype)
|
n/a
|
method.str
|
get-formal-parameter-types
|
Returns the formal parameters types of a method as source types, considering the generic signature if it is available
|
bytecode-method.str
|
get-formal-parameter-types
|
Returns the formal parameters types of a method as source types
|
bytecode-constructor.str
|
get-formal-parameter-types-in-class(ATerm inclass)
|
Returns the formal parameter types of this method if this method is invoked as a member of the given class
|
method.str
|
get-formal-parameter-types-in-class(ATerm inclass)
|
n/a
|
constructor.str
|
get-formal-parameter-types-in-type(ATerm intype)
|
Returns the formal parameter types of this method if this method is invoked as a member of the given type
|
method.str
|
get-formal-parameter-types-in-type(ATerm intype)
|
Returns the formal parameter types of this constructor if this constructor is invoked as a member of the given type
|
constructor.str
|
get-formal-type-parameter(ATerm name)
|
Returns the type parameter of the given name, or fails if this class thus have a type parameter with this name
|
method.str
|
get-formal-type-parameter(ATerm name)
|
Returns the type parameter of the given name, or fails if this class thus have a type parameter with this name
|
class.str
|
get-formal-type-parameters
|
n/a
|
source-method.str
|
get-formal-type-parameters
|
Returns the list of formal type parameters declared by this constructor
|
source-constructor.str
|
get-formal-type-parameters
|
n/a
|
source-class.str
|
get-formal-type-parameters
|
Abstract method
|
method.str
|
get-formal-type-parameters
|
Abstract method
|
class.str
|
get-formal-type-parameters
|
Returns the list of formal parameter types of this method
|
bytecode-method.str
|
get-formal-type-parameters
|
Returns the list of formal type parameters declared by this constructor
|
bytecode-constructor.str
|
get-formal-type-parameters
|
n/a
|
bytecode-class.str
|
get-fully-qualified-name
|
Returns the full qualified name of this package
|
package.str
|
get-fully-qualified-name
|
Returns the canonical name of this class, which is a fully qualified name
|
class.str
|
get-inherited-fields
|
Returns all fields of this class that are inherited from superclasses and superinterfaces
|
class.str
|
get-inherited-fields(ATerm name)
|
Returns all fields of this class that are inherited from superclasses and superinterfaces
|
class.str
|
get-inherited-member-types
|
Returns all member types of this class that are inherited from superclasses and superinterfaces
|
class.str
|
get-inherited-member-types(ATerm name)
|
Returns all member types of this class with the given name that are inherited from superclasses and superinterfaces
|
class.str
|
get-inherited-methods
|
Returns all methods of this class that are inherited from superclasses and superinterfaces
|
class.str
|
get-inherited-methods(ATerm name)
|
Returns all methods of this class with this name that are inherited from superclasses and superinterfaces
|
class.str
|
get-jvm(ATerm classpath)
|
n/a
|
Bridge.str
|
get-location
|
n/a
|
bytecode-class.str
|
get-member-type(ATerm name)
|
Returns the member type of this class with this name
|
class.str
|
get-member-type-decs-of-typedec
|
n/a
|
jtree.str
|
get-member-type-in-class-helper(Strategy declaredgetter, Strategy resultgetter, Strategy typegetter, ATerm inclass)
|
OMG!
|
method.str
|
get-member-type-in-type-helper(Strategy getter, ATerm intype)
|
n/a
|
method.str
|
get-member-types
|
Returns all member types of this class
|
class.str
|
get-member-types(ATerm name)
|
Returns the member types of this class with this name
|
class.str
|
get-methods
|
Returns all member methods of this class
|
class.str
|
get-methods(ATerm name)
|
Returns all member methods of this class with this name
|
class.str
|
get-modifiers
|
n/a
|
source-method.str
|
get-modifiers
|
Returns the modifiers of a field
|
source-field.str
|
get-modifiers
|
Returns the modifiers of a source constructor
|
source-constructor.str
|
get-modifiers
|
n/a
|
source-class.str
|
get-name
|
Returns the MethodName of this method
|
method.str
|
get-name
|
Returns the name of this field
|
field.str
|
get-name
|
Returns the ConstructorName of this method
|
constructor.str
|
get-name
|
Returns the canonical name of this class
|
class.str
|
get-name-of-typedec
|
Returns the name of a type declaration
|
jtree.str
|
get-name-of-typedec
|
n/a
|
jtree.str
|
get-observable-classes
|
n/a
|
option.str
|
get-or-add-subpackage(ATerm name)
|
Ensures that a subpackage exists in the current package
|
package.str
|
get-or-add-subsubpackage(ATerm names)
|
Ensures that a subpackage exists in the current package
|
package.str
|
get-package
|
n/a
|
source-class.str
|
get-package
|
Returns the package of this compilation unit
|
compilation-unit.str
|
get-package
|
n/a
|
bytecode-class.str
|
get-package-name-of-compilation-unit
|
n/a
|
jtree.str
|
get-package-name-of-compilation-unit
|
n/a
|
jtree.str
|
get-package-of-compilation-unit
|
Returns the package of a compilation unit
|
jtree.str
|
get-parent-package
|
Returns the parent package
|
package.str
|
get-reference-ast
|
n/a
|
source-method.str
|
get-reference-ast
|
n/a
|
source-field.str
|
get-reference-ast
|
n/a
|
source-constructor.str
|
get-reference-ast
|
Returns the Reference AST of this source class
|
source-class.str
|
get-reference-ast
|
Returns the Reference AST from this compilation unit
|
compilation-unit.str
|
get-reference-ast
|
n/a
|
bytecode-method.str
|
get-reference-ast
|
n/a
|
bytecode-field.str
|
get-reference-ast
|
n/a
|
bytecode-constructor.str
|
get-reference-ast
|
Returns the Reference AST of this source class
|
bytecode-class.str
|
get-return-type
|
n/a
|
source-method.str
|
get-return-type(ATerm inclass)
|
n/a
|
method.str
|
get-return-type(ATerm intype)
|
n/a
|
method.str
|
get-return-type
|
Returns the return type of this method, considering the generic signature if it is available
|
bytecode-method.str
|
get-return-type-in-class(ATerm inclass)
|
Returns the return type of this method if this method is invoked as a member of the given class
|
method.str
|
get-return-type-in-type(ATerm intype)
|
Returns the return type of this method if this method is invoked as a member of the given type
|
method.str
|
get-root-package
|
Returns the root package
|
repository.str
|
get-signature
|
Returns the generic signature of this method
|
bytecode-method.str
|
get-signature
|
Returns the generic signature of this field
|
bytecode-field.str
|
get-signature
|
Returns the generic signature of this class
|
bytecode-class.str
|
get-signature-parse-table
|
n/a
|
Bridge.str
|
get-simple-name
|
Returns the simple name of this method
|
source-method.str
|
get-simple-name
|
Returns the simple name of this package
|
package.str
|
get-simple-name
|
Returns the simple name of this field
|
field.str
|
get-simple-name
|
Returns the simple name of this class
|
class.str
|
get-simple-name
|
n/a
|
bytecode-method.str
|
get-subpackage(ATerm name)
|
Returns the subpackage of the specified name
|
package.str
|
get-subpackages
|
Returns all subpackages
|
package.str
|
get-subsubpackage(ATerm names)
|
Returns the direct or indirect subpackage of the given name
|
package.str
|
get-superclass
|
Returns the super class of this class
|
class.str
|
get-superclass(ATerm intype)
|
Superclass of a parameterized types
|
class.str
|
get-superclass(ATerm intype)
|
Superclass of a raw type
|
class.str
|
get-superclass(ATerm intype)
|
Superclass of a unparameterized type
|
class.str
|
get-superclass-as-type
|
n/a
|
source-class.str
|
get-superclass-as-type
|
Returns the super class of this class as a type
|
class.str
|
get-superclass-as-type
|
Returns the super class of this class as a type
|
bytecode-class.str
|
get-superclass-as-type
|
Returns the superclass of this array class
|
array-class.str
|
get-superclass-of-typedec
|
Returns the superclass of a type declaration
|
jtree.str
|
get-superclass-type
|
n/a
|
class.str
|
get-superinterfaces
|
Returns the direct super interfaces
|
class.str
|
get-superinterfaces(ATerm intype)
|
n/a
|
class.str
|
get-superinterfaces(ATerm intype)
|
Superclass of a raw type
|
class.str
|
get-superinterfaces(ATerm intype)
|
Superclass of a unparameterized type
|
class.str
|
get-superinterfaces-as-type
|
n/a
|
source-class.str
|
get-superinterfaces-as-type
|
Returns the interfaces implemented by this class as types
|
class.str
|
get-superinterfaces-as-type
|
Returns the interfaces implemented by this class as types
|
bytecode-class.str
|
get-superinterfaces-as-type
|
Returns the interfaces implemented by this array class
|
array-class.str
|
get-superinterfaces-of-typedec
|
Returns the superinterfaces of a type declaration
|
jtree.str
|
get-superinterfaces-of-typedec
|
n/a
|
jtree.str
|
get-top-level-class
|
n/a
|
AccessControl.str
|
get-toplevel-class(ATerm name)
|
n/a
|
package.str
|
get-toplevel-classes
|
n/a
|
package.str
|
get-toplevel-classtable
|
n/a
|
package.str
|
get-type
|
n/a
|
source-field.str
|
get-type
|
Returns the type of a field
|
bytecode-field.str
|
get-type-declarations
|
n/a
|
compilation-unit.str
|
get-type-of-field(ATerm x)
|
n/a
|
jtree.str
|
get-type-of-param
|
n/a
|
jtree.str
|
get-upper-bound
|
n/a
|
Erasure.str
|
get-upper-bound
|
n/a
|
Erasure.str
|
get-vardec-of-field(ATerm x)
|
n/a
|
jtree.str
|
get-vardecid-of-field(ATerm x)
|
n/a
|
jtree.str
|
GetJVM
|
n/a
|
Bridge.str
|
H
|
has-declared-field(ATerm name)
|
Succeeds if the current class declares a field with this name
|
class.str
|
has-declared-member-type(ATerm name)
|
Succeeds if the current class declares a class with this name
|
class.str
|
has-declared-method(ATerm name)
|
Succeeds if the current class declares a method with this name
|
class.str
|
has-field(ATerm name)
|
Succeeds if the current class has a field with this name
|
class.str
|
has-formal-type-parameter(ATerm name)
|
Succeeds if this class has a type parameter of the given name
|
method.str
|
has-formal-type-parameter(ATerm name)
|
Succeeds if this class has a type parameter of the given name
|
class.str
|
has-inherited-field(ATerm name)
|
Succeeds if the current class inherits a field with this name
|
class.str
|
has-inherited-member-type(ATerm name)
|
Succeeds if the current class inherits a member type with this name
|
class.str
|
has-inherited-method(ATerm name)
|
Succeeds if the current class inherits a method with this name
|
class.str
|
has-member-type(ATerm name)
|
Succeeds if this has a member type with the given name
|
class.str
|
has-method(ATerm name)
|
Succeeds if this has a member method with the given name
|
class.str
|
has-subpackage(ATerm name)
|
Succeeds if this package has a subpackage 'name'
|
package.str
|
has-toplevel-class(ATerm name)
|
Succeeds if this package has a toplevel class of the specified name
|
package.str
|
HasBeenReclassified
|
n/a
|
Main.str
|
hash-table
|
Possible extensions of the Stratego Library Hashtable strategies
|
hash-table.str
|
hashtable-get(Strategy ifnot, ATerm key)
|
n/a
|
hash-table.str
|
hashtable-push-existing(ATerm key, ATerm value)
|
Avoid the choice operator in hashtable push if we know that we key exists
|
hash-table.str
|
have-subtype-relation(ATerm t1, ATerm t2)
|
Checks if the two type arguments have a subtype relation
|
Subtyping.str
|
Header
|
6
|
Header.str
|
helper-reduce-generic-constraint(Strategy s, Strategy rec, ATerm a, ATerm t)
|
Helper used for A << F and A = F
|
ConstraintReduction.str
|
HexaFloatLiteral
|
n/a
|
FloatingPointLiterals.sdf
|
HexaFloatNumeral
|
n/a
|
FloatingPointLiterals.sdf
|
HexaLiteral
|
n/a
|
IntegerLiterals.sdf
|
HexaNumeral
|
n/a
|
IntegerLiterals.sdf
|
HexaSignificand
|
n/a
|
FloatingPointLiterals.sdf
|
HexaSignificand
|
n/a
|
FloatingPointLiterals.sdf
|
HexaSignificand
|
n/a
|
FloatingPointLiterals.sdf
|
I
|
Id
|
n/a
|
Identifiers.sdf
|
ID
|
n/a
|
Identifiers.sdf
|
ID
|
n/a
|
Identifiers.sdf
|
ID
|
n/a
|
Identifiers.sdf
|
ID
|
n/a
|
Identifiers.sdf
|
ID
|
n/a
|
Identifiers.sdf
|
identify-potentially-applicable-methods(ATerm class, ATerm fromclass)
|
n/a
|
StepSignature.str
|
identity-conversion(ATerm to)
|
n/a
|
IdentityConversion.str
|
identity-conversion
|
n/a
|
IdentityConversion.str
|
IdentityConversion
|
5
|
IdentityConversion.str
|
IdentityConversion(ATerm )
|
n/a
|
IdentityConversion.str
|
if-signature(Strategy then, Strategy else)
|
n/a
|
bytecode-method.str
|
if-switch(Strategy switch, Strategy s)
|
Applies s if the given switch is on
|
switch-options.str
|
import-observable-classes
|
n/a
|
option.str
|
import-observable-classes-entry
|
n/a
|
option.str
|
import-repository
|
Imports a serialized Dryad repository by registering a package, its subpackages and all classes in the Dryad repository
|
classpath.str
|
ImportDec
|
n/a
|
ImportDeclarations.sdf
|
ImportDec
|
n/a
|
ImportDeclarations.sdf
|
ImportDec
|
n/a
|
ImportDeclarations.sdf
|
ImportDec
|
n/a
|
ImportDeclarations.sdf
|
Imports
|
Declare import declarations
|
Imports.str
|
infer-type-arguments(ATerm initial-constraints)
|
Given a list of initial constraints, infers the type arguments for all formal type parameters of the method
|
InferringTypeArguments.str
|
infer-type-arguments-from-constraints(ATerm tvs)
|
n/a
|
InferringTypeArguments.str
|
infer-unresolved-type-arguments
|
n/a
|
InferringTypeArguments.str
|
InferringTypeArguments
|
15
|
InferringTypeArguments.str
|
init-declared-constructor-list
|
Must be implemented by subclasses
|
class.str
|
init-declared-constructor-list
|
Default implementation (not required to use this)
|
class.str
|
init-declared-constructor-list
|
Initializes the declared constructors list of the array class
|
array-class.str
|
init-declared-field-table
|
Abstract strategy
|
class.str
|
init-declared-field-table
|
Default implementation of init-declared-field-table, which requires the subclass to implement init-get-declared-field-list
|
class.str
|
init-declared-field-table
|
Initializes the field table of an array class
|
array-class.str
|
init-declared-member-type-table
|
Initializes the declared member classes table of a source class
|
source-class.str
|
init-declared-member-type-table
|
Should be overridden by a subclass
|
class.str
|
init-declared-member-type-table
|
n/a
|
bytecode-class.str
|
init-declared-method-table
|
Abstract strategy
|
class.str
|
init-declared-method-table
|
Default implementation
|
class.str
|
init-declared-method-table
|
Initializes the declared method table of an array class
|
array-class.str
|
init-get-declared-constructor-list
|
Initializes the declared constructors list of the source class
|
source-class.str
|
init-get-declared-constructor-list
|
Initializes the declared constructors list of a bytecode class
|
bytecode-class.str
|
init-get-declared-field-list
|
Initializes the field table of a source class
|
source-class.str
|
init-get-declared-field-list
|
Abstract strategy
|
class.str
|
init-get-declared-field-list
|
Initializes the field table of a bytecode class
|
bytecode-class.str
|
init-get-declared-method-list
|
Initializes the declared method table of a source class
|
source-class.str
|
init-get-declared-method-list
|
n/a
|
class.str
|
init-get-declared-method-list
|
Initializes the declared method table of a bytecode class
|
bytecode-class.str
|
init-root-package
|
Initializes the root package object
|
repository.str
|
init-toplevel-bytecode-classes
|
n/a
|
package.str
|
Instance(ATerm , ATerm )
|
n/a
|
classes.str
|
InstanceInit
|
n/a
|
InstanceInitializers.sdf
|
instanceof-JavaArrayClass
|
Succeeds if the current term is an instance of a Java array class
|
array-class.str
|
instanceof-JavaBytecodeClass
|
Succeeds if this is a BytecodeClass Object
|
bytecode-class.str
|
instanceof-JavaBytecodeConstructor
|
Succeeds if the current term is an instance of Java bytecode constructor
|
bytecode-constructor.str
|
instanceof-JavaBytecodeField
|
Succeeds if the current term is an instance of Java bytecode method
|
bytecode-field.str
|
instanceof-JavaBytecodeMethod
|
Succeeds if the current term is an instance of Java bytecode method
|
bytecode-method.str
|
instanceof-JavaClass
|
Succeeds if the current term is an instance of a Java class
|
source-class.str
|
instanceof-JavaClass
|
Checks if current term is an instance of JavaClass
|
class.str
|
instanceof-JavaClass
|
A BytecodeClass Object is a Class Object
|
bytecode-class.str
|
instanceof-JavaClass
|
Succeeds if the current term is an instance of a Java class
|
array-class.str
|
instanceof-JavaCompilationUnit
|
Succeeds if the current term is an instance of Java compilation unit
|
compilation-unit.str
|
instanceof-JavaConstructor
|
Succeeds if the current term is an instance of a Java constructor
|
source-constructor.str
|
instanceof-JavaConstructor
|
Succeeds if the current term is an instance of a Java constructor
|
constructor.str
|
instanceof-JavaConstructor
|
Succeeds if the current term is an instance of a Java constructor
|
bytecode-constructor.str
|
instanceof-JavaField
|
Succeeds if the current term is an instance of a Java field
|
source-field.str
|
instanceof-JavaField
|
Succeeds if the current term is an instance of a field
|
field.str
|
instanceof-JavaField
|
Succeeds if the current term is an instance of a Java field
|
bytecode-field.str
|
instanceof-JavaMember
|
Every Java method is a Java member
|
method.str
|
instanceof-JavaMember
|
Succeeds if the current term is a member
|
member.str
|
instanceof-JavaMember
|
Every Java field is a Java member
|
field.str
|
instanceof-JavaMember
|
Every Java constructor is a Java member
|
constructor.str
|
instanceof-JavaMember
|
Succeeds if the current term is an instance of a Java member
|
class.str
|
instanceof-JavaMethod
|
Succeeds if the current term is an instance of a Java method
|
source-method.str
|
instanceof-JavaMethod
|
Checks if current term is an instance of JavaClass
|
method.str
|
instanceof-JavaMethod
|
Succeeds if the current term is an instance of a Java method
|
bytecode-method.str
|
instanceof-JavaPackage
|
n/a
|
package.str
|
instanceof-JavaSourceClass
|
Succeeds if the current term is an instance of Java source class
|
source-class.str
|
instanceof-JavaSourceConstructor
|
Succeeds if the current term is an instance of Java source constructor
|
source-constructor.str
|
instanceof-JavaSourceField
|
Succeeds if the current term is an instance of Java source field
|
source-field.str
|
instanceof-JavaSourceMethod
|
Succeeds if the current term is an instance of Java source method
|
source-method.str
|
InterfaceDec
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceDec
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceDecHead
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMemberDec
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMemberDec
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMemberDec
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMemberDec
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMemberDec
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMod
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMod
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMod
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMod
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMod
|
n/a
|
InterfaceDeclarations.sdf
|
InterfaceMod
|
n/a
|
InterfaceDeclarations.sdf
|
Interfaces
|
n/a
|
ClassDeclarations.sdf
|
InterfaceType
|
n/a
|
ReferenceTypes.sdf
|
IntersectionType(ATerm )
|
n/a
|
Extensions.str
|
IntLiteral
|
n/a
|
IntegerLiterals.sdf
|
IntLiteral
|
n/a
|
IntegerLiterals.sdf
|
IntLiteral
|
n/a
|
IntegerLiterals.sdf
|
IntType
|
n/a
|
PrimitiveTypes.sdf
|
IntType
|
n/a
|
PrimitiveTypes.sdf
|
IntType
|
n/a
|
PrimitiveTypes.sdf
|
IntType
|
n/a
|
PrimitiveTypes.sdf
|
IntType
|
n/a
|
PrimitiveTypes.sdf
|
involves-typevar
|
n/a
|
ConstraintReduction.str
|
is-accessible-from(ATerm from)
|
A package is always accessible
|
AccessControl.str
|
is-accessible-from(ATerm from)
|
Public top level classes are accessible
|
AccessControl.str
|
is-accessible-from(ATerm from)
|
Top level classes with default access are only accessible in the same package
|
AccessControl.str
|
is-accessible-from(ATerm from)
|
Array class is accessible if its element type is accessible
|
AccessControl.str
|
is-accessible-from(ATerm from)
|
n/a
|
AccessControl.str
|
is-accessible-from(ATerm to, ATerm from)
|
n/a
|
AccessControl.str
|
is-accessible-from(ATerm from)
|
n/a
|
AccessControl.str
|
is-ambiguous-construct
|
Succeeds if the current term is in any way ambiguous
|
Check.str
|
is-anonymous-class
|
n/a
|
class.str
|
is-applicable-method-by-method-invocation-conversion(ATerm type, ATerm invocation)
|
n/a
|
StepSignature.str
|
is-applicable-method-by-method-invocation-conversion(ATerm A, ATerm S, ATerm U)
|
n/a
|
StepSignature.str
|
is-applicable-method-by-subtyping(ATerm type, ATerm invocation)
|
Succeeds if this method is applicable by subtyping
|
StepSignature.str
|
is-applicable-method-by-subtyping(ATerm A, ATerm S, ATerm U)
|
n/a
|
StepSignature.str
|
is-applicable-variable-arity-method
|
n/a
|
StepSignature.str
|
is-array-class
|
Succeeds if this class represents an array class
|
array-class.str
|
is-assignment-convertable(ATerm to)
|
Checks if the current type is assignment convertable to type to
|
AssignmentConversion.str
|
is-casting-convertable(ATerm to)
|
Primitive type
|
CastingConversion.str
|
is-casting-convertable(ATerm to)
|
Reference Type
|
CastingConversion.str
|
is-casting-convertable(ATerm to)
|
Null can be cast to any reference type
|
CastingConversion.str
|
is-chosen-method-appropiate
|
n/a
|
StepAppropriate.str
|
is-class-init-method
|
n/a
|
jtree.str
|
is-class-init-method
|
Succeeds if this is a class initialization method (static initializer)
|
util.str
|
is-convertible-to-boolean-type
|
n/a
|
Unboxing.str
|
is-convertible-to-boolean-type
|
n/a
|
Unboxing.str
|
is-convertible-to-integral-type
|
n/a
|
Unboxing.str
|
is-convertible-to-integral-type
|
n/a
|
Unboxing.str
|
is-convertible-to-numeric-type
|
n/a
|
Unboxing.str
|
is-convertible-to-numeric-type
|
n/a
|
Unboxing.str
|
is-digit
|
n/a
|
Form.str
|
is-fixed-arity-constructor
|
Succeeds if this constructor does not take a variable number of arguments
|
constructor.str
|
is-fixed-arity-method
|
Succeeds if this method does not take a variable number of arguments
|
method.str
|
is-float-literal
|
Succeeds if this is a float literal (ends with f or F)
|
jtree.str
|
is-floating-point-literal
|
Succeeds if this is a float or double literal
|
jtree.str
|
is-floating-point-type
|
n/a
|
Primitive.str
|
is-generic
|
Succeeds if this is a generic method (i
|
method.str
|
is-generic
|
Succeeds if this is a generic class (i
|
class.str
|
is-identity-convertable(ATerm to)
|
Succeeds if the type is convertable to the argument type by identity conversion
|
IdentityConversion.str
|
is-instance-init-method
|
Succeeds if this is an instance initialization method (constructor)
|
jtree.str
|
is-instance-init-method
|
Succeeds if this is an instance initialization method (constructor)
|
util.str
|
is-integer-literal
|
Succeeds if this is an integer literal (Long or Int)
|
jtree.str
|
is-integer-literal
|
n/a
|
jtree.str
|
is-integer-literal
|
n/a
|
jtree.str
|
is-integral-type
|
n/a
|
Primitive.str
|
is-interface
|
Succeeds if this class is an interface
|
source-class.str
|
is-interface
|
Succeeds if this class is an interface
|
bytecode-class.str
|
is-interface
|
Succeeds if this class is an interface
|
array-class.str
|
is-local-class
|
n/a
|
class.str
|
is-long-literal
|
Succeeds if this is a long literal
|
jtree.str
|
is-member-type
|
Succeeds if this class is a member of an enclosing class
|
class.str
|
is-method-invocation-convertable(ATerm to)
|
Checks if the current type is method invocation convertable to type 'to'
|
MethodInvocationConversion.str
|
is-more-specific(ATerm m2)
|
Succeeds if m1 is more specific than m2
|
StepSignature.str
|
is-narrowing-primitive-convertable(ATerm t)
|
n/a
|
NarrowingPrimitive.str
|
is-narrowing-primitive-convertable(ATerm t)
|
n/a
|
NarrowingPrimitive.str
|
is-narrowing-primitive-convertable(ATerm t)
|
n/a
|
NarrowingPrimitive.str
|
is-narrowing-primitive-convertable(ATerm t)
|
n/a
|
NarrowingPrimitive.str
|
is-narrowing-primitive-convertable(ATerm t)
|
n/a
|
NarrowingPrimitive.str
|
is-narrowing-primitive-convertable(ATerm t)
|
n/a
|
NarrowingPrimitive.str
|
is-narrowing-reference-convertable(ATerm t)
|
n/a
|
NarrowingReference.str
|
is-narrowing-reference-convertable(ATerm to)
|
n/a
|
NarrowingReference.str
|
is-narrowing-reference-convertable(ATerm to)
|
n/a
|
NarrowingReference.str
|
is-narrowing-reference-convertable(ATerm to)
|
n/a
|
NarrowingReference.str
|
is-narrowing-reference-convertable(ATerm to)
|
n/a
|
NarrowingReference.str
|
is-narrowing-reference-convertable(ATerm to)
|
n/a
|
NarrowingReference.str
|
is-narrowing-reference-convertable(ATerm to)
|
n/a
|
NarrowingReference.str
|
is-nested-class
|
Succeeds if this is a nested class
|
class.str
|
is-not-inherited(ATerm inclass)
|
Private methods are not inherited
|
class.str
|
is-not-inherited(ATerm inclass)
|
Hidden fields are not inherited
|
class.str
|
is-not-inherited(ATerm inclass)
|
Hidden member types are not inherited
|
class.str
|
is-not-inherited(ATerm inclass)
|
Members with default access are not inherited into classes defined in a different package
|
class.str
|
is-numeric-type
|
n/a
|
Primitive.str
|
is-package-observable
|
Checks if the specified PackageName exists as a package in the repository
|
repository.str
|
is-parameterized-type
|
n/a
|
Parameterized.str
|
is-parameterized-type
|
n/a
|
Parameterized.str
|
is-primitive-type
|
n/a
|
Primitive.str
|
is-private
|
n/a
|
member.str
|
is-proper-subtype(ATerm type)
|
n/a
|
Subtyping.str
|
is-proper-supertype(ATerm of)
|
Checks if the current term is a proper supertype of the specified type
|
Subtyping.str
|
is-protected
|
n/a
|
member.str
|
is-public
|
n/a
|
member.str
|
is-raw-type
|
n/a
|
Raw.str
|
is-raw-type
|
n/a
|
Raw.str
|
is-raw-type
|
n/a
|
Raw.str
|
is-reference-type
|
n/a
|
Reference.str
|
is-reifiable-type
|
Refers to a non-generic type declaration
|
Reifiable.str
|
is-reifiable-type
|
Parameterized type in which all type arguments are unbounded wildcards
|
Reifiable.str
|
is-reifiable-type
|
n/a
|
Reifiable.str
|
is-reifiable-type
|
n/a
|
Reifiable.str
|
is-reifiable-type
|
Raw type
|
Reifiable.str
|
is-reifiable-type
|
Array type whose component type is reifiable
|
Reifiable.str
|
is-root-package
|
Succeeds if this is the root package
|
package.str
|
is-static
|
Succeeds if a method is static
|
source-method.str
|
is-static
|
Succeeds if a field is static
|
source-field.str
|
is-static
|
Succeeds if the class is a static (inner) class
|
source-class.str
|
is-static
|
Succeeds if a method is static
|
bytecode-method.str
|
is-static
|
Succeeds if a field is static
|
bytecode-field.str
|
is-strictly-more-specific(ATerm m2)
|
Succeeds if m1 is strictly more specific than m2
|
StepSignature.str
|
is-subclass(ATerm class)
|
Succeeds if this class is subclass of the given class
|
class.str
|
is-subpackage(ATerm name)
|
Alias of has-subpackage
|
package.str
|
is-subsubpackage(ATerm names)
|
n/a
|
package.str
|
is-subtype(ATerm type)
|
Checks if the current term is a subtype of the specified type
|
Subtyping.str
|
is-subtype(ATerm type)
|
The special Null type is a subtype of every type
|
Subtyping.str
|
is-top-level-class
|
Succeeds if this is a top level class
|
class.str
|
is-type-expression
|
n/a
|
Lub.str
|
is-type-name
|
n/a
|
Main.str
|
is-unqualified-name
|
n/a
|
Check.str
|
is-variable-arity-constructor
|
Succeeds if this constructor takes a variable number of arguments
|
source-constructor.str
|
is-variable-arity-constructor
|
Succeeds if this constructor takes a variable number of arguments
|
bytecode-constructor.str
|
is-variable-arity-method
|
Succeeds if this method takes a variable number of arguments
|
source-method.str
|
is-variable-arity-method
|
Succeeds if this method takes a variable number of arguments
|
bytecode-method.str
|
is-variable-arity-param
|
Succeeds if this FormalParam has a variable arity
|
source-method.str
|
is-widening-primitive-convertable(ATerm to)
|
Checks if the type (current term) is convertable to type t by a widening primitive conversion
|
WideningPrimitive.str
|
is-widening-reference-convertable(ATerm t)
|
Checks if the current type is convertable to t by a widening conversion
|
WideningReference.str
|
IsBeingReclassified
|
n/a
|
Main.str
|
iset-remove-all(Strategy s)
|
Removes all elements from set that satisfy s
|
Lub.str
|
J
|
Jar(ATerm , ATerm )
|
Constructor for the location of a class file in a jar
|
classpath.str
|
Java-15
|
n/a
|
Java-15.sdf
|
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
|
JavaCompilationUnit-15
|
n/a
|
JavaCompilationUnit-15.sdf
|
JavaLangTypeName(ATerm s)
|
n/a
|
jtree-overlays.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
|
jtree
|
Utils for Java Abstract Syntax Trees
|
jtree.str
|
jtree-overlays
|
n/a
|
jtree-overlays.str
|
K
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Keyword
|
n/a
|
Keywords.sdf
|
Kinds
|
5
|
Kinds.str
|
L
|
languages/java-15/arrays/ArrayInitializers
|
n/a
|
ArrayInitializers.sdf
|
languages/java-15/arrays/Main
|
n/a
|
Main.sdf
|
languages/java-15/classes/ClassDeclarations
|
n/a
|
ClassDeclarations.sdf
|
languages/java-15/classes/ConstructorDeclarations
|
n/a
|
ConstructorDeclarations.sdf
|
languages/java-15/classes/EnumDeclarations
|
n/a
|
EnumDeclarations.sdf
|
languages/java-15/classes/FieldDeclarations
|
n/a
|
FieldDeclarations.sdf
|
languages/java-15/classes/InstanceInitializers
|
n/a
|
InstanceInitializers.sdf
|
languages/java-15/classes/Main
|
n/a
|
Main.sdf
|
languages/java-15/classes/MethodDeclarations
|
n/a
|
MethodDeclarations.sdf
|
languages/java-15/classes/StaticInitializers
|
n/a
|
StaticInitializers.sdf
|
languages/java-15/expressions/ArrayAccess
|
n/a
|
ArrayAccess.sdf
|
languages/java-15/expressions/ArrayCreation
|
n/a
|
ArrayCreation.sdf
|
languages/java-15/expressions/AssignmentOperators
|
n/a
|
AssignmentOperators.sdf
|
languages/java-15/expressions/BinaryOperators
|
n/a
|
BinaryOperators.sdf
|
languages/java-15/expressions/ClassInstanceCreation
|
n/a
|
ClassInstanceCreation.sdf
|
languages/java-15/expressions/FieldAccess
|
n/a
|
FieldAccess.sdf
|
languages/java-15/expressions/Main
|
n/a
|
Main.sdf
|
languages/java-15/expressions/MethodInvocation
|
n/a
|
MethodInvocation.sdf
|
languages/java-15/expressions/Postfix
|
n/a
|
Postfix.sdf
|
languages/java-15/expressions/Primary
|
n/a
|
Primary.sdf
|
languages/java-15/expressions/Priorities
|
n/a
|
Priorities.sdf
|
languages/java-15/expressions/Restrictions
|
n/a
|
Restrictions.sdf
|
languages/java-15/expressions/UnaryOperators
|
n/a
|
UnaryOperators.sdf
|
languages/java-15/interfaces/AbstractMethodDeclarations
|
n/a
|
AbstractMethodDeclarations.sdf
|
languages/java-15/interfaces/Annotations
|
n/a
|
Annotations.sdf
|
languages/java-15/interfaces/AnnotationTypes
|
n/a
|
AnnotationTypes.sdf
|
languages/java-15/interfaces/ConstantDeclarations
|
n/a
|
ConstantDeclarations.sdf
|
languages/java-15/interfaces/InterfaceDeclarations
|
n/a
|
InterfaceDeclarations.sdf
|
languages/java-15/interfaces/Main
|
n/a
|
Main.sdf
|
languages/java-15/JavaMix
|
n/a
|
JavaMix.sdf
|
languages/java-15/lexical/Comments
|
n/a
|
Comments.sdf
|
languages/java-15/lexical/Identifiers
|
n/a
|
Identifiers.sdf
|
languages/java-15/lexical/Keywords
|
n/a
|
Keywords.sdf
|
languages/java-15/lexical/LineTerminators
|
n/a
|
LineTerminators.sdf
|
languages/java-15/lexical/literals/BooleanLiterals
|
n/a
|
BooleanLiterals.sdf
|
languages/java-15/lexical/literals/CharacterLiterals
|
n/a
|
CharacterLiterals.sdf
|
languages/java-15/lexical/literals/EscapeSequences
|
n/a
|
EscapeSequences.sdf
|
languages/java-15/lexical/literals/FloatingPointLiterals
|
n/a
|
FloatingPointLiterals.sdf
|
languages/java-15/lexical/literals/IntegerLiterals
|
n/a
|
IntegerLiterals.sdf
|
languages/java-15/lexical/literals/Main
|
n/a
|
Main.sdf
|
languages/java-15/lexical/literals/NullLiteral
|
n/a
|
NullLiteral.sdf
|
languages/java-15/lexical/literals/StringLiterals
|
n/a
|
StringLiterals.sdf
|
languages/java-15/lexical/Main
|
n/a
|
Main.sdf
|
languages/java-15/lexical/Modifiers
|
n/a
|
Modifiers.sdf
|
languages/java-15/lexical/UnicodeEscapes
|
n/a
|
UnicodeEscapes.sdf
|
languages/java-15/lexical/WhiteSpace
|
n/a
|
WhiteSpace.sdf
|
languages/java-15/Main
|
n/a
|
Main.sdf
|
languages/java-15/names/Main
|
n/a
|
Main.sdf
|
languages/java-15/packages/CompilationUnits
|
n/a
|
CompilationUnits.sdf
|
languages/java-15/packages/ImportDeclarations
|
n/a
|
ImportDeclarations.sdf
|
languages/java-15/packages/Main
|
n/a
|
Main.sdf
|
languages/java-15/packages/PackageDeclarations
|
n/a
|
PackageDeclarations.sdf
|
languages/java-15/packages/TypeDeclarations
|
n/a
|
TypeDeclarations.sdf
|
languages/java-15/statements/Blocks
|
n/a
|
Blocks.sdf
|
languages/java-15/statements/LocalVariableDeclarations
|
n/a
|
LocalVariableDeclarations.sdf
|
languages/java-15/statements/Main
|
n/a
|
Main.sdf
|
languages/java-15/statements/Statements
|
n/a
|
Statements.sdf
|
languages/java-15/types/Main
|
n/a
|
Main.sdf
|
languages/java-15/types/ParameterizedTypes
|
n/a
|
ParameterizedTypes.sdf
|
languages/java-15/types/PrimitiveTypes
|
n/a
|
PrimitiveTypes.sdf
|
languages/java-15/types/ReferenceTypes
|
n/a
|
ReferenceTypes.sdf
|
languages/java-15/types/TypeVariables
|
n/a
|
TypeVariables.sdf
|
languages/java/JavaMix
|
n/a
|
JavaMix.sdf
|
LastOcta
|
n/a
|
EscapeSequences.sdf
|
LeftRightConvertible(ATerm )
|
Type U is convertible to type V by method invocation conversion
|
Constraints.str
|
LHS
|
n/a
|
AssignmentOperators.sdf
|
LHS
|
n/a
|
AssignmentOperators.sdf
|
LHS
|
n/a
|
AssignmentOperators.sdf
|
LineTerminator
|
n/a
|
LineTerminators.sdf
|
LineTerminator
|
n/a
|
LineTerminators.sdf
|
LineTerminator
|
n/a
|
LineTerminators.sdf
|
LineTerminator
|
n/a
|
LineTerminators.sdf
|
list
|
n/a
|
list.str
|
Literal
|
n/a
|
Primary.sdf
|
Literal
|
n/a
|
Primary.sdf
|
Literal
|
n/a
|
Primary.sdf
|
Literal
|
n/a
|
Primary.sdf
|
Literal
|
n/a
|
Primary.sdf
|
Literal
|
n/a
|
Primary.sdf
|
Literal
|
n/a
|
Primary.sdf
|
load-all-class-files
|
Load all
|
loader.str
|
load-all-source-files
|
Load all
|
loader.str
|
load-all-x-files(ATerm ext)
|
n/a
|
loader.str
|
loader
|
Utility strategies for navigating and loading classfiles from directory hierarchies
|
loader.str
|
Local(ATerm )
|
n/a
|
Form.str
|
local-or-anonymous
|
n/a
|
Form.str
|
LocalVarDec
|
14
|
LocalVarDec.str
|
LocalVarDec
|
n/a
|
LocalVariableDeclarations.sdf
|
LocalVarDecStm
|
n/a
|
LocalVariableDeclarations.sdf
|
LocalVariables
|
Declare local variables
|
LocalVariables.str
|
log
|
n/a
|
log.str
|
log-lookup-class
|
Looks up the class object for the given TypeName or Type and logs an error if is not available
|
repository.str
|
log-lookup-package
|
Looks up the package object and logs an error if is not available
|
repository.str
|
log-timed(Strategy s, ATerm msg, ATerm level)
|
n/a
|
log.str
|
lookup-class
|
Looks up the class object for the given TypeName
|
repository.str
|
lookup-class
|
Looks up the class object for the given TypeName
|
repository.str
|
lookup-class
|
Looks up the class object for the given class type
|
repository.str
|
lookup-class
|
Looks up the class object for the given interface type
|
repository.str
|
lookup-class
|
Looks up the class object for the given array type
|
repository.str
|
lookup-constructor
|
Lookup a constructor by its canonical name
|
repository.str
|
lookup-method
|
Lookup a method by its canonical name
|
repository.str
|
lookup-or-add-package
|
Looks up or adds the package object for a given PackageName
|
repository.str
|
lookup-or-add-package
|
Looks up or adds the package object for a given list of strings
|
repository.str
|
lookup-package
|
Looks up the package object for a given PackageName
|
repository.str
|
lookup-package
|
Looks up the package object for a given list of strings
|
repository.str
|
lookup-type-parameter
|
n/a
|
repository.str
|
lookup-type-parameter
|
n/a
|
repository.str
|
LookupTypeVar
|
n/a
|
method.str
|
LookupTypeVar
|
n/a
|
Parameterized.str
|
Loose(ATerm )
|
n/a
|
option.str
|
loose-option
|
n/a
|
option.str
|
Lub
|
15
|
Lub.str
|
lub
|
n/a
|
Lub.str
|
lub-Candidate(ATerm supertypes)
|
n/a
|
Lub.str
|
lub-CandidateInvocation(ATerm supertypes)
|
n/a
|
Lub.str
|
lub-Inv(ATerm supertypes)
|
n/a
|
Lub.str
|
lub-lci
|
n/a
|
Lub.str
|
lub-lci
|
n/a
|
Lub.str
|
lub-lci
|
n/a
|
Lub.str
|
lub-lci
|
n/a
|
Lub.str
|
lub-lcta
|
n/a
|
Lub.str
|
lub-lcta
|
n/a
|
Lub.str
|
lub-MEC
|
n/a
|
Lub.str
|
lub-ST-EST(ATerm st, ATerm est)
|
Returns the set of (erased) super types (ST and EST)
|
Lub.str
|
lub-ST-MEC
|
n/a
|
Lub.str
|
M
|
Main
|
Main strategy of the Dryad type checker
|
Main.str
|
Main
|
6
|
Main.str
|
Main
|
Names
|
Main.str
|
Main
|
Types
|
Main.str
|
Main
|
Report the errors of a Java CompilationUnit
|
Main.str
|
mapcan(Strategy f)
|
n/a
|
wannabe-lisp.str
|
mapcar(Strategy s)
|
n/a
|
wannabe-lisp.str
|
mapcdr(Strategy s)
|
n/a
|
wannabe-lisp.str
|
maybe-exit
|
n/a
|
option.str
|
maybe-exit(ATerm msg)
|
n/a
|
option.str
|
maybe-unchecked-conversion(ATerm to)
|
n/a
|
UncheckedConversion.str
|
MeaningOfExpressionNames
|
6
|
MeaningOfExpressionNames.str
|
MeaningOfPackageOrTypeName
|
6
|
MeaningOfPackageOrTypeName.str
|
member
|
Abstract class for Java members (field, constructor, method)
|
member.str
|
member
|
n/a
|
Form.str
|
Member(ATerm )
|
n/a
|
Form.str
|
method
|
Abstract Java Method
|
method.str
|
method-invocation-conversion(ATerm to)
|
Construct the method invocation from the current type to type 'to'
|
MethodInvocationConversion.str
|
MethodBody
|
n/a
|
MethodDeclarations.sdf
|
MethodBody
|
n/a
|
MethodDeclarations.sdf
|
MethodDec
|
n/a
|
MethodDeclarations.sdf
|
MethodDecHead
|
n/a
|
MethodDeclarations.sdf
|
MethodDecHead
|
n/a
|
MethodDeclarations.sdf
|
MethodInvocationConversion
|
5
|
MethodInvocationConversion.str
|
MethodInvocationConversion(ATerm )
|
n/a
|
MethodInvocationConversion.str
|
MethodMod
|
n/a
|
MethodDeclarations.sdf
|
MethodMod
|
n/a
|
MethodDeclarations.sdf
|
MethodMod
|
n/a
|
MethodDeclarations.sdf
|
MethodMod
|
n/a
|
MethodDeclarations.sdf
|
MethodMod
|
n/a
|
MethodDeclarations.sdf
|
MethodMod
|
n/a
|
MethodDeclarations.sdf
|
MethodMod
|
n/a
|
MethodDeclarations.sdf
|
MethodMod
|
n/a
|
MethodDeclarations.sdf
|
MethodMod
|
n/a
|
MethodDeclarations.sdf
|
MethodName(ATerm , ATerm , ATerm , ATerm )
|
n/a
|
Attributes.str
|
MethodName
|
n/a
|
Main.sdf
|
MethodName
|
n/a
|
Main.sdf
|
MethodSpec
|
n/a
|
Priorities.sdf
|
MethodSpec
|
n/a
|
MethodInvocation.sdf
|
MethodSpec
|
n/a
|
MethodInvocation.sdf
|
MethodSpec
|
n/a
|
MethodInvocation.sdf
|
MethodSpec
|
n/a
|
MethodInvocation.sdf
|
MethodSpec
|
n/a
|
MethodInvocation.sdf
|
MethodSpec
|
n/a
|
MethodInvocation.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
Modifier
|
n/a
|
Modifiers.sdf
|
multi-input(Strategy s)
|
n/a
|
multi-options.str
|
multi-input-option
|
n/a
|
multi-options.str
|
multi-io(Strategy s)
|
n/a
|
multi-options.str
|
multi-io-options
|
n/a
|
multi-options.str
|
multi-io-wrap(Strategy s)
|
Wraps a strategy into a command-line tool that allows a list of inputs and outputs
|
multi-options.str
|
multi-io-wrap(Strategy extra-opts, Strategy s)
|
n/a
|
multi-options.str
|
multi-io-wrap(Strategy extra-opts, Strategy usage, Strategy about, Strategy s)
|
n/a
|
multi-options.str
|
multi-options
|
Support for implementing and invoking tools that have multiple inputs and outputs
|
multi-options.str
|
multi-options
|
Support for implementing tools that have multiple inputs and outputs
|
multi-options.str
|
multi-output(Strategy s)
|
n/a
|
multi-options.str
|
multi-output-option
|
n/a
|
multi-options.str
|
MultiArgOption(Strategy is-flag, Strategy handle-value, Strategy usage)
|
Handles a command-line option that allows multiple values
|
multi-options.str
|
MultiArgOption(Strategy is-flag, Strategy label, Strategy usage)
|
n/a
|
multi-options.str
|
must-be-capture-converted
|
n/a
|
CaptureConversion.str
|
N
|
name-of-field
|
n/a
|
source-class.str
|
NamedEscape
|
n/a
|
EscapeSequences.sdf
|
NarrowingPrimitive
|
5
|
NarrowingPrimitive.str
|
NarrowingReference
|
5
|
NarrowingReference.str
|
Native
|
n/a
|
Modifiers.sdf
|
new-array-class(ATerm component-type)
|
Constructs a new array class
|
array-class.str
|
new-bytecode-class(ATerm simple-name)
|
Construct a new bytecode class object
|
bytecode-class.str
|
new-bytecode-constructor(ATerm bytecode)
|
Constructs a new bytecode constructor
|
bytecode-constructor.str
|
new-bytecode-field(ATerm bytecode)
|
Constructs a new bytecode field
|
bytecode-field.str
|
new-bytecode-method(ATerm bytecode)
|
Constructs a new bytecode method
|
bytecode-method.str
|
new-compilation-unit
|
Constructs a new compilation unit
|
compilation-unit.str
|
new-package(ATerm opt-parentpkg, ATerm simple-name)
|
Creates a new package
|
package.str
|
new-source-class(ATerm simple-name)
|
Constructs a new source class
|
source-class.str
|
new-source-constructor(ATerm ast)
|
Constructs a new source constructor
|
source-constructor.str
|
new-source-field(ATerm simple-name, ATerm ast)
|
Constructs a new source field
|
source-field.str
|
new-source-method(ATerm ast)
|
Constructs a new source method
|
source-method.str
|
next(ATerm dim)
|
n/a
|
jtree.str
|
next(ATerm dim)
|
n/a
|
Sanity.str
|
next
|
n/a
|
WideningReference.str
|
norm-switch-arg
|
n/a
|
switch-options.str
|
NullLiteral
|
n/a
|
NullLiteral.sdf
|
NumericPromotions
|
5
|
NumericPromotions.str
|
NumType
|
n/a
|
PrimitiveTypes.sdf
|
NumType
|
n/a
|
PrimitiveTypes.sdf
|
O
|
observable-classes-option
|
n/a
|
option.str
|
observable-sources-wrap(Strategy s)
|
Register input sources
|
option.str
|
ObservableClasses(ATerm )
|
n/a
|
option.str
|
observables-wrap(Strategy s)
|
n/a
|
option.str
|
OctaEscape
|
n/a
|
EscapeSequences.sdf
|
OctaEscape
|
n/a
|
EscapeSequences.sdf
|
OctaEscape
|
n/a
|
EscapeSequences.sdf
|
OctaEscape
|
n/a
|
EscapeSequences.sdf
|
OctaLiteral
|
n/a
|
IntegerLiterals.sdf
|
OctaNumeral
|
n/a
|
IntegerLiterals.sdf
|
one-consnil(Strategy s)
|
One that traverses lists as cons/nil
|
list.str
|
OpenWildcard(ATerm , ATerm , ATerm )
|
n/a
|
CaptureConversion.str
|
opt-attr-U(Strategy cont)
|
Adds an attribute ActualTypeArgs if there are any
|
StepSignature.str
|
option
|
Options for Dryad components
|
option.str
|
option(ATerm t)
|
n/a
|
NumericPromotions.str
|
option1
|
n/a
|
NumericPromotions.str
|
option2
|
n/a
|
NumericPromotions.str
|
option3
|
n/a
|
NumericPromotions.str
|
optional-widening-primitive-conversion(ATerm to)
|
n/a
|
AssignmentConversion.str
|
optional-widening-reference-conversion(ATerm to)
|
n/a
|
AssignmentConversion.str
|
output-format-option
|
n/a
|
multi-options.str
|
P
|
pack-compilation-unit
|
Dirty hack
|
jtree.str
|
package
|
Class that represents a Java Package
|
package.str
|
Package(ATerm , ATerm , ATerm )
|
Constructor for exported packages
|
classpath.str
|
PackageDec
|
n/a
|
PackageDeclarations.sdf
|
PackageName
|
n/a
|
Main.sdf
|
PackageOrTypeName
|
n/a
|
Main.sdf
|
PackageOrTypeName
|
n/a
|
Main.sdf
|
Parameterized
|
4
|
Parameterized.str
|
parse-binary-name
|
Parses the binary name of a class file to a list of parts the describe the meaning of the name
|
Form.str
|
parse-binary-name
|
Parses the binary name of a class file to a list of parts the describe the meaning of the name
|
Form.str
|
parse-class-pathname
|
n/a
|
classpath.str
|
parse-class-signature
|
n/a
|
Bridge.str
|
parse-field-signature
|
n/a
|
Bridge.str
|
parse-java
|
n/a
|
components.str
|
parse-method-signature
|
n/a
|
Bridge.str
|
parse-signature(ATerm tbl)
|
n/a
|
Bridge.str
|
parse-signatures
|
n/a
|
Bridge.str
|
ParseTable
|
n/a
|
Bridge.str
|
pass-loose
|
n/a
|
option.str
|
pass-observable-classes
|
n/a
|
option.str
|
pass-observable-classes(Strategy cont)
|
n/a
|
option.str
|
Primitive
|
4
|
Primitive.str
|
PrimType
|
n/a
|
PrimitiveTypes.sdf
|
PrimType
|
n/a
|
PrimitiveTypes.sdf
|
Private
|
n/a
|
Modifiers.sdf
|
private-classpath-get-or-add-member-type(ATerm name, ATerm declaring-class)
|
n/a
|
classpath.str
|
private-classpath-get-or-add-toplevel-class(ATerm name, ATerm pkg)
|
n/a
|
classpath.str
|
private-classpath-handle-member-type(ATerm declaring-class)
|
n/a
|
classpath.str
|
private-classpath-handle-toplevel-class(ATerm pkg)
|
n/a
|
classpath.str
|
private-define-jar-entry(ATerm jar)
|
Private util for define-jar-entries
|
classpath.str
|
private-get-fully-qualified-name(ATerm acc)
|
Private helper
|
package.str
|
private-member-is-accessible-from(ATerm from)
|
Private access is allowed in the same top level class
|
AccessControl.str
|
project-literal
|
n/a
|
jtree.str
|
proper-supertypes
|
Returns all (not just the direct) proper supertypes of the given Type
|
Subtyping.str
|
Protected
|
n/a
|
Modifiers.sdf
|
protected-member-is-accessible-from-same-package(ATerm from)
|
Protected members are accessible if the access occurs within this package
|
AccessControl.str
|
protected-member-is-accessible-from-subclass(ATerm from)
|
Protected members are accessible if access is correct according to 6
|
AccessControl.str
|
protected-member-is-qualified-accessible-from-subclass(ATerm to, ATerm from)
|
n/a
|
AccessControl.str
|
protected-member-is-qualified-accessible-from-subclass(ATerm to, ATerm from)
|
Protected members are accessible if access is correct according to 6
|
AccessControl.str
|
Public
|
n/a
|
Modifiers.sdf
|
public-member-is-accessible(ATerm from)
|
Public members are accessible (if the declaring class is accessible)
|
AccessControl.str
|
Q
|
QualifySimpleInScopeTypeName
|
n/a
|
Imports.str
|
QualifySimpleInScopeTypeName
|
n/a
|
FormalTypeParameters.str
|
R
|
Raw
|
n/a
|
Raw.str
|
read-class-file
|
n/a
|
Bridge.str
|
read-class-file
|
n/a
|
Bridge.str
|
read-class-file-disasm
|
n/a
|
Bridge.str
|
read-reference-ast-from-location
|
n/a
|
bytecode-class.str
|
reclassify-class-signature
|
n/a
|
Bytecode.str
|
Reclassify-DecHead(Strategy rec)
|
n/a
|
Header.str
|
Reclassify-DecHead(Strategy rec)
|
n/a
|
Header.str
|
reclassify-field-signature
|
n/a
|
Bytecode.str
|
reclassify-has-field(ATerm y)
|
n/a
|
ContextuallyAmbName.str
|
reclassify-lookup-class
|
n/a
|
ContextuallyAmbName.str
|
reclassify-lookup-class
|
n/a
|
ContextuallyAmbName.str
|
reclassify-lookup-class
|
n/a
|
ContextuallyAmbName.str
|
reclassify-method-signature
|
n/a
|
Bytecode.str
|
Reclassify-QualifiedAmbName(Strategy rec)
|
Ambiguous name is a qualified name
|
ContextuallyAmbName.str
|
Reclassify-QualifiedExprName(Strategy rec)
|
If an expression is of the form Q
|
MeaningOfExpressionNames.str
|
Reclassify-QualifiedPackageOrTypeName(Strategy rec)
|
n/a
|
MeaningOfPackageOrTypeName.str
|
Reclassify-SimpleAmbName(Strategy rec)
|
Ambiguous name is simple name
|
ContextuallyAmbName.str
|
Reclassify-SimpleExprName(Strategy rec)
|
Expression name consists of a single Identifier
|
MeaningOfExpressionNames.str
|
Reclassify-SimplePackageOrTypeName(Strategy rec)
|
n/a
|
MeaningOfPackageOrTypeName.str
|
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
|
n/a
|
ContextuallyAmbName.str
|
ReclassifyAs-PackageName-PackageName
|
n/a
|
MeaningOfPackageOrTypeName.str
|
ReclassifyAs-PackageName-PackageName
|
n/a
|
ContextuallyAmbName.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
|
ReclassifySimpleByImportInScopeField
|
n/a
|
Imports.str
|
ReclassifySimpleInScopeTypeName
|
n/a
|
Imports.str
|
ReclassifySimpleInScopeTypeName
|
n/a
|
Imports.str
|
ReclassifySimpleInScopeTypeName
|
n/a
|
FormalTypeParameters.str
|
ReclassifySimpleInScopeTypeName
|
n/a
|
FormalTypeParameters.str
|
ReclassifySimpleInScopeVar
|
n/a
|
LocalVariables.str
|
ReclassifySimpleInScopeVar
|
Hides a possibly defined reclassify rule for fields
|
LocalVariables.str
|
ReclassifySimpleInScopeVar
|
n/a
|
LocalVariables.str
|
ReclassifySimpleInScopeVar
|
Hides a possibly defined reclassify rule for fields
|
LocalVariables.str
|
ReclassifySimpleInScopeVar
|
n/a
|
LocalVariables.str
|
ReclassifySimpleInScopeVar
|
n/a
|
LocalVariables.str
|
reduce-constraint(ATerm typevars)
|
Inference of type arguments begins with a set of initial constraints of the form A << F, A = F, or A >> F, where A is a type of an actual parameter, and F is a type of a formal parameter
|
ConstraintReduction.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-generic-constraint(Strategy rec, ATerm t)
|
If F has the form G<
|
ConstraintReduction.str
|
reduce-equal-generic-constraint(Strategy rec, ATerm t)
|
n/a
|
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-generic-constraint(Strategy rec, ATerm t)
|
If F has the form G<
|
ConstraintReduction.str
|
reduce-left-right-generic-constraint(Strategy rec, ATerm t)
|
n/a
|
ConstraintReduction.str
|
reduce-left-right-prim-constraint(Strategy rec, ATerm t)
|
If A is primitive type
|
ConstraintReduction.str
|
reduce-left-right-simple-constraint(Strategy rec, ATerm t)
|
If F is Tj
|
ConstraintReduction.str
|
reduce-real-constraint(Strategy rec, ATerm t)
|
n/a
|
ConstraintReduction.str
|
reduce-real-constraint(Strategy rec, ATerm t)
|
n/a
|
ConstraintReduction.str
|
reduce-real-constraint(Strategy rec, ATerm t)
|
n/a
|
ConstraintReduction.str
|
Reference
|
4
|
Reference.str
|
reference-ast
|
Support for working with reference ASTs
|
reference-ast.str
|
RefType
|
n/a
|
ReferenceTypes.sdf
|
RefType
|
n/a
|
ReferenceTypes.sdf
|
RefTypeBoolean
|
n/a
|
jtree-overlays.str
|
RefTypeByte
|
n/a
|
jtree-overlays.str
|
RefTypeCharacter
|
n/a
|
jtree-overlays.str
|
RefTypeDouble
|
n/a
|
jtree-overlays.str
|
RefTypeFloat
|
n/a
|
jtree-overlays.str
|
RefTypeInteger
|
n/a
|
jtree-overlays.str
|
RefTypeLong
|
n/a
|
jtree-overlays.str
|
RefTypeShort
|
n/a
|
jtree-overlays.str
|
RefTypeString
|
n/a
|
jtree-overlays.str
|
register-java-file(ATerm ext)
|
n/a
|
loader.str
|
Reifiable
|
4
|
Reifiable.str
|
report-parse-error
|
n/a
|
components.str
|
report-reading-class
|
n/a
|
bytecode-class.str
|
repository
|
Looking up package and class objects in the repository
|
repository.str
|
resolve-constraints(ATerm typevars)
|
Result list can contain duplicates, even with different values for illegal invocations
|
InferringTypeArguments.str
|
resolve-implied-equality-constraint(ATerm constraints, ATerm results)
|
From Tj = U, where U is not a type variable
|
InferringTypeArguments.str
|
resolve-implied-equality-constraint(ATerm constraints, ATerm results)
|
Form Tj = Tj
|
InferringTypeArguments.str
|
resolve-implied-equality-constraint(ATerm constraints, ATerm results)
|
Form Tj = Tk, where k != j
|
InferringTypeArguments.str
|
resolve-implied-equality-constraints(ATerm results)
|
n/a
|
InferringTypeArguments.str
|
resolve-supertype-constaints(ATerm typevars, ATerm results)
|
n/a
|
InferringTypeArguments.str
|
resolve-supertype-constaints(ATerm typevar)
|
n/a
|
InferringTypeArguments.str
|
result-of-conversion
|
Returns the result type of this conversion
|
UncheckedConversion.str
|
result-of-conversion
|
Returns the result type of this conversion
|
WideningReference.str
|
result-of-conversion
|
Returns the result type of this conversion
|
WideningPrimitive.str
|
result-of-conversion
|
Returns the result type of this conversion
|
Unboxing.str
|
result-of-conversion
|
Returns the result type of this method invocation conversion
|
MethodInvocationConversion.str
|
result-of-conversion
|
Returns the result type of this IdentityConversion
|
IdentityConversion.str
|
result-of-conversion
|
Returns the result type of this conversion
|
Boxing.str
|
result-of-conversion
|
Returns the result type of this assignment conversion
|
AssignmentConversion.str
|
ResultType
|
n/a
|
MethodDeclarations.sdf
|
ResultType
|
n/a
|
MethodDeclarations.sdf
|
RightLeftConvertible(ATerm )
|
Type V is convertible to type U by method invocation conversion
|
Constraints.str
|
RootPackage(ATerm )
|
n/a
|
repository.str
|
S
|
Sanity
|
Simplify insane features of Java
|
Sanity.str
|
say-line
|
n/a
|
sunit.str
|
scope-TypeOf(Strategy s)
|
n/a
|
Main.str
|
select-applicable-methods(ATerm type, ATerm invocation)
|
Might return an empty list
|
StepSignature.str
|
select-maximally-specific-methods
|
n/a
|
StepSignature.str
|
set-ast(ATerm ast)
|
Initializes the RefAST of this SourceClass from the given AST
|
source-class.str
|
set-ast(ATerm ast)
|
Initializes the Reference AST of this CompilationUnit from the given AST
|
compilation-unit.str
|
set-ast(ATerm ast)
|
n/a
|
bytecode-class.str
|
set-compilation-unit(ATerm cu)
|
n/a
|
source-class.str
|
set-declaring-class(ATerm class)
|
n/a
|
member.str
|
set-location(ATerm loc)
|
n/a
|
bytecode-class.str
|
set-package(ATerm pkg)
|
n/a
|
bytecode-class.str
|
set-reference-ast(ATerm refast)
|
n/a
|
source-method.str
|
set-reference-ast(ATerm refast)
|
n/a
|
source-field.str
|
set-reference-ast(ATerm refast)
|
n/a
|
source-constructor.str
|
set-reference-ast(ATerm ref-ast)
|
n/a
|
source-class.str
|
set-reference-ast(ATerm ref-ast)
|
n/a
|
compilation-unit.str
|
set-reference-ast(ATerm refast)
|
n/a
|
bytecode-method.str
|
set-reference-ast(ATerm refast)
|
n/a
|
bytecode-field.str
|
set-reference-ast(ATerm refast)
|
n/a
|
bytecode-constructor.str
|
set-reference-ast(ATerm ref-ast)
|
n/a
|
bytecode-class.str
|
set-toplevel-bytecode-classes(ATerm data)
|
n/a
|
package.str
|
set-TypeOf(ATerm name, ATerm value)
|
n/a
|
Main.str
|
SignedInteger
|
n/a
|
FloatingPointLiterals.sdf
|
single-output-to-file
|
n/a
|
multi-options.str
|
single-output-to-stream
|
n/a
|
multi-options.str
|
SingleChar
|
n/a
|
CharacterLiterals.sdf
|
skip-it
|
n/a
|
sunit.str
|
Source(ATerm )
|
Constructor for the location of source files
|
classpath.str
|
source-class
|
Source Class
|
source-class.str
|
source-constructor
|
Source Constructor
|
source-constructor.str
|
source-field
|
Source Field
|
source-field.str
|
source-method
|
Source Method
|
source-method.str
|
split-last2
|
n/a
|
classpath.str
|
splitter
|
n/a
|
multi-options.str
|
StartLineColumn(ATerm , ATerm )
|
n/a
|
components.str
|
Static
|
n/a
|
Modifiers.sdf
|
StaticInit
|
n/a
|
StaticInitializers.sdf
|
StepAppropriate
|
15
|
StepAppropriate.str
|
StepSearch
|
15
|
StepSearch.str
|
StepSignature
|
15
|
StepSignature.str
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
Stm
|
n/a
|
Statements.sdf
|
StrictFP
|
n/a
|
Modifiers.sdf
|
StringChars
|
n/a
|
StringLiterals.sdf
|
StringLiteral
|
n/a
|
StringLiterals.sdf
|
StringPart
|
n/a
|
StringLiterals.sdf
|
StringPart
|
n/a
|
StringLiterals.sdf
|
StringPart
|
n/a
|
StringLiterals.sdf
|
strip-dimensions-from-vardec
|
n/a
|
Sanity.str
|
strip-dimensions-from-vardec
|
n/a
|
Sanity.str
|
sub-expressions
|
Returns the sub-expressions of an expression
|
Main.str
|
Subtyping
|
4
|
Subtyping.str
|
sunit
|
n/a
|
sunit.str
|
Super
|
n/a
|
ClassDeclarations.sdf
|
SuperType(ATerm )
|
Type U is a super type of type V
|
Constraints.str
|
supertypes
|
Returns all (not just the direct) proper supertypes of the given Type
|
Subtyping.str
|
switch-options
|
n/a
|
switch-options.str
|
SwitchBlock
|
n/a
|
Statements.sdf
|
SwitchGroup
|
n/a
|
Statements.sdf
|
SwitchLabel
|
n/a
|
Statements.sdf
|
SwitchLabel
|
n/a
|
Statements.sdf
|
SwitchOption(ATerm switch, ATerm default, ATerm description)
|
n/a
|
switch-options.str
|
Synchronized
|
n/a
|
Modifiers.sdf
|
T
|
temp-file
|
n/a
|
temp-file.str
|
test-last-char(Strategy s)
|
s is applied to the last character of the string
|
jtree.str
|
test-only-option
|
n/a
|
sunit.str
|
testsuite-section(Strategy tests, ATerm msg)
|
n/a
|
sunit.str
|
This
|
Declare this class
|
This.str
|
ThisClass
|
n/a
|
Main.str
|
ThisType
|
n/a
|
Main.str
|
threader(ATerm c)
|
n/a
|
InferringTypeArguments.str
|
Throws
|
n/a
|
MethodDeclarations.sdf
|
to-ref
|
n/a
|
compilation-unit.str
|
topdown-consnil(Strategy s)
|
n/a
|
list.str
|
toplevel
|
n/a
|
Form.str
|
TopLevel(ATerm )
|
n/a
|
Form.str
|
Transient
|
n/a
|
Modifiers.sdf
|
Type(ATerm )
|
n/a
|
Attributes.str
|
Type
|
n/a
|
Main.sdf
|
Type
|
n/a
|
Main.sdf
|
type-add-dimensions-from-id(ATerm vardecid)
|
n/a
|
jtree.str
|
type-add-dimensions-from-id(ATerm vardecid)
|
n/a
|
jtree.str
|
type-args-unbounded-wildcards
|
n/a
|
Reifiable.str
|
type-attr
|
n/a
|
Attributes.str
|
type-erasure
|
n/a
|
Erasure.str
|
type-erasure-array-type(Strategy rec)
|
n/a
|
Erasure.str
|
type-erasure-nested-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-name-to-type
|
n/a
|
util.str
|
type-param-to-type-variable(ATerm method)
|
n/a
|
InferringTypeArguments.str
|
TypeArgs
|
n/a
|
ParameterizedTypes.sdf
|
TypeBound
|
n/a
|
TypeVariables.sdf
|
TypeCharacter
|
There are no overlays for the other primitives, since the reference types of these primitives have the same name as their primitive counterparts, which is confusing
|
jtree-overlays.str
|
TypeClass(ATerm c)
|
n/a
|
jtree-overlays.str
|
TypeCloneable
|
n/a
|
jtree-overlays.str
|
TypeDec
|
n/a
|
TypeDeclarations.sdf
|
TypeDec
|
n/a
|
TypeDeclarations.sdf
|
TypeDec
|
n/a
|
TypeDeclarations.sdf
|
TypeDecSpec
|
n/a
|
ReferenceTypes.sdf
|
TypeDecSpec
|
n/a
|
ReferenceTypes.sdf
|
TypeException
|
n/a
|
jtree-overlays.str
|
TypeInteger
|
n/a
|
jtree-overlays.str
|
TypeIterable
|
n/a
|
jtree-overlays.str
|
TypeName
|
n/a
|
Main.sdf
|
TypeName
|
n/a
|
Main.sdf
|
typename-of-type
|
n/a
|
UncheckedConversion.str
|
typename-of-type
|
n/a
|
UncheckedConversion.str
|
TypeNameClass
|
n/a
|
jtree-overlays.str
|
TypeNameObject
|
n/a
|
jtree-overlays.str
|
TypeNameString
|
n/a
|
jtree-overlays.str
|
TypeObject
|
n/a
|
jtree-overlays.str
|
TypeOf
|
n/a
|
Main.str
|
TypeOf
|
n/a
|
Main.str
|
TypeOf
|
n/a
|
Main.str
|
TypeParam
|
n/a
|
TypeVariables.sdf
|
TypeParams
|
n/a
|
TypeVariables.sdf
|
types-of-conversion
|
Returns the types involved in this unchecked conversion
|
UncheckedConversion.str
|
types-of-conversion
|
Returns the types involved in this widening reference conversion
|
WideningReference.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 method invocation conversion
|
MethodInvocationConversion.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
|
types-of-conversion
|
Returns the types involved in this assignment conversion
|
AssignmentConversion.str
|
TypeSerializable
|
n/a
|
jtree-overlays.str
|
TypeString
|
n/a
|
jtree-overlays.str
|
TypeString
|
n/a
|
jtree-overlays.str
|
TypeVar(ATerm , ATerm )
|
n/a
|
Extensions.str
|
TypeVar(ATerm , ATerm , ATerm )
|
n/a
|
Extensions.str
|
TypeVar
|
n/a
|
ReferenceTypes.sdf
|
TypeVarId
|
n/a
|
TypeVariables.sdf
|
TypeVoid
|
n/a
|
jtree-overlays.str
|
U
|
unary-numeric-promotion-of-type
|
5
|
NumericPromotions.str
|
Unboxing
|
5
|
Unboxing.str
|
unboxing-conversion
|
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
|
unboxing-conversion-of-type
|
n/a
|
Unboxing.str
|
UnboxingConversion(ATerm , ATerm )
|
n/a
|
Unboxing.str
|
UncheckedConversion
|
5
|
UncheckedConversion.str
|
UncheckedConversion(ATerm , ATerm )
|
n/a
|
UncheckedConversion.str
|
Undo
|
Undo the reclassification and qualification
|
Undo.str
|
UnicodeEscape
|
n/a
|
UnicodeEscapes.sdf
|
UnicodeEscape
|
n/a
|
Comments.sdf
|
unpack-compilation-unit
|
Dirty hack
|
jtree.str
|
util
|
Utils for Java Bytecode
|
util.str
|
V
|
VarDec
|
n/a
|
FieldDeclarations.sdf
|
VarDec
|
n/a
|
FieldDeclarations.sdf
|
VarDecId
|
n/a
|
FieldDeclarations.sdf
|
VarDecId
|
n/a
|
FieldDeclarations.sdf
|
VarInit
|
n/a
|
FieldDeclarations.sdf
|
VarInit
|
n/a
|
FieldDeclarations.sdf
|
VarMod
|
n/a
|
MethodDeclarations.sdf
|
verbosity-scope(Strategy s, ATerm level)
|
n/a
|
common.str
|
Volatile
|
n/a
|
Modifiers.sdf
|
W
|
wannabe-lisp
|
n/a
|
wannabe-lisp.str
|
was-unchecked-conversion-necessary
|
n/a
|
StepSignature.str
|
widening-primitive-conversion(ATerm to)
|
Fails if there is no widening primitive conversion
|
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
|
widening-primitive-conversions
|
n/a
|
WideningPrimitive.str
|
widening-reference-conversions
|
n/a
|
WideningReference.str
|
widening-reference-conversions(ATerm to)
|
n/a
|
WideningReference.str
|
widening-reference-conversions(ATerm to)
|
n/a
|
WideningReference.str
|
WideningPrimitive
|
5
|
WideningPrimitive.str
|
WideningPrimitiveConversion(ATerm , ATerm )
|
n/a
|
WideningPrimitive.str
|
WideningReference
|
5
|
WideningReference.str
|
WideningReferenceConversion(ATerm )
|
First element of the list is the type being converted to
|
WideningReference.str
|
WildcardBound
|
n/a
|
ParameterizedTypes.sdf
|
WildcardBound
|
n/a
|
ParameterizedTypes.sdf
|
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-copy-to-stream(ATerm stream)
|
n/a
|
multi-options.str
|
xtc-multi-input(Strategy s)
|
n/a
|
multi-options.str
|
xtc-multi-io(Strategy s)
|
n/a
|
multi-options.str
|
xtc-multi-io-wrap(Strategy s)
|
Wraps a strategy into a command-line tool that allows a list of inputs and outputs
|
multi-options.str
|
xtc-multi-io-wrap(Strategy extra-opts, Strategy s)
|
n/a
|
multi-options.str
|
xtc-multi-io-wrap(Strategy extra-opts, Strategy usage, Strategy about, Strategy s)
|
n/a
|
multi-options.str
|
xtc-multi-output(Strategy s)
|
n/a
|
multi-options.str
|
xtc-multi-transform(ATerm tool)
|
Transform a list of files with an external process
|
multi-options.str
|
xtc-multi-transform(ATerm tool, ATerm args)
|
n/a
|
multi-options.str
|
xtc-multi-transform(ATerm tool, ATerm args)
|
n/a
|
multi-options.str
|
xtc-new-ffd
|
n/a
|
temp-file.str
|
xtc-new-ffd
|
n/a
|
list.str
|