[ nice-Feature Requests-1153202 ] "ensures false" exit detection

Feature Requests item #1153202, was opened at 2005-02-28 06:49
Message generated for change (Comment added) made by artemgr
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=362788&aid=1153202&group_id=12788

Category: None
Group: None
Status: Open
Priority: 5
Submitted By: Artem Gr Kozarezov (artemgr)
Assigned to: Nobody/Anonymous (nobody)
Summary: "ensures false" exit detection

Initial Comment:
Treat function that "ensures false" in the same way as
an "assert false".

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

>Comment By: Artem Gr Kozarezov (artemgr)
Date: 2005-02-28 07:37

Message:
Logged In: YES 
user_id=289741

/// PASS
  ?String ss = null;
  try{
    if( null == ss ) fail( "ss is null" );
    ss = ss + "_";
  }catch( AssertionError ok ){}
  /// Toplevel
  <T> void fail( T message ) ensures false = throw new
AssertionError( message );

---
currently fails with

      [nicec]
Nice\testsuite-temp-folder\testcase1\main.nice: line 10,
column 13:
      [nicec] No possible call for +.
      [nicec] Arguments: (?java.lang.String, java.lang.String)

but the desired behaviour is to detect that ss is not null,
since
if( null == ss ) fail( "ss is null" );
is equivalent to
if( null == ss ) assert false;
becouse of "ensures false".


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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=362788&aid=1153202&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://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click