summaryrefslogtreecommitdiff
path: root/src/wasm.h
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2015-11-05 13:15:15 -0800
committerAlon Zakai <alonzakai@gmail.com>2015-11-05 13:15:15 -0800
commit126c556960bf550fdbab9e34ca5b666657c03a7e (patch)
tree1bbfde532afe12d68b10b9b46bb5a9e83903114f /src/wasm.h
parenta3df15c2c6e7cfad29ce41603f954573f0726659 (diff)
downloadbinaryen-126c556960bf550fdbab9e34ca5b666657c03a7e.tar.gz
binaryen-126c556960bf550fdbab9e34ca5b666657c03a7e.tar.bz2
binaryen-126c556960bf550fdbab9e34ca5b666657c03a7e.zip
add a validation checker to Module
Diffstat (limited to 'src/wasm.h')
-rw-r--r--src/wasm.h15
1 files changed, 15 insertions, 0 deletions
diff --git a/src/wasm.h b/src/wasm.h
index db0abcba7..df42951d4 100644
--- a/src/wasm.h
+++ b/src/wasm.h
@@ -890,6 +890,21 @@ public:
decIndent(o, indent);
return o << '\n';
}
+
+ bool validate() {
+ for (auto& exp : exports) {
+ Name name = exp.name;
+ bool found = false;
+ for (auto& func : functions) {
+ if (func->name == name) {
+ found = true;
+ break;
+ }
+ }
+ if (!found) return false;
+ }
+ return true;
+ }
};
//