.
dryad	dryad.str
.
Java-15	Java-15.sdf
JavaCompilationUnit-15	JavaCompilationUnit-15.sdf
dryad
components	components.str
dryad/bytecode
Bridge	Bridge.str
util	util.str
dryad/errors
Main	Main.str
dryad/jls/binary
Form	Form.str
dryad/jls/conversions
AssignmentConversion	AssignmentConversion.str
Boxing	Boxing.str
CaptureConversion	CaptureConversion.str
CastingConversion	CastingConversion.str
IdentityConversion	IdentityConversion.str
Kinds	Kinds.str
MethodInvocationConversion	MethodInvocationConversion.str
NarrowingPrimitive	NarrowingPrimitive.str
NarrowingReference	NarrowingReference.str
NumericPromotions	NumericPromotions.str
Unboxing	Unboxing.str
WideningPrimitive	WideningPrimitive.str
WideningReference	WideningReference.str
dryad/jls/names
AccessControl	AccessControl.str
Canonical	Canonical.str
Main	Main.str
dryad/jls/types
Erasure	Erasure.str
Lub	Lub.str
Main	Main.str
Parameterized	Parameterized.str
Primitive	Primitive.str
Raw	Raw.str
Reference	Reference.str
Reifiable	Reifiable.str
Subtyping	Subtyping.str
UncheckedConversion	UncheckedConversion.str
dryad/lib-ext
common	common.str
hash-table	hash-table.str
list	list.str
log	log.str
multi-options	multi-options.str
sunit	sunit.str
switch-options	switch-options.str
wannabe-lisp	wannabe-lisp.str
dryad/lib-ext/oo
classes	classes.str
dryad/lib-ext/xtc
multi-options	multi-options.str
temp-file	temp-file.str
dryad/model
array-class	array-class.str
bytecode-class	bytecode-class.str
bytecode-constructor	bytecode-constructor.str
bytecode-field	bytecode-field.str
bytecode-method	bytecode-method.str
class	class.str
classpath	classpath.str
compilation-unit	compilation-unit.str
constructor	constructor.str
field	field.str
member	member.str
method	method.str
package	package.str
reference-ast	reference-ast.str
repository	repository.str
source-class	source-class.str
source-constructor	source-constructor.str
source-field	source-field.str
source-method	source-method.str
dryad/reclassify
Body	Body.str
Bytecode	Bytecode.str
Check	Check.str
ClassOrInterfaceType	ClassOrInterfaceType.str
ContextuallyAmbName	ContextuallyAmbName.str
Header	Header.str
Main	Main.str
MeaningOfExpressionNames	MeaningOfExpressionNames.str
MeaningOfPackageOrTypeName	MeaningOfPackageOrTypeName.str
Undo	Undo.str
dryad/reclassify/declare
ClassMembers	ClassMembers.str
FormalParameters	FormalParameters.str
FormalTypeParameters	FormalTypeParameters.str
Imports	Imports.str
LocalVariables	LocalVariables.str
This	This.str
dryad/simplify
Sanity	Sanity.str
dryad/source
Attributes	Attributes.str
Extensions	Extensions.str
dryad/type-check
Main	Main.str
dryad/type-check/invoke
ConstraintReduction	ConstraintReduction.str
Constraints	Constraints.str
InferringTypeArguments	InferringTypeArguments.str
StepAppropriate	StepAppropriate.str
StepSearch	StepSearch.str
StepSignature	StepSignature.str
dryad/type-check/stm
ForStatement	ForStatement.str
LocalVarDec	LocalVarDec.str
dryad/util
debug	debug.str
jtree	jtree.str
jtree-overlays	jtree-overlays.str
loader	loader.str
option	option.str
languages/java
languages/java/JavaMix	JavaMix.sdf
languages/java-15
languages/java-15/JavaMix	JavaMix.sdf
languages/java-15/Main	Main.sdf
languages/java-15/arrays
languages/java-15/arrays/ArrayInitializers	ArrayInitializers.sdf
languages/java-15/arrays/Main	Main.sdf
languages/java-15/classes
languages/java-15/classes/ClassDeclarations	ClassDeclarations.sdf
languages/java-15/classes/ConstructorDeclarations	ConstructorDeclarations.sdf
languages/java-15/classes/EnumDeclarations	EnumDeclarations.sdf
languages/java-15/classes/FieldDeclarations	FieldDeclarations.sdf
languages/java-15/classes/InstanceInitializers	InstanceInitializers.sdf
languages/java-15/classes/Main	Main.sdf
languages/java-15/classes/MethodDeclarations	MethodDeclarations.sdf
languages/java-15/classes/StaticInitializers	StaticInitializers.sdf
languages/java-15/expressions
languages/java-15/expressions/ArrayAccess	ArrayAccess.sdf
languages/java-15/expressions/ArrayCreation	ArrayCreation.sdf
languages/java-15/expressions/AssignmentOperators	AssignmentOperators.sdf
languages/java-15/expressions/BinaryOperators	BinaryOperators.sdf
languages/java-15/expressions/ClassInstanceCreation	ClassInstanceCreation.sdf
languages/java-15/expressions/FieldAccess	FieldAccess.sdf
languages/java-15/expressions/Main	Main.sdf
languages/java-15/expressions/MethodInvocation	MethodInvocation.sdf
languages/java-15/expressions/Postfix	Postfix.sdf
languages/java-15/expressions/Primary	Primary.sdf
languages/java-15/expressions/Priorities	Priorities.sdf
languages/java-15/expressions/Restrictions	Restrictions.sdf
languages/java-15/expressions/UnaryOperators	UnaryOperators.sdf
languages/java-15/interfaces
languages/java-15/interfaces/AbstractMethodDeclarations	AbstractMethodDeclarations.sdf
languages/java-15/interfaces/Annotations	Annotations.sdf
languages/java-15/interfaces/AnnotationTypes	AnnotationTypes.sdf
languages/java-15/interfaces/ConstantDeclarations	ConstantDeclarations.sdf
languages/java-15/interfaces/InterfaceDeclarations	InterfaceDeclarations.sdf
languages/java-15/interfaces/Main	Main.sdf
languages/java-15/lexical
languages/java-15/lexical/Comments	Comments.sdf
languages/java-15/lexical/Identifiers	Identifiers.sdf
languages/java-15/lexical/Keywords	Keywords.sdf
languages/java-15/lexical/LineTerminators	LineTerminators.sdf
languages/java-15/lexical/Main	Main.sdf
languages/java-15/lexical/Modifiers	Modifiers.sdf
languages/java-15/lexical/UnicodeEscapes	UnicodeEscapes.sdf
languages/java-15/lexical/WhiteSpace	WhiteSpace.sdf
languages/java-15/lexical/literals
languages/java-15/lexical/literals/BooleanLiterals	BooleanLiterals.sdf
languages/java-15/lexical/literals/CharacterLiterals	CharacterLiterals.sdf
languages/java-15/lexical/literals/EscapeSequences	EscapeSequences.sdf
languages/java-15/lexical/literals/FloatingPointLiterals	FloatingPointLiterals.sdf
languages/java-15/lexical/literals/IntegerLiterals	IntegerLiterals.sdf
languages/java-15/lexical/literals/Main	Main.sdf
languages/java-15/lexical/literals/NullLiteral	NullLiteral.sdf
languages/java-15/lexical/literals/StringLiterals	StringLiterals.sdf
languages/java-15/names
languages/java-15/names/Main	Main.sdf
languages/java-15/packages
languages/java-15/packages/CompilationUnits	CompilationUnits.sdf
languages/java-15/packages/ImportDeclarations	ImportDeclarations.sdf
languages/java-15/packages/Main	Main.sdf
languages/java-15/packages/PackageDeclarations	PackageDeclarations.sdf
languages/java-15/packages/TypeDeclarations	TypeDeclarations.sdf
languages/java-15/statements
languages/java-15/statements/Blocks	Blocks.sdf
languages/java-15/statements/LocalVariableDeclarations	LocalVariableDeclarations.sdf
languages/java-15/statements/Main	Main.sdf
languages/java-15/statements/Statements	Statements.sdf
languages/java-15/types
languages/java-15/types/Main	Main.sdf
languages/java-15/types/ParameterizedTypes	ParameterizedTypes.sdf
languages/java-15/types/PrimitiveTypes	PrimitiveTypes.sdf
languages/java-15/types/ReferenceTypes	ReferenceTypes.sdf
languages/java-15/types/TypeVariables	TypeVariables.sdf