Dryad issues on YellowGrass.org

253

Apr '07

DRY-253: Problem with parse error reporting in latest trunk releases0.2

252

Apr '07

DRY-252: Parameter with array dimension in name is not type-checkederror 0.2

251

Apr '07

DRY-251: No conversions generated for enhanced for looperror 0.2

250

Mar '07

DRY-250: No conversions generated for return statementerror 0.2

249

Mar '07

DRY-249: No narrowing conversion generated for literal primitiveserror 0.2

248

Mar '07

DRY-248: No widening reference conversion generated for nullerror 0.2

247

Feb '07

DRY-247: Dryad frontend fails for semicolon in CompilationUniterror 0.1

246

Feb '07

DRY-246: No MethodInvocationConversion annotation generated for a WideningPrimitiveConversion error 0.2

245

Feb '07

DRY-245: Class type constants expressed as unparsed stringimprovement 0.1

244

Sep '06

DRY-244: Check the reclassifications of amb names to fieldserror 0.2

243

Sep '06

DRY-243: the reclassification does not support local variables arrayserror 0.1

242

Sep '06

DRY-242: the reclassification does not support local variable fieldserror 0.1

241

Sep '06

DRY-241: Type of an Array fielderror 0.1

240

Sep '06

DRY-240: Ambiguous field access not reclassified.error 0.1

239

Sep '06

DRY-239: model/source-class : get-modifiers: bad case for interface declarationerror 0.1

238

Jul '06

DRY-238: --observables option does not do xtc-findimprovement 0.1

237

Jun '06

DRY-237: Unable to reclassify a parameter reference in an inner class when a method is called on it.error 0.3

236

Mar '06

DRY-236: Wrong get-canonical-type-name for bytecode-compiled inner classeserror 0.1

235

Mar '06

DRY-235: Type-checker fails to attribute Arrays.asList invocationerror 0.3

234

Mar '06

DRY-234: Invocations of some methods are not annotated properlyerror 0.1

233

Mar '06

DRY-233: TC: explicit qualified this constructor invocation feature 0.2

232

Mar '06

DRY-232: Inherited member types used as ambnames are not reclassified.error 0.1

231

Mar '06

DRY-231: Consider to introduce qualified this for field access of enclosing classes.error 0.2

230

Mar '06

DRY-230: Reclassification: support inherited fields in member classeserror 0.1

229

Mar '06

DRY-229: Reclassification: support inherited member classeserror 0.1

228

Mar '06

DRY-228: Worklist problem with member classes.error 0.1

227

Mar '06

DRY-227: Lub of int and String is very busy. Check if this is an infinite type.error 0.3

226

Feb '06

DRY-226: Implement is-static for method declarations.error 0.1

225

Feb '06

DRY-225: Annotate constructor invocations with a symbolic link to the invoked declarationfeature 0.1

224

Feb '06

DRY-224: Qualification of type parameters: use the new canonical name for methods.error 0.3

223

Feb '06

DRY-223: Annotate method invocations with compile-time declarationfeature 0.1

222

Feb '06

DRY-222: Scoping problem in new reclassifiererror 0.1

221

Feb '06

DRY-221: New reclassifier: check for cyclic dependenciesfeature 0.1

220

Feb '06

DRY-220: Basic reclassification should not reclassify nested classes.improvement 0.1

219

Feb '06

DRY-219: Is upgrade-jtree still necessary?0.1

218

Feb '06

DRY-218: Use a work list for reclassificationerror 0.1

217

Feb '06

DRY-217: Disamb: support local class declarationserror 0.3

216

Feb '06

DRY-216: Deal with cyclic static importserror 0.3

215

Feb '06

DRY-215: Check that imports use canonical nameserror 0.2

214

Feb '06

DRY-214: Support other, open source, virtual machines (Kaffe, JamVM)feature 0.3

213

Feb '06

DRY-213: Support Dryad on Mac OS Xfeature 0.1

212

Jan '06

DRY-212: Use xtc cache in user specific directory?improvement 0.1 wontfix

211

Jan '06

DRY-211: Failure to disambiguate a reference to a base class field when used in a simple expressionerror 0.1

210

Jan '06

DRY-210: Support export and import of repository with source classes.feature 0.4

209

Jan '06

DRY-209: Annotate conditional expressions with conversionsfeature 0.2

208

Jan '06

DRY-208: Annotate variable declaration with conversionsfeature 0.1

207

Jan '06

DRY-207: Rename get-member-class* to get-member-type*improvement 0.1

206

Jan '06

DRY-206: Invert redirect of get-canonical-name and get-fully-qualified-nameerror 0.1

205

Jan '06

DRY-205: Implement get-fully-qualified-name for array types.error 0.1

204

Dec '05

DRY-204: Implement get-access for source and bytecode constructors.error 0.1

203

Dec '05

DRY-203: No super invocation in default constructor for java.lang.Object.error 0.4

202

Dec '05

DRY-202: Set the appropriate access modifiers for the default constructor.error 0.1

201

Dec '05

DRY-201: Default constructor does not have a declaring class.error 0.1

200

Dec '05

DRY-200: Annotate expressions with information on variable/not.error 0.4

199

Dec '05

DRY-199: Access control for method invocations seems to use wrong class (declaring)error 0.1

198

Dec '05

DRY-198: Type rule for super field access should not invoke dryad-type-checkererror 0.1

197

Dec '05

DRY-197: Fields from superclass hidden by fields in this class are not inheritederror 0.1

196

Dec '05

DRY-196: Implement hiding of constant fields in interfaces.error 0.1

195

Dec '05

DRY-195: Use get-declared-methods for superinterfaces in get-inherited-methodserror 0.1 notabug

194

Dec '05

DRY-194: Access of interface fields must default to publicerror 0.1

193

Dec '05

DRY-193: Move code of class2aterm and aterm2class into libdryadfeature 0.1

192

Dec '05

DRY-192: is-applicable-method-by-subtyping: allow unchecked conversionerror 0.3

191

Dec '05

DRY-191: is-applicable-method-by-subtyping: check the bounds of formal type parameterserror 0.3

190

Dec '05

DRY-190: is-applicable-method-by-method-invocation-conversion: check the bounds of formal parameter typeserror 0.3

189

Dec '05

DRY-189: dryad-tc-search-class-of-method: handle variable primarieserror 0.4

188

Dec '05

DRY-188: Dont infer actual type arguments of generic methods more than once0.1

187

Dec '05

DRY-187: Invocation: store information about application of type erasure.0.3

186

Dec '05

DRY-186: Implement tests for access control of member classes.0.1

185

Dec '05

DRY-185: Enable access control in type checking field access.feature 0.1

184

Dec '05

DRY-184: Implement is-accessible-from for constructorserror 0.1

183

Dec '05

DRY-183: Fix accessibility check for method invocations on member classeserror 0.1

182

Dec '05

DRY-182: Provide a strategy is-subclass(|of)feature 0.1

181

Dec '05

DRY-181: Implement details on access to protected member (6.6.2.1)error 0.1

180

Dec '05

DRY-180: Implement is-accessible(|from) for membersfeature 0.1

179

Dec '05

DRY-179: Implement is-accessible(|from) for classesfeature 0.1

178

Dec '05

DRY-178: Top-level classes cannot be protected or private.error 0.4

177

Dec '05

DRY-177: class: has-method does not consider access modifierserror 0.1

176

Dec '05

DRY-176: Report error for conflicting or duplicate access modifiers.feature 0.4

175

Dec '05

DRY-175: Access of method in source interface must default to publicerror 0.1

174

Dec '05

DRY-174: Methods with default access are not inherited in class in different package.error 0.1

173

Dec '05

DRY-173: get-fields: private fields are not inheritederror 0.1

172

Dec '05

DRY-172: Model: field: implement get-accessfeature 0.1

171

Dec '05

DRY-171: Model: class: implemented get-accessfeature 0.1

170

Dec '05

DRY-170: Model: method: implement get-accessfeature 0.1

169

Dec '05

DRY-169: class2aterm: respect the --binary-ouput option and default to text.improvement 0.1

168

Dec '05

DRY-168: Annotate method invocations with inferred actual type parameters.feature 0.1

167

Nov '05

DRY-167: TC: implement method invocation conversionfeature 0.1

166

Nov '05

DRY-166: Model: source java.lang.Object has no superclasserror 0.1

165

Nov '05

DRY-165: Model: AST of bytecode class must use reference to bytecode field.0.1

164

Nov '05

DRY-164: class2aterm: use libstratego-sglr for parsing signatures.improvement 0.1

163

Nov '05

DRY-163: Use libstratego-sglr for parsing Javaimprovement 0.1

162

Nov '05

DRY-162: dryad-front: use -b flagimprovement 0.1

161

Nov '05

DRY-161: Put type annotations in a Type constructor, to allow other annotations.improvement 0.1

160

Oct '05

DRY-160: strcflags variable in pkg-config file does not work.error 0.1

159

Sep '05

DRY-159: get-formal-parameter-types needs inclass and intype alternatives.feature 0.1

158

Sep '05

DRY-158: Handle member class in bytecode types.error 0.1

157

Sep '05

DRY-157: Introduce full descriptions of conversionserror 0.1

156

Sep '05

DRY-156: Support unchecked conversions in assignments.error 0.1

155

Sep '05

DRY-155: Can supertypes be listed?0.4

154

Sep '05

DRY-154: Capture conversion: support for bounded wildcardsfeature 0.3

153

Aug '05

DRY-153: Support for transformation transactionsfeature 0.5

152

Aug '05

DRY-152: All examples from Java in a Nutshell Fifth edition must type check.0.4

151

Aug '05

DRY-151: All examples from Java in a Nutshell First edition must type check.0.3

150

Aug '05

DRY-150: Conditional operator: fall through in list of options is incorrect.error 0.1

149

Aug '05

DRY-149: Lub: support raw types.error 0.3

148

Aug '05

DRY-148: Lub: support or work-around infinite types.error 0.3

147

Aug '05

DRY-147: Implement capture conversion.error 0.1

146

Aug '05

DRY-146: Wildcard supportfeature 0.3

145

Aug '05

DRY-145: Implement luberror 0.1

143

Aug '05

DRY-143: Method invocation: unchecked conversion required -> erase return typeerror 0.1

142

Aug '05

DRY-142: Support explicit type arguments in constructor invocations.error 0.3

141

Aug '05

DRY-141: Subsitute actual type arguments in return type of method invocations.error 0.1

140

Aug '05

DRY-140: Support disassembling signature attributes of fields.error 0.1

139

Aug '05

DRY-139: TC: support qualified super method invocation.feature 0.1

138

Aug '05

DRY-138: Report type errors for variable declarations with incorrect rhsfeature 0.1

137

Aug '05

DRY-137: Support explicit type arguments in method invocationsfeature 0.1

136

Aug '05

DRY-136: Implement inferencing of type arguments in method invocationsfeature 0.1

135

Aug '05

DRY-135: Generics: support raw typesfeature 0.3

134

Aug '05

DRY-134: Support generics in sub- and supertype implementationfeature 0.1

133

Aug '05

DRY-133: Model: bytecode class . get-super-interfaces must consider generic signature. error 0.1

132

Aug '05

DRY-132: Model: bytecode class . get-superclass must consider generic signature.error 0.1

131

Aug '05

DRY-131: Type variables in bytecode must be qualified.error 0.1

130

Aug '05

DRY-130: Model: implement get-return-type(|in) for methodsfeature 0.1

129

Aug '05

DRY-129: Model: implement get-type for methodsfeature 0.4

128

Jul '05

DRY-128: Bytecode classes and methods: support get-reference-ast.feature 0.1

127

Jul '05

DRY-127: Bytecode: get-return-type and get-formal-parameter-types must consider generic signature attribute.error 0.1

126

Jul '05

DRY-126: Support (de)serialization of reference ast.feature 0.4

125

Jul '05

DRY-125: Rewrite bytecode bridge to ASM: BCEL is dying0.4

124

Jul '05

DRY-124: Qualify type variables.feature 0.1

123

Jul '05

DRY-123: Bytecode classes, methods, constructors: implement get-formal-type-parameters.feature 0.1

122

Jul '05

DRY-122: Model: class.get-methods: private methods are not inherited by subclasses.error 0.1

121

Jul '05

DRY-121: TC: implement type anno of method invocation in enclosing class.error 0.1

120

Jul '05

DRY-120: Model: dump get-TypeNames-of-package. Use get-toplevel-classes; map(get-canonical-name).0.1

119

Jul '05

DRY-119: Model: dump get-PackageName-of-package: use get-fully-qualified-name or get-canonical-name.0.1

118

Jul '05

DRY-118: Model: Consider to change get-name to get-simple-nameimprovement 0.1

117

Jul '05

DRY-117: Model: class, support get-packagefeature 0.1

116

Jul '05

DRY-116: Model: implement inheritance of member classes.feature 0.1

115

Jul '05

DRY-115: Model: AST of bytecode class should use reference to bytecode method.feature 0.1

114

Jul '05

DRY-114: Amb: fix scoping issues in disamb of PackageOrTypeName.error 0.1

113

Jul '05

DRY-113: Implement lookup-class for member classes.feature 0.1

112

Jul '05

DRY-112: Amb: implement disambiguation of uses of member classesfeature 0.1

111

Jul '05

DRY-111: Model: implement get-member-classfeature 0.1

110

Jul '05

DRY-110: Support member classes in format of exported Dryad repositories.feature 0.1

109

Jul '05

DRY-109: Model: implement get-binary-namefeature 0.4

108

Jul '05

DRY-108: Model: Implement get-canonical-namefeature 0.1

107

Jul '05

DRY-107: Basic generics supportfeature 0.3

106

Jul '05

DRY-106: Model: AST of source class should use references to member classesfeature 0.1

105

Jul '05

DRY-105: Model: support member classes for bytecode classesfeature 0.1

104

Jul '05

DRY-104: Model: support member classes for source classesfeature 0.1

103

Jul '05

DRY-103: Model: Check if declaring class of member class is equal to the enclosing class0.1

102

Jul '05

DRY-102: Model: Generalize implementation of Reference AST and AST for all source objects.feature 0.4

101

Jul '05

DRY-101: Model: AST of source class should use references to constructor objectsfeature 0.1

100

Jul '05

DRY-100: Model: AST of source class should use references to field objectsfeature 0.1

99

Jul '05

DRY-99: Model: AST of compilation unit should use references to source classesfeature 0.1

98

Jul '05

DRY-98: Model: AST of source class should use references to method objectsfeature 0.1

97

Jul '05

DRY-97: Consider to switch to Soot and Jimple: BCEL is dying.feature 0.4 wontfix

96

Jul '05

DRY-96: Model: optional operation that replaces method calls by pointers.feature 0.4

95

Jul '05

DRY-95: Member classes supportfeature 0.1

94

Jul '05

DRY-94: dryad-front: support direct specification of .jar files on the command-linefeature 0.1

93

Jun '05

DRY-93: Model: Introduce a class for compilation unitsfeature 0.1

92

Jun '05

DRY-92: TC: super method invocationsfeature 0.1

91

Jun '05

DRY-91: Amb & TC: declare formal constructor argumentsfeature 0.1

90

Jun '05

DRY-90: TC: declare exception variablesfeature 0.1

89

Jun '05

DRY-89: Amb: exception variables cannot be reclassified.feature 0.1

88

Jun '05

DRY-88: Model: introduce class for arraysfeature 0.1

87

Jun '05

DRY-87: TC: for loop variables cannot be typed.error 0.1

86

Jun '05

DRY-86: Amb: ClassNames need to be reclassifiederror 0.1

85

Jun '05

DRY-85: Model: exception support for abstract and interface methods.feature 0.1

84

Jun '05

DRY-84: Generics: return types, not declarationsimprovement 0.1

83

Jun '05

DRY-83: Model: exception support for source and bytecode constructors.feature 0.1

82

Jun '05

DRY-82: Collect strategies for looking up classes and packages in a single module.feature 0.1

81

Jun '05

DRY-81: Model: class: provide method get-fieldsfeature 0.1

80

Jun '05

DRY-80: Model: class: provide method get-visible-fields.feature 0.4

79

Jun '05

DRY-79: Detect ambiguous field accessfeature 0.1

78

Jun '05

DRY-78: TC: cannot type field access on constantdec available by implement of interfaceerror 0.1

77

Jun '05

DRY-77: TC: field access of constant declaration cannot be typed.error 0.1

76

Jun '05

DRY-76: Model: Members (fields, methods, etc) must have ref to declaring class.error 0.1

75

Jun '05

DRY-75: TC: test access of static field declared in source file.error 0.1

74

Jun '05

DRY-74: Model: make source and bytecode constructors real classes.error 0.1

73

Jun '05

DRY-73: TC: Implement lub option in e1 ? e2 : e3error 0.1

72

Jun '05

DRY-72: Optimize identify-potentially-applicable-methods by name of method.improvement 0.1

71

Jun '05

DRY-71: Method invocations: implement select-maximally-specific-methodserror 0.3

70

Jun '05

DRY-70: Model: make source and bytecode fields real classesimprovement 0.1

69

Jun '05

DRY-69: Model: make source and bytecode methods real classes.improvement 0.1

68

Jun '05

DRY-68: Model: get-methods must also return methods declared in superinterfaces.error 0.1

67

Jun '05

DRY-67: Model: source-method class does not support abstract methodsfeature 0.1

66

Jun '05

DRY-66: Model: get-superinterfaces-as-type not implemented for source classeserror 0.1

65

Jun '05

DRY-65: Casts source types are not type annotatederror 0.1

64

Jun '05

DRY-64: Model: get-fields must also return fields declared in superclassfeature 0.1 wontfix

63

Jun '05

DRY-63: Support access of fields declared in superclasses.feature 0.1

62

Jun '05

DRY-62: Implement get-superclass-as-type for source classes.feature 0.1

61

Jun '05

DRY-61: Ordering of FieldDecls matters for correctnesserror 0.4

60

Jun '05

DRY-60: Dont require explicit configuration with j2sdkimprovement 0.1

59

May '05

DRY-59: Annotate method invocations with declaring classfeature 0.1

58

May '05

DRY-58: Annotate field access expressions with declaring class.feature 0.1

57

May '05

DRY-57: Annotate method invocations with exceptions that can be thrown?feature 0.4

56

May '05

DRY-56: Compile components to libraries0.1

55

Apr '05

DRY-55: Check implementation of string conversion for + operatorfeature 0.1

54

Apr '05

DRY-54: TC: explicit this constructor invocationfeature 0.1

53

Apr '05

DRY-53: TC: explicit super constructor invocationfeature 0.1

52

Apr '05

DRY-52: Support source fieldserror 0.1

51

Apr '05

DRY-51: Model: support source constructorsfeature 0.1

50

Apr '05

DRY-50: dryad-reclassify-ambnames and dryad-type-checker: add options for binary outputfeature 0.1

49

Apr '05

DRY-49: Type-checker should register the input source filesfeature 0.1

48

Apr '05

DRY-48: Use xtars zip library for accessing the contents of jar filesfeature 0.1

47

Apr '05

DRY-47: Support multiple structured classpath argumentsfeature 0.1

46

Apr '05

DRY-46: Amb: Distinguish field expressions from local variables.feature 0.1

45

Apr '05

DRY-45: Amb: Distinguish type variables from class names after disambfeature 0.1

44

Apr '05

DRY-44: vis-tc-jtree: visualize a type-checked Java programfeature 0.1

43

Apr '05

DRY-43: Compile class-aterm bridge to native code with gcjimprovement 0.4 wontfix

42

Apr '05

DRY-42: Source files registered in Dryad model are not reclassifiederror 0.1

41

Apr '05

DRY-41: Find out why jls-tests does not work in the buildfarm0.1

40

Apr '05

DRY-40: Possible bug in boolean method invocationserror 0.1

39

Apr '05

DRY-39: Annotate expressions with conversionsimprovement 0.1

38

Apr '05

DRY-38: Assembler: improve error reporting for missing Code attributeimprovement 0.1

37

Apr '05

DRY-37: Assembler: support assembling None for max stack and localserror 0.1

36

Mar '05

DRY-36: Signatures: Use source types instead of 3rd type variantimprovement 0.1

35

Mar '05

DRY-35: Support assembling 1.5 signature attributesfeature 0.4

34

Mar '05

DRY-34: TC: qualified super field accessfeature 0.1

33

Mar '05

DRY-33: Implement type checking of super field accessfeature 0.1

32

Mar '05

DRY-32: Support assembling of local variable tablesfeature 0.4

31

Mar '05

DRY-31: Amb: Implement tests for MethodName disambiguation0.1

30

Mar '05

DRY-30: Support assembling field attributeserror 0.4

29

Dec '04

DRY-29: Disamb: Constants declared in interfaces are not supported.error 0.1

28

Dec '04

DRY-28: Disamb: TypeNames in this package are not qualified.error 0.1

27

Dec '04

DRY-27: Disamb: Check that TypeNames have all been qualifiedimprovement 0.1

26

Dec '04

DRY-26: Improve performance of reading rt.classesimprovement 0.1

25

Dec '04

DRY-25: Disamb: handle interface declarationserror 0.1

24

Dec '04

DRY-24: Disamb ClassOrInterfaceType uses of source classes and interfaces.feature 0.1

23

Dec '04

DRY-23: Options: support multiple inputs and outputs.feature 0.1

22

Dec '04

DRY-22: java.lang types should be imported with on-demand type importerror 0.1

21

Sep '04

DRY-21: Remove static method calls applied to instances.feature 0.6

20

Sep '04

DRY-20: Fix the scope of local variables declared in for statement.feature 0.1

19

Sep '04

DRY-19: Split multiple local variable declarations into separate ones.feature 0.6

18

Sep '04

DRY-18: Set default values of uninitialized variables.feature 0.6

17

Sep '04

DRY-17: Move complex instance variable initializers to instance initializerfeature 0.6

16

Sep '04

DRY-16: Move complex class variable intializers to static initializerfeature 0.6

15

Sep '04

DRY-15: Add a default constructor if no constructor exists.feature 0.6

14

Sep '04

DRY-14: Desugar fancy for loop to plain for loop.feature 0.6

13

Sep '04

DRY-13: Ensure that there is a return to void methods.feature 0.6

12

Sep '04

DRY-12: Desugar string concat to StringBuffer (or StringBuilder?)feature 0.6

11

Sep '04

DRY-11: Add extends java.lang.Object if no superclass existsfeature 0.6

10

Sep '04

DRY-10: Single typename imports must shadow on demand imports.feature 0.1

9

Sep '04

DRY-9: Support static on demand imports.feature 0.4

8

Sep '04

DRY-8: Desugar the deprecated array result type notation.feature 0.6

7

Sep '04

DRY-7: Local variables: reject duplicate declarations.feature 0.4

6

Sep '04

DRY-6: Restrict instance field to non-static parts.feature 0.4

5

Aug '04

DRY-5: Separate tool for disassembling the ConstantPoolfeature 0.5

4

Aug '04

DRY-4: Support unkown attributesfeature 0.4

3

Aug '04

DRY-3: Support 1.5 annotation attributesfeature 0.4

2

Aug '04

DRY-2: Support disassembling of 1.5 signature attributesfeature 0.1

1

Aug '04

DRY-1: Optimize disassembling without codeimprovement 0.1