A | ||
---|---|---|
AccessControl | 6 | AccessControl.str |
array-class | n/a | array-class.str |
AssignmentConversion | 5 | AssignmentConversion.str |
Attributes | Attributes of the source AST | Attributes.str |
B | ||
Body | n/a | Body.str |
Boxing | 5 | 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-constructor | Bytecode Constructor | bytecode-constructor.str |
bytecode-field | Bytecode Field | bytecode-field.str |
bytecode-method | Bytecode Method | bytecode-method.str |
C | ||
Canonical | 6 | Canonical.str |
CaptureConversion | 5 | CaptureConversion.str |
CastingConversion | 5 | CastingConversion.str |
Check | n/a | Check.str |
class | Abstract class that represents a Java Class | class.str |
classes | Support for classes | classes.str |
ClassMembers | n/a | ClassMembers.str |
ClassOrInterfaceType | n/a | ClassOrInterfaceType.str |
classpath | Serialized Dryad repositories | classpath.str |
common | n/a | common.str |
compilation-unit | Compilation Unit (Source) | compilation-unit.str |
components | n/a | components.str |
ConstraintReduction | 15 | ConstraintReduction.str |
Constraints | 15 | Constraints.str |
constructor | Abstract Java constructor | constructor.str |
ContextuallyAmbName | 6 | ContextuallyAmbName.str |
D | ||
debug | Utility strategies for debugging and inspecting the Dryad model | debug.str |
dryad | Main module of the Dryad Library | dryad.str |
E | ||
Erasure | 4 | Erasure.str |
Extensions | Extensions of the Java AST introduced by Dryad to make the meaning of constructs more clear | Extensions.str |
F | ||
field | Abstract Java field | field.str |
Form | 13 | Form.str |
FormalParameters | n/a | FormalParameters.str |
FormalTypeParameters | Declare formal type parameters | FormalTypeParameters.str |
ForStatement | 14 | ForStatement.str |
H | ||
hash-table | Possible extensions of the Stratego Library Hashtable strategies | hash-table.str |
Header | 6 | Header.str |
I | ||
IdentityConversion | 5 | IdentityConversion.str |
Imports | Declare import declarations | Imports.str |
InferringTypeArguments | 15 | InferringTypeArguments.str |
J | ||
Java-15 | n/a | Java-15.sdf |
JavaCompilationUnit-15 | n/a | JavaCompilationUnit-15.sdf |
jtree | Utils for Java Abstract Syntax Trees | jtree.str |
jtree-overlays | n/a | jtree-overlays.str |
K | ||
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 |
list | n/a | list.str |
loader | Utility strategies for navigating and loading classfiles from directory hierarchies | loader.str |
LocalVarDec | 14 | LocalVarDec.str |
LocalVariables | Declare local variables | LocalVariables.str |
log | n/a | log.str |
Lub | 15 | 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 |
MeaningOfExpressionNames | 6 | MeaningOfExpressionNames.str |
MeaningOfPackageOrTypeName | 6 | MeaningOfPackageOrTypeName.str |
member | Abstract class for Java members (field, constructor, method) | member.str |
method | Abstract Java Method | method.str |
MethodInvocationConversion | 5 | MethodInvocationConversion.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 |
N | ||
NarrowingPrimitive | 5 | NarrowingPrimitive.str |
NarrowingReference | 5 | NarrowingReference.str |
NumericPromotions | 5 | NumericPromotions.str |
O | ||
option | Options for Dryad components | option.str |
P | ||
package | Class that represents a Java Package | package.str |
Parameterized | 4 | Parameterized.str |
Primitive | 4 | Primitive.str |
R | ||
Raw | n/a | Raw.str |
Reference | 4 | Reference.str |
reference-ast | Support for working with reference ASTs | reference-ast.str |
Reifiable | 4 | Reifiable.str |
repository | Looking up package and class objects in the repository | repository.str |
S | ||
Sanity | Simplify insane features of Java | Sanity.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 |
StepAppropriate | 15 | StepAppropriate.str |
StepSearch | 15 | StepSearch.str |
StepSignature | 15 | StepSignature.str |
Subtyping | 4 | Subtyping.str |
sunit | n/a | sunit.str |
switch-options | n/a | switch-options.str |
T | ||
temp-file | n/a | temp-file.str |
This | Declare this class | This.str |
U | ||
Unboxing | 5 | Unboxing.str |
UncheckedConversion | 5 | UncheckedConversion.str |
Undo | Undo the reclassification and qualification | Undo.str |
util | Utils for Java Bytecode | util.str |
W | ||
wannabe-lisp | n/a | wannabe-lisp.str |
WideningPrimitive | 5 | WideningPrimitive.str |
WideningReference | 5 | WideningReference.str |