[ nice-Bugs-982048 ] Internal NPE with contracts

Bugs item #982048, was opened at 2004-06-29 09:33
Message generated for change (Comment added) made by xoltar
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=982048&group_id=12788

Category: None
Group: None
Status: Open
Resolution: Accepted
Priority: 5
Submitted By: Bryn Keller (xoltar)
Assigned to: Nobody/Anonymous (nobody)
Summary: Internal NPE with contracts

Initial Comment:
With latest CVS version:

class A { ?int foo; }

void bar(A a) 
  requires a.foo == null || a.foo.notNull >= 0
{}

C:\src\nice>nicec -a test test
nice.lang: parsing
test: parsing
test: typechecking
test: generating code
test: linking

An exception has occured in the compiler
Please fill-in a bug report at the following webpage:
http://sourceforge.net/tracker/?func=add&group_id=12788&atid=112788

Stack trace:
Exception in thread "main" java.lang.NullPointerException
        at
bossa.syntax.MethodImplementation.getRefExp(MethodImplementation.java
:173)
        at
bossa.syntax.MethodImplementation.compile(MethodImplementation.java:1
84)
        at bossa.syntax.AST.compile(AST.java:218)
        at
bossa.modules.Package.generateCode(Package.java:718)
        at bossa.modules.Package.compile(Package.java:268)
        at mlsub.compilation.fun.lambda21(make.nice:30)
        at mlsub.compilation.fun.apply1(fun.nice)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:134)
        at nice.lang.dispatch.foreach(dispatch.nice)
        at
mlsub.compilation.fun.compileComponent(make.nice:30)
        at
mlsub.compilation.dispatch.compileComponent(dispatch.nice)
        at
mlsub.compilation.fun$make.lambda19(make.nice:45)
        at mlsub.compilation.fun$make.apply1(fun.nice)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:134)
        at nice.lang.dispatch.foreach(dispatch.nice)
        at mlsub.compilation.fun.make(make.nice:44)
        at mlsub.compilation.dispatch.make(dispatch.nice)
        at
nice.tools.compiler.fun.compile(interface.nice:40)
        at
bossa.modules.Compilation.compile(Compilation.nice)
        at
nice.tools.compiler.console.fun.compile(main.nice:168)
        at
nice.tools.compiler.console.dispatch.compile(dispatch.nice)
        at
nice.tools.compiler.console.fun.main(main.nice:184)


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

>Comment By: Bryn Keller (xoltar)
Date: 2004-06-29 12:26

Message:
Logged In: YES 
user_id=2706

Yes, that's where I originally got the error too, both the
other day, and then again this morning. I did a CVS update
to make sure it still happened, and built with the dev jar,
but when I tried to compile the example again, I got this
error message instead. Weird.

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

Comment By: Daniel Bonniot (bonniot)
Date: 2004-06-29 12:10

Message:
Logged In: YES 
user_id=88952

Hum, this looks like your previous problem. Didn't go away
after all (one shouldn't hope it would!). 

Strangely, we can reproduce it, although with a different error:

Exception in thread "main" java.lang.NullPointerException
 at gnu.expr.FindCapturedVars.capture(FindCapturedVars.java:179)

So I wonder what makes the difference, but in any case we
have something to fix, and then we will see. It's going to
delay 0.9.8 a bit, but oh well...


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

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


-------------------------------------------------------
This SF.Net email sponsored by Black Hat Briefings & Training.
Attend Black Hat Briefings & Training, Las Vegas July 24-29 - 
digital self defense, top technical experts, no vendor pitches, 
unmatched networking opportunities. Visit www.blackhat.com