1 files changed, 11 insertions, 0 deletions
diff --git a/kjsembed/tools/coverage/unsupported.js b/kjsembed/tools/coverage/unsupported.js
new file mode 100644
index 00000000..331849e2
--- /dev/null
+++ b/kjsembed/tools/coverage/unsupported.js
@@ -0,0 +1,11 @@
+
+var line = readLine();
+while ( line != null ) {
+      line = line.replace( /^ */g, '' );      
+      line = line.replace( / *$/g, '' );      
+
+      if ( !Factory.isSupported( line ) )
+         print( line + ' MISSING\n' );
+
+      line = readLine();
+}