[ nice-Bugs-1090913 ] 'assert false' in method returning a value

Bugs item #1090913, was opened at 2004-12-24 19:40
Message generated for change (Settings changed) made by bonniot
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1090913&group_id=12788

Category: None
Group: None
Status: Closed
Resolution: Fixed
Priority: 5
Submitted By: mike.beckerle (mbeckerle)
Assigned to: Daniel Bonniot (bonniot)
>Summary: 'assert false' in method returning a value

Initial Comment:
See attached.

package bug4;


(String, ?List<int>, ?int, int)
  frag(int by, int pos) {
  return ("none", null, null, pos);
}

// Interface
(String, ?List<int>, ?int, int)
 utf8cc(String, ?List<int>, int by, int pos)
 requires pos >= 0 ;

utf8cc(str, lst, by, pos) { assert false : "couldn't 
handle"; }

utf8cc("none", null, by, pos) = (((by & 0x80) == 0x80) ? 
("none", null, by, pos): frag(by, pos));


----------------------------------------------------------------------

Comment By: Daniel Bonniot (bonniot)
Date: 2004-12-25 16:53

Message:
Logged In: YES 
user_id=88952

The JVM was complaining because assertions can be disabled,
in which case the method with 'assert false' failed to
return any value. This is now fixed in CVS, and should soon
be in the development version.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1090913&group_id=12788


-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now. 
http://productguide.itmanagersjournal.com/