| 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 |
| collect-one(Strategy s) | n/a | common.str |
| 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 |