Tracker: Bugs
9
Wrong ASTs for local inner classes, their specs ignored - ID: 724229
Last Update: Settings changed ( leavens )
The JML parser currently generates MJC AST nodes for
local inner classes, i.e., instances of
JTypeDeclarationStatement. As a result, JML
specifications in these classes are completely ignored.
The parser should produce JML nodes, i.e., instances of
JMLTypeDeclarationStatement.
Nobody/Anonymous
checker (i.e., the jml tool)
self reported
Public
Comment ( 1 )
|
Date: 2006-05-19 06:06 Logged In: YES |
Attached File
No Files Currently Attached
Changes ( 8 )
| Field | Old Value | Date | By |
|---|---|---|---|
| assigned_to | cheon | 2006-05-25 22:33 | leavens |
| priority | 6 | 2006-05-19 06:06 | leavens |
| artifact_group_id | None | 2003-04-22 19:51 | leavens |
| category_id | None | 2003-04-22 19:51 | leavens |
| assigned_to | nobody | 2003-04-22 19:51 | leavens |
| priority | 5 | 2003-04-22 15:58 | leavens |
| summary | Parsing of local inner classes | 2003-04-22 15:58 | leavens |
| category_id | checker (i.e., the jml tool) | 2003-04-22 15:58 | leavens |
About SourceForge
Develop Software
Community
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
