github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity

Construct terms directly.

Browse Source
This commit is contained in:
Rob Rix 2015-10-21 16:19:29 -04:00
parent d31f3ce85d
commit db8c04bd6f
1 changed files with 6 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
prototype/UI/index.html
View File

@ -57,9 +57,9 @@
return this; return this;
} }
function Term(range, syntax) { function Term(json, a, b) {
this.range = range; this.range = json.extract;
this.syntax = syntax; this.syntax = syntax(json.unwrap, a, b, function(x, a, b) { return new Term(x, a, b); });
return this; return this;
} }
@ -88,16 +88,10 @@
} }
} }
function term(json, a, b) {
if (json.extract == null || json.unwrap == null) { return null; }
return new Term(json.extract, syntax(json.unwrap, a, b, term));
}
function patch(patch, a, b) { function patch(patch, a, b) {
if (patch.delete != null) { return new Delete(term(patch.delete, a, b)); } if (patch.delete != null) { return new Delete(new Term(patch.delete, a, b)); }
if (patch.insert != null) { return new Insert(term(patch.insert, a, b)); } if (patch.insert != null) { return new Insert(new Term(patch.insert, a, b)); }
if (patch.replace != null) { return new Replace(term(patch.replace.before, a, b), term(patch.replace.after, a, b)); } if (patch.replace != null) { return new Replace(new Term(patch.replace.before, a, b), new Term(patch.replace.after, a, b)); }
} }
function Indexed(array, a, b, continuation) { function Indexed(array, a, b, continuation) {