Dryad / 0.1 - on YellowGrass.org

247

Feb '07

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

245

Feb '07

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

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

236

Mar '06

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

234

Mar '06

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

232

Mar '06

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

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

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

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

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

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

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

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

188

Dec '05

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

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

177

Dec '05

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

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

150

Aug '05

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

147

Aug '05

DRY-147: Implement capture conversion.error 0.1

145

Aug '05

DRY-145: Implement luberror 0.1

143

Aug '05

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

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

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

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

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

108

Jul '05

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

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

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

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

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

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

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

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

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

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

31

Mar '05

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

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

20

Sep '04

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

10

Sep '04

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

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