Javascript: support null pointers.

We allow to set pointer types using JS null.
This commit is contained in:
Oliver Buchtala 2014-05-19 00:21:21 +02:00
commit 3f0f588891
3 changed files with 32 additions and 7 deletions

View file

@ -0,0 +1,9 @@
var null_pointer = require("null_pointer");
if (!null_pointer.func(null)) {
throw new Error("Javascript 'null' should be converted into NULL.");
}
if (null_pointer.getnull() != null) {
throw new Error("NULL should be converted into Javascript 'null'.");
}