annotate src/view_loader.ts @ 94:a5f53d397526

view: pick types to show at top-level
author drewp@bigasterisk.com
date Wed, 12 Jan 2022 22:09:20 -0800
parents 955cde1550c3
children 47d3b5a5bd5e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
93
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
1 // Load requested view and provide access to it
94
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
2 import { Store, Parser, Term, NamedNode, DataFactory, Util } from "n3";
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
3 const Uri = DataFactory.namedNode;
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
4 const RDFS = Util.prefix("http://www.w3.org/2000/01/rdf-schema#");
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
5 const RDF = Util.prefix("http://www.w3.org/1999/02/22-rdf-syntax-ns#");
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
6 const EX = Util.prefix("http://example.com/");
93
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
7
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
8 async function fetchAndParse(url: string): Promise<Store> {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
9 const store = new Store();
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
10 const res = await fetch(url);
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
11 const body = await res.text();
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
12 const parser = new Parser({ format: "N3" });
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
13 await new Promise((done, rej) => {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
14 parser.parse(body, (err, quad, prefixes) => {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
15 if (err) {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
16 throw err;
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
17 }
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
18 if (quad) {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
19 store.addQuad(quad);
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
20 } else {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
21 done(null);
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
22 }
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
23 });
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
24 });
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
25 return store;
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
26 }
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
27
94
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
28 function _singleValue(g: Store, s: Term, p: Term): Term {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
29 const quads = g.getQuads(s, p, null, null);
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
30 const objs = new Set(quads.map((q) => q.object));
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
31 if (objs.size == 0) {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
32 throw new Error("no value for " + s.value + " " + p.value);
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
33 } else if (objs.size == 1) {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
34 const obj = objs.values().next().value;
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
35 return obj as Term;
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
36 } else {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
37 throw new Error("too many different values: " + JSON.stringify(quads));
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
38 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
39 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
40
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
41 function stringValue(g: Store, s: Term, p: Term): string {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
42 const ret = _singleValue(g, s, p);
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
43 if (ret.termType != "Literal") {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
44 throw new Error(`ret=${ret}`);
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
45 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
46 return ret.value as string;
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
47 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
48
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
49 function uriValue(g: Store, s: Term, p: Term): NamedNode {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
50 const ret = _singleValue(g, s, p);
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
51 if (ret.termType != "NamedNode") {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
52 throw new Error(`ret=${ret}`);
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
53 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
54
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
55 return ret;
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
56 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
57
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
58 function labelOrTail(g: Store, uri: NamedNode): string {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
59 let ret: string;
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
60 try {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
61 ret = stringValue(g, uri, RDFS("label"));
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
62 } catch (e) {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
63 const words = uri.value.split("/");
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
64 ret = words[words.length - 1];
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
65 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
66 if (!ret) {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
67 ret = uri.value;
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
68 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
69 return ret;
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
70 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
71 function objects(g: Store, subj: NamedNode, pred: NamedNode): Term[] {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
72 return g.getObjects(subj, pred, null);
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
73 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
74 function firstElem<E>(seq: Iterable<E>): E {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
75 for (let e of seq) {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
76 return e;
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
77 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
78 throw new Error("no elems");
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
79 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
80
93
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
81 export class View {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
82 graph: Store;
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
83 ready: Promise<null>;
94
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
84 viewRoot!: NamedNode;
93
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
85 constructor(public url: string | "") {
94
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
86 (window as any).v = this; //debug
93
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
87 this.graph = new Store();
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
88 this.ready = new Promise((res, rej) => {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
89 if (url) {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
90 fetchAndParse(url).then((s2) => {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
91 this.graph = s2;
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
92 res(null);
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
93 });
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
94 } else {
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
95 res(null);
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
96 }
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
97 });
94
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
98 this.ready.then(() => {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
99 this.viewRoot = firstElem(
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
100 this.graph.getSubjects(RDF("type"), EX("View"), null)
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
101 ) as NamedNode;
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
102 });
93
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
103 }
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
104 label() {
94
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
105 return labelOrTail(this.graph, Uri(this.url));
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
106 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
107 // filtered+ordered list of types to show at the top level
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
108 typesToShow(typesPresent: NamedNode[]): NamedNode[] {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
109 const ret: NamedNode[] = [];
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
110 for (let table of this.graph.getObjects(this.viewRoot, EX("table"), null)) {
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
111 const tableType = uriValue(this.graph, table, EX("showsType"));
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
112 ret.push(tableType);
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
113 }
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
114 ret.sort();
a5f53d397526 view: pick types to show at top-level
drewp@bigasterisk.com
parents: 93
diff changeset
115 return ret;
93
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
116 }
955cde1550c3 start the View work: parse view document
drewp@bigasterisk.com
parents:
diff changeset
117 }