1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
/* Any copyright is dedicated to the Public Domain.
* http://creativecommons.org/publicdomain/zero/1.0/ */
function log(text) {
dump("WORKER " + text + "\n");
}
function send(message) {
self.postMessage(message);
}
function finish() {
send({ kind: "finish" });
}
function ok(condition, description) {
send({ kind: "ok", condition: !!condition, description: "" + description });
}
function is(a, b, description) {
let outcome = a == b; // Need to decide outcome here, as not everything can be serialized
send({
kind: "is",
outcome,
description: "" + description,
a: "" + a,
b: "" + b,
});
}
function isnot(a, b, description) {
let outcome = a != b; // Need to decide outcome here, as not everything can be serialized
send({
kind: "isnot",
outcome,
description: "" + description,
a: "" + a,
b: "" + b,
});
}
function info(description) {
send({ kind: "info", description: "" + description });
}
|
