[jmlspecs] #37: Report bugs in TreeCopier

[SourceForge.net]

#37: Report bugs in TreeCopier
----------------------+-----------------------------------------------------
 Reporter:  davidcok  |       Owner:  chalin      
     Type:  task      |      Status:  new        
 Priority:  minor     |   Milestone:  OpenJML-beta
Component:  JIR       |     Version:  1.0a        
 Keywords:            |  
----------------------+-----------------------------------------------------
 The review of the visitor classes found some apparent bugs in the OpenJDK
 TreeCopier class - see the differences in the files and report them to
 OpenJDK.  (THey are fixed in the OpenJML code line)

--
Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/37>
jmlspecs <http://sourceforge.net/projects/jmlspecs/>
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, documentation generation, unit testing, static checking, verification, etc.
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers

[SourceForge.net]

#37: Report bugs in TreeCopier
----------------------+-----------------------------------------------------
 Reporter:  davidcok  |       Owner:  David Cok  
     Type:  task      |      Status:  new        
 Priority:  minor     |   Milestone:  OpenJML-beta
Component:  OpenJML   |     Version:  1.0a        
 Keywords:            |  
----------------------+-----------------------------------------------------
Changes (by chalin):

  * owner:  chalin => David Cok
  * component:  JIR => OpenJML


--
Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/37#comment:1>
jmlspecs <http://sourceforge.net/projects/jmlspecs/>
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, documentation generation, unit testing, static checking, verification, etc.
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers