[Nice-devel] [ nice-Bugs-982048 ] Internal NPE with contracts
Brought to you by:
bonniot
From: SourceForge.net <no...@so...> - 2004-06-29 21:48:58
|
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 14:48 Message: Logged In: YES user_id=2706 I mean I originally got the error Exception in thread "main" java.lang.NullPointerException at gnu.expr.FindCapturedVars.capture(FindCapturedVars.java:179) and after I had rebuilt the compiler, I instead got the error: Exception in thread "main" java.lang.NullPointerException at bossa.syntax.MethodImplementation.getRefExp(MethodImplementation.java:173) ---------------------------------------------------------------------- Comment By: Daniel Bonniot (bonniot) Date: 2004-06-29 14:36 Message: Logged In: YES user_id=88952 By "this message" you mean the same as me? ---------------------------------------------------------------------- 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 |