#9 merge bug in courier

[guidiclaudio]

Courier with extender does not merge types with undefined values. Ex:

type example: void { ? }

A nullPointer exception is raised

[Matthias Dieter Wallnöfer]

Old bug, still an issue?

[Matthias Dieter Wallnöfer]

Also this has been fixed by me last November and can be closed.

Fabrizio Montesi schrieb:

Dear all,

Here's another simple task for Jolie 1.1.

Claudio found out that if you use an undefined type in a cset
declaration Jolie throws a NullPointerException instead of reporting
an error message correctly:

java.lang.NullPointerException
at jolie.lang.parse.SemanticVerifier.checkCorrelationAlias(SemanticVerifier.java:362)
at jolie.lang.parse.SemanticVerifier.checkCorrelationSets(SemanticVerifier.java:316)
at jolie.lang.parse.SemanticVerifier.validate(SemanticVerifier.java:373)
at jolie.Interpreter.buildOOIT(Interpreter.java:1171)
at jolie.Interpreter.init(Interpreter.java:1000)
at jolie.Interpreter.run(Interpreter.java:1069)
at jolie.Jolie.main(Jolie.java:59)

I'm attaching a simple test for replicating the bug.

Let me know if you'd like to have a look into this and submit a patch.

Cheers,
Fabrizio