semantic/prototype/UI/index.html

<!doctype html>
<html>
  <head>
  	<title>semantic-diff</title>
    <style type="text/css">
    body {
        margin: 0;
        padding: 0;
    }
    #before {
        width: 50%;
        background: #ffecec;
        float: left;
        white-space: pre-wrap;
    }
    #after {
        width: 50%;
        background: #eaffea;
        float: right;
        white-space: pre-wrap;
    }
    .insert {
        background-color: #eaffea;
        outline: 1px solid #c1e9c1;
        margin-left: 50%;
    }
    .delete {
        background-color: #ffecec;
        outline: 1px solid #f1c0c0;
        margin-right: 50%;
    }
    .replace {
        background-color: #eee;
    }
    </style>
    <script type="text/javascript">
    function loadJSON(path, callback) {
        var request = new XMLHttpRequest();
        request.overrideMimeType("application/json");
        request.open('GET', '' + path, true);
        request.onreadystatechange = function () {
            if (request.readyState == 4 && (request.status == "200" || request.status == 0)) {
                callback(JSON.parse(request.responseText));
            }
        };
        request.send(null);
    }

    function wrap(tagName, element) {
        if (element == null) { return null; }
        var node = document.createElement(tagName);
        node.appendChild(element);
        return node;
    }

    function patch(patch) {
        // fixme: handle annotated terms
        if (patch["delete"] != null) {}
        if (patch["insert"] != null) {}
        if (patch["replace"] != null) {}
    }

    function indexed(array, continuation) {
        for (index in array) {
            syntax(array[index]);
        }
    }

    function keyed(object, continuation) {
        for (key in object) {
            syntax(object[key]);
        }
    }

    function syntax(json, continuation) {
        if (json instanceof Array) { return indexed(json, continuation); }
        if (json instanceof Object) { return keyed(json, continuation); }
        // fixme: handle leaves
    }

    function diff(json) {
        if (json["pure"] != null) { return patch(json["pure"]); }
        if (json["roll"] != null) { return syntax(json["roll"]); }
    }
    </script>
  </head>
  <body>
    <div id="before"></div>
    <div id="after"></div>
    <div id="diff"></div>
    <script type="text/javascript">
    loadJSON('diff.json', function (json) {
        document.getElementById("before").textContent = json.a;
        document.getElementById("after").textContent = json.b;

        console.log(json["diff"]);
        diff(json["diff"]);
    });
    </script>
  </body>
</html>
Add a simple scaffold web page loading the doubt-swift JSON output fixture. 2015-10-09 21:31:06 +03:00			`<!doctype html>`
			`<html>`
			`<head>`
			`<title>semantic-diff</title>`
Add left/right divs. 2015-10-09 22:27:44 +03:00			`<style type="text/css">`
No margin/padding. 2015-10-21 18:48:46 +03:00			`body {`
			`margin: 0;`
			`padding: 0;`
			`}`
Position the columns. 2015-10-21 18:11:14 +03:00			`#before {`
			`width: 50%;`
Paint the columns. 2015-10-21 18:11:37 +03:00			`background: #ffecec;`
Position the columns. 2015-10-21 18:11:14 +03:00			`float: left;`
Treat whitespace in the columns as significant. 2015-10-21 18:11:30 +03:00			`white-space: pre-wrap;`
Position the columns. 2015-10-21 18:11:14 +03:00			`}`
			`#after {`
			`width: 50%;`
Paint the columns. 2015-10-21 18:11:37 +03:00			`background: #eaffea;`
Position the columns. 2015-10-21 18:11:14 +03:00			`float: right;`
Treat whitespace in the columns as significant. 2015-10-21 18:11:30 +03:00			`white-space: pre-wrap;`
Position the columns. 2015-10-21 18:11:14 +03:00			`}`
Style insertions/deletions a little. 2015-10-13 18:07:40 +03:00			`.insert {`
Background colours for insertions/deletions. 2015-10-13 18:43:25 +03:00			`background-color: #eaffea;`
Change up the outline colours. 2015-10-13 18:43:17 +03:00			`outline: 1px solid #c1e9c1;`
Shift things to either side. 2015-10-13 18:24:55 +03:00			`margin-left: 50%;`
Style insertions/deletions a little. 2015-10-13 18:07:40 +03:00			`}`
			`.delete {`
Background colours for insertions/deletions. 2015-10-13 18:43:25 +03:00			`background-color: #ffecec;`
Change up the outline colours. 2015-10-13 18:43:17 +03:00			`outline: 1px solid #f1c0c0;`
Shift things to either side. 2015-10-13 18:24:55 +03:00			`margin-right: 50%;`
Style insertions/deletions a little. 2015-10-13 18:07:40 +03:00			`}`
HIghlight replacements. 2015-10-13 18:25:20 +03:00			`.replace {`
Grey backgrounds for replacements. 2015-10-13 20:17:18 +03:00			`background-color: #eee;`
HIghlight replacements. 2015-10-13 18:25:20 +03:00			`}`
Add left/right divs. 2015-10-09 22:27:44 +03:00			`</style>`
Add a simple scaffold web page loading the doubt-swift JSON output fixture. 2015-10-09 21:31:06 +03:00			`<script type="text/javascript">`
			`function loadJSON(path, callback) {`
			`var request = new XMLHttpRequest();`
			`request.overrideMimeType("application/json");`
			`request.open('GET', '' + path, true);`
			`request.onreadystatechange = function () {`
			`if (request.readyState == 4 && (request.status == "200" \|\| request.status == 0)) {`
Parse the response text. 2015-10-09 21:36:18 +03:00			`callback(JSON.parse(request.responseText));`
Add a simple scaffold web page loading the doubt-swift JSON output fixture. 2015-10-09 21:31:06 +03:00			`}`
			`};`
			`request.send(null);`
			`}`
Add a function doing faux sum typing on JSON. 2015-10-13 16:47:47 +03:00
Add a function to wrap a node in another node. 2015-10-13 18:10:54 +03:00			`function wrap(tagName, element) {`
Only wrap elements that exist. 2015-10-13 18:22:56 +03:00			`if (element == null) { return null; }`
Add a function to wrap a node in another node. 2015-10-13 18:10:54 +03:00			`var node = document.createElement(tagName);`
			`node.appendChild(element);`
			`return node;`
			`}`

Stub in a function to process patches. 2015-10-21 18:49:03 +03:00			`function patch(patch) {`
We’ll need to handle annotated terms. 2015-10-21 19:02:10 +03:00			`// fixme: handle annotated terms`
Stub in a function to process patches. 2015-10-21 18:49:03 +03:00			`if (patch["delete"] != null) {}`
			`if (patch["insert"] != null) {}`
			`if (patch["replace"] != null) {}`
			`}`

Pass a continuation around. 2015-10-21 19:01:19 +03:00			`function indexed(array, continuation) {`
Add a function for processing indexed elements. 2015-10-21 18:17:16 +03:00			`for (index in array) {`
			`syntax(array[index]);`
			`}`
			`}`
Add a function for processing keyed syntax elements. 2015-10-21 18:17:25 +03:00
Pass a continuation around. 2015-10-21 19:01:19 +03:00			`function keyed(object, continuation) {`
Add a function for processing keyed syntax elements. 2015-10-21 18:17:25 +03:00			`for (key in object) {`
			`syntax(object[key]);`
			`}`
			`}`
Add a function for processing syntax elements. 2015-10-21 18:17:33 +03:00
Pass a continuation around. 2015-10-21 19:01:19 +03:00			`function syntax(json, continuation) {`
			`if (json instanceof Array) { return indexed(json, continuation); }`
			`if (json instanceof Object) { return keyed(json, continuation); }`
We need to handle leaves. 2015-10-21 19:00:46 +03:00			`// fixme: handle leaves`
Add a function for processing syntax elements. 2015-10-21 18:17:33 +03:00			`}`
Call out to patch/syntax when processing a diff. 2015-10-21 18:59:48 +03:00
			`function diff(json) {`
			`if (json["pure"] != null) { return patch(json["pure"]); }`
			`if (json["roll"] != null) { return syntax(json["roll"]); }`
			`}`
Add a simple scaffold web page loading the doubt-swift JSON output fixture. 2015-10-09 21:31:06 +03:00			`</script>`
			`</head>`
			`<body>`
Add column elements to the HTML. 2015-10-21 18:11:01 +03:00			`<div id="before"></div>`
			`<div id="after"></div>`
Insert the diffs into a #diff element. 2015-10-13 18:05:13 +03:00			`<div id="diff"></div>`
Add a simple scaffold web page loading the doubt-swift JSON output fixture. 2015-10-09 21:31:06 +03:00			`<script type="text/javascript">`
Load diff.json. 2015-10-21 00:52:04 +03:00			`loadJSON('diff.json', function (json) {`
Populate the columns with the original sources. 2015-10-21 18:11:50 +03:00			`document.getElementById("before").textContent = json.a;`
			`document.getElementById("after").textContent = json.b;`
Process the diff. 2015-10-21 18:17:39 +03:00
Log the diff. 2015-10-21 18:59:56 +03:00			`console.log(json["diff"]);`
Process the top-level diff with `diff`. 2015-10-21 19:01:30 +03:00			`diff(json["diff"]);`
Add a simple scaffold web page loading the doubt-swift JSON output fixture. 2015-10-09 21:31:06 +03:00			`});`
			`</script>`
			`</body>`
			`</html>`