aboutsummaryrefslogtreecommitdiff
path: root/nontrivial utility
diff options
context:
space:
mode:
authorYuchen Pei <hi@ypei.me>2022-07-28 15:32:10 +1000
committerYuchen Pei <hi@ypei.me>2022-07-28 15:32:10 +1000
commit5b10a10743b8459f64fe83e0ff420f69da79c9a4 (patch)
treec61904d688247790181d4955a4074b8c94302c03 /nontrivial utility
parentb98cb70b1bcd5b211aaa5d2675f96416911c0647 (diff)
Moving scripts and utilities into a new utilities dir
Diffstat (limited to 'nontrivial utility')
-rw-r--r--nontrivial utility/README4
-rw-r--r--nontrivial utility/nontriv.html135
2 files changed, 0 insertions, 139 deletions
diff --git a/nontrivial utility/README b/nontrivial utility/README
deleted file mode 100644
index 1947bd0..0000000
--- a/nontrivial utility/README
+++ /dev/null
@@ -1,4 +0,0 @@
-
-A utility that generates the JSON that the background script uses to determine if something is user defined, trivial or nontrivial.
-
-It is important to recognize that the objects that this script finds are likely dependent on what browser this script is running on since it gets the list by reading the contents of the global object. Make sure this is run on an up to date browser.
diff --git a/nontrivial utility/nontriv.html b/nontrivial utility/nontriv.html
deleted file mode 100644
index aaf49ba..0000000
--- a/nontrivial utility/nontriv.html
+++ /dev/null
@@ -1,135 +0,0 @@
-<!doctype html>
-
-<head>
-</head>
-<body>
-
-<script>
-window.onload = function (){
- var s = Object.getOwnPropertyNames(window);
-
- var kids = document.getElementById("categories").children;
- for(var i = 0; i < kids.length; i++){
- var checkbox = "<input name='opt' id='cat_"+kids[i].id+"' type='checkbox'></input>";
- kids[i].insertAdjacentHTML("beforeend",checkbox+"Check entire category\n");
- document.getElementById("cat_"+kids[i].id).addEventListener("click",function(){
- var nontriv = document.getElementById(this.id.substring(4,this.id.length));
- for(var j = 0; j < nontriv.children.length; j++){
- if(this.checked){
- nontriv.children[j].checked = true;
- } else{
- nontriv.children[j].checked = false;
- }
- }
- });
- }
-
- for(var i = 0; i < s.length; i++){
- var checkbox = "<input name='opt' id='"+s[i]+"' type='checkbox'></input>";
-
- if(s[i].indexOf("HTML") == 0){
- document.getElementById("html").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("CSS") == 0){
- document.getElementById("css").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("SVG") == 0){
- document.getElementById("svg").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("on") == 0){
- document.getElementById("event").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("RTC") == 0){
- document.getElementById("rtc").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("HTML") == 0){
- document.getElementById("html").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("VR") == 0){
- document.getElementById("vr").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("WebGL") == 0){
- document.getElementById("webgl").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("DOM") == 0){
- document.getElementById("dom").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("IDB") == 0){
- document.getElementById("idb").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("Audio") != -1){
- document.getElementById("audio").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("Gamepad") == 0){
- document.getElementById("gamepad").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("Media") == 0){
- document.getElementById("media").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("Event") != -1){
- document.getElementById("event2").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else{
- document.getElementById("other").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }
- }
-
- document.getElementById("gen").addEventListener("click",function(){
- var temp = document.getElementsByName("opt");
- var outputjson = {};
- for(var i = 1; i < temp.length; i++){
- outputjson[temp[i].id] = temp[i].checked;
- }
- document.getElementById("output").innerHTML = JSON.stringify(outputjson, null, '\t');
- });
- document.getElementById("read").addEventListener("click",function(){
- var inputjson = JSON.parse(document.getElementById("injson").value);
- console.log(inputjson);
- var keys = Object.keys(inputjson);
- for(var i = 0; i < keys.length; i++){
- console.log(inputjson[keys[i]]);
- if(inputjson[keys[i]] == true){
- document.getElementById(keys[i]).checked = true;
- } else{
- document.getElementById(keys[i]).checked = false;
- }
- }
- return;
- });
-}
-</script>
-
-This page allows us to generate the allowed/disallowed object JSON.
-<br>
-<br>
-We know it's up to date because it iterates over all keys of the window variable (which is the global object for browsers)
-<br>
-<br>
-(True = nontrivial, false = trivial)
-<br><br><br>
-<textarea id="injson" rows="4" cols="50"></textarea>
-<br>
-<input id="read" type="button" value="Load JSON"></input>
-<br>
-<input id="gen" type="button" value="Generate"></input>
-<br>
-<pre id="output"></pre>
-<div id="categories">
-
-<pre id="webgl">WebGL
-</pre>
-<pre id="svg">SVG
-</pre>
-<pre id="html">HTML
-</pre>
-<pre id="css">CSS
-</pre>
-<pre id="event">Events
-</pre>
-<pre id="rtc">WebRTC
-</pre>
-<pre id="vr">VR
-</pre>
-<pre id="dom">DOM
-</pre>
-<pre id="idb">IDB
-</pre>
-<pre id="audio">Audio
-</pre>
-<pre id="gamepad">Gamepad
-</pre>
-<pre id="media">Media
-</pre>
-<pre id="event2">Other events
-</pre>
-<pre id="other">All else
-</pre>
-
-</div>
-</body>