YellowGrass
About
About YellowGrass
Features
Tag Manual
Browse Public Projects
Sign In
Sign Up
Dryad
Q&A
Search
Tagged error
issuetype
252
Apr '07
DRY-252: Parameter with array dimension in name is not type-checked
error
0.2
251
Apr '07
DRY-251: No conversions generated for enhanced for loop
error
0.2
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
248
Mar '07
DRY-248: No widening reference conversion generated for null
error
0.2
247
Feb '07
DRY-247: Dryad frontend fails for semicolon in CompilationUnit
error
0.1
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
243
Sep '06
DRY-243: the reclassification does not support local variables arrays
error
0.1
242
Sep '06
DRY-242: the reclassification does not support local variable fields
error
0.1
241
Sep '06
DRY-241: Type of an Array field
error
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 declaration
error
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 classes
error
0.1
235
Mar '06
DRY-235: Type-checker fails to attribute Arrays.asList invocation
error
0.3
234
Mar '06
DRY-234: Invocations of some methods are not annotated properly
error
0.1
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 classes
error
0.1
229
Mar '06
DRY-229: Reclassification: support inherited member classes
error
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
224
Feb '06
DRY-224: Qualification of type parameters: use the new canonical name for methods.
error
0.3
222
Feb '06
DRY-222: Scoping problem in new reclassifier
error
0.1
218
Feb '06
DRY-218: Use a work list for reclassification
error
0.1
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
211
Jan '06
DRY-211: Failure to disambiguate a reference to a base class field when used in a simple expression
error
0.1
206
Jan '06
DRY-206: Invert redirect of get-canonical-name and get-fully-qualified-name
error
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-checker
error
0.1
197
Dec '05
DRY-197: Fields from superclass hidden by fields in this class are not inherited
error
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-methods
error
0.1
notabug
194
Dec '05
DRY-194: Access of interface fields must default to public
error
0.1
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
184
Dec '05
DRY-184: Implement is-accessible-from for constructors
error
0.1
183
Dec '05
DRY-183: Fix accessibility check for method invocations on member classes
error
0.1
181
Dec '05
DRY-181: Implement details on access to protected member (6.6.2.1)
error
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 modifiers
error
0.1
175
Dec '05
DRY-175: Access of method in source interface must default to public
error
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 inherited
error
0.1
166
Nov '05
DRY-166: Model: source java.lang.Object has no superclass
error
0.1
160
Oct '05
DRY-160: strcflags variable in pkg-config file does not work.
error
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 conversions
error
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
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
145
Aug '05
DRY-145: Implement lub
error
0.1
143
Aug '05
DRY-143: Method invocation: unchecked conversion required -> erase return type
error
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
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
127
Jul '05
DRY-127: Bytecode: get-return-type and get-formal-parameter-types must consider generic signature attribute.
error
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
114
Jul '05
DRY-114: Amb: fix scoping issues in disamb of PackageOrTypeName.
error
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 reclassified
error
0.1
78
Jun '05
DRY-78: TC: cannot type field access on constantdec available by implement of interface
error
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 : e3
error
0.1
71
Jun '05
DRY-71: Method invocations: implement select-maximally-specific-methods
error
0.3
68
Jun '05
DRY-68: Model: get-methods must also return methods declared in superinterfaces.
error
0.1
66
Jun '05
DRY-66: Model: get-superinterfaces-as-type not implemented for source classes
error
0.1
65
Jun '05
DRY-65: Casts source types are not type annotated
error
0.1
61
Jun '05
DRY-61: Ordering of FieldDecls matters for correctness
error
0.4
52
Apr '05
DRY-52: Support source fields
error
0.1
42
Apr '05
DRY-42: Source files registered in Dryad model are not reclassified
error
0.1
40
Apr '05
DRY-40: Possible bug in boolean method invocations
error
0.1
37
Apr '05
DRY-37: Assembler: support assembling None for max stack and locals
error
0.1
30
Mar '05
DRY-30: Support assembling field attributes
error
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
25
Dec '04
DRY-25: Disamb: handle interface declarations
error
0.1
22
Dec '04
DRY-22: java.lang types should be imported with on-demand type import
error
0.1