Modify bindings to automatically remove Array proto fills

toledorafael · Feb 9, 2016 · c1d8c64 · c1d8c64
1 parent 773c7a3
commit c1d8c64
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 2 deletions.
diff --git a/compiled/z3.emscripten.js.mem b/compiled/z3.emscripten.js.mem
diff --git a/compiled/z3_bindings_em.js b/compiled/z3_bindings_em.js
@@ -1,5 +1,9 @@
 "use strict";
 
+//Remove fill on Array as it causes emscripten to crash (Re added at bottom of file)
+var findProto = Array.prototype.find;
+delete Array.prototype.find;
+
 import Module from './z3.emscripten.js';
 
 // Manually defined types (from Z3 Python API). Could possibly be simplified to just Voidp
@@ -64,7 +68,9 @@ var ref = {
 	refType: function() {
 		return 'number';
 	}
-}; 
+};
+
+Array.prototype.find = findProto; 
 
 var GeneratedBindings = []; 
 

diff --git a/compiled/z3_bindings_em_es5.js b/compiled/z3_bindings_em_es5.js
@@ -1,5 +1,7 @@
 "use strict";
 
+//Remove fill on Array as it causes emscripten to crash (Re added at bottom of file)
+
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
@@ -10,6 +12,9 @@ var _z3Emscripten2 = _interopRequireDefault(_z3Emscripten);
 
 function _interopRequireDefault(obj) { return obj && obj.__esModule ? obj : { default: obj }; }
 
+var findProto = Array.prototype.find;
+delete Array.prototype.find;
+
 // Manually defined types (from Z3 Python API). Could possibly be simplified to just Voidp
 // but maybe we'll need the distinction later
 var Void = null,
@@ -74,6 +79,8 @@ var ref = {
   }
 };
 
+Array.prototype.find = findProto;
+
 var GeneratedBindings = [];
 
 GeneratedBindings['Z3_global_param_set'] = [Void, [CString, CString]];

diff --git a/templates/pre_em_bindings.js b/templates/pre_em_bindings.js
@@ -1,5 +1,9 @@
 "use strict";
 
+//Remove fill on Array as it causes emscripten to crash (Re added at bottom of file)
+var findProto = Array.prototype.find;
+delete Array.prototype.find;
+
 import Module from './z3.emscripten.js';
 
 // Manually defined types (from Z3 Python API). Could possibly be simplified to just Voidp
@@ -64,4 +68,6 @@ var ref = {
 	refType: function() {
 		return 'number';
 	}
-};
+};
+
+Array.prototype.find = findProto;