[ nice-Bugs-982048 ] Internal NPE with contracts

Bugs item #982048, was opened at 2004-06-29 09:33
Message generated for change (Tracker Item Submitted) made by Item Submitter
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: None
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)


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

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