Module index (API)

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

Module index


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