YellowGrass
About
About YellowGrass
Features
Tag Manual
Browse Public Projects
Sign In
Sign Up
Dryad
Q&A
Search
Open Issues of Project Dryad
250
Mar '07
DRY-250: No conversions generated for return statement
error
0.2
249
Mar '07
DRY-249: No narrowing conversion generated for literal primitives
error
0.2
246
Feb '07
DRY-246: No MethodInvocationConversion annotation generated for a WideningPrimitiveConversion
error
0.2
244
Sep '06
DRY-244: Check the reclassifications of amb names to fields
error
0.2
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
235
Mar '06
DRY-235: Type-checker fails to attribute Arrays.asList invocation
error
0.3
233
Mar '06
DRY-233: TC: explicit qualified this constructor invocation
feature
0.2
231
Mar '06
DRY-231: Consider to introduce qualified this for field access of enclosing classes.
error
0.2
227
Mar '06
DRY-227: Lub of int and String is very busy. Check if this is an infinite type.
error
0.3
224
Feb '06
DRY-224: Qualification of type parameters: use the new canonical name for methods.
error
0.3
217
Feb '06
DRY-217: Disamb: support local class declarations
error
0.3
216
Feb '06
DRY-216: Deal with cyclic static imports
error
0.3
215
Feb '06
DRY-215: Check that imports use canonical names
error
0.2
214
Feb '06
DRY-214: Support other, open source, virtual machines (Kaffe, JamVM)
feature
0.3
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 conversions
feature
0.2
203
Dec '05
DRY-203: No super invocation in default constructor for java.lang.Object.
error
0.4
200
Dec '05
DRY-200: Annotate expressions with information on variable/not.
error
0.4
192
Dec '05
DRY-192: is-applicable-method-by-subtyping: allow unchecked conversion
error
0.3
191
Dec '05
DRY-191: is-applicable-method-by-subtyping: check the bounds of formal type parameters
error
0.3
190
Dec '05
DRY-190: is-applicable-method-by-method-invocation-conversion: check the bounds of formal parameter types
error
0.3
189
Dec '05
DRY-189: dryad-tc-search-class-of-method: handle variable primaries
error
0.4
187
Dec '05
DRY-187: Invocation: store information about application of type erasure.
0.3
178
Dec '05
DRY-178: Top-level classes cannot be protected or private.
error
0.4
176
Dec '05
DRY-176: Report error for conflicting or duplicate access modifiers.
feature
0.4
155
Sep '05
DRY-155: Can supertypes be listed?
0.4
154
Sep '05
DRY-154: Capture conversion: support for bounded wildcards
feature
0.3
153
Aug '05
DRY-153: Support for transformation transactions
feature
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
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
146
Aug '05
DRY-146: Wildcard support
feature
0.3
142
Aug '05
DRY-142: Support explicit type arguments in constructor invocations.
error
0.3
135
Aug '05
DRY-135: Generics: support raw types
feature
0.3
129
Aug '05
DRY-129: Model: implement get-type for methods
feature
0.4
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 dying
0.4
109
Jul '05
DRY-109: Model: implement get-binary-name
feature
0.4
107
Jul '05
DRY-107: Basic generics support
feature
0.3
102
Jul '05
DRY-102: Model: Generalize implementation of Reference AST and AST for all source objects.
feature
0.4
96
Jul '05
DRY-96: Model: optional operation that replaces method calls by pointers.
feature
0.4
80
Jun '05
DRY-80: Model: class: provide method get-visible-fields.
feature
0.4
71
Jun '05
DRY-71: Method invocations: implement select-maximally-specific-methods
error
0.3
61
Jun '05
DRY-61: Ordering of FieldDecls matters for correctness
error
0.4
57
May '05
DRY-57: Annotate method invocations with exceptions that can be thrown?
feature
0.4
35
Mar '05
DRY-35: Support assembling 1.5 signature attributes
feature
0.4
32
Mar '05
DRY-32: Support assembling of local variable tables
feature
0.4
30
Mar '05
DRY-30: Support assembling field attributes
error
0.4
21
Sep '04
DRY-21: Remove static method calls applied to instances.
feature
0.6
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 initializer
feature
0.6
16
Sep '04
DRY-16: Move complex class variable intializers to static initializer
feature
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 exists
feature
0.6
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 ConstantPool
feature
0.5
4
Aug '04
DRY-4: Support unkown attributes
feature
0.4
3
Aug '04
DRY-3: Support 1.5 annotation attributes
feature
0.4