@plurnk/plurnk-mimetypes-text-datalog 0.3.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +15 -0
- package/dist/TextDatalog.d.ts +7 -0
- package/dist/TextDatalog.d.ts.map +1 -0
- package/dist/TextDatalog.js +100 -0
- package/dist/TextDatalog.js.map +1 -0
- package/dist/generated/datalogLexer.d.ts +40 -0
- package/dist/generated/datalogLexer.d.ts.map +1 -0
- package/dist/generated/datalogLexer.js +105 -0
- package/dist/generated/datalogLexer.js.map +1 -0
- package/dist/generated/datalogParser.d.ts +167 -0
- package/dist/generated/datalogParser.d.ts.map +1 -0
- package/dist/generated/datalogParser.js +972 -0
- package/dist/generated/datalogParser.js.map +1 -0
- package/dist/generated/datalogVisitor.d.ts +109 -0
- package/dist/generated/datalogVisitor.d.ts.map +1 -0
- package/dist/generated/datalogVisitor.js +95 -0
- package/dist/generated/datalogVisitor.js.map +1 -0
- package/dist/index.d.ts +3 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +3 -0
- package/dist/index.js.map +1 -0
- package/grammar/datalog.g4 +133 -0
- package/package.json +56 -0
package/LICENSE
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
MIT License
|
|
2
|
+
|
|
3
|
+
Copyright (c) 2026 PossumTech Laboratories
|
|
4
|
+
|
|
5
|
+
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
6
|
+
of this software and associated documentation files (the "Software"), to deal
|
|
7
|
+
in the Software without restriction, including without limitation the rights
|
|
8
|
+
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
9
|
+
copies of the Software, and to permit persons to whom the Software is
|
|
10
|
+
furnished to do so, subject to the following conditions:
|
|
11
|
+
|
|
12
|
+
The above copyright notice and this permission notice shall be included in all
|
|
13
|
+
copies or substantial portions of the Software.
|
|
14
|
+
|
|
15
|
+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
16
|
+
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
17
|
+
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
18
|
+
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
19
|
+
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
20
|
+
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
21
|
+
SOFTWARE.
|
package/README.md
ADDED
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
# @plurnk/plurnk-mimetypes-text-datalog
|
|
2
|
+
|
|
3
|
+
text/x-datalog mimetype handler for plurnk-service. ANTLR-backed extraction using grammars-v4's `datalog` grammar.
|
|
4
|
+
|
|
5
|
+
## Symbols emitted
|
|
6
|
+
|
|
7
|
+
Per SPEC §3 inclusion policy: classes, functions, methods, fields, interfaces, enums, types, modules, variables, constants. Imports excluded; locals inside function bodies excluded.
|
|
8
|
+
|
|
9
|
+
## Install
|
|
10
|
+
|
|
11
|
+
```bash
|
|
12
|
+
npm install @plurnk/plurnk-mimetypes-text-datalog
|
|
13
|
+
```
|
|
14
|
+
|
|
15
|
+
Auto-discovered by `@plurnk/plurnk-mimetypes` when installed alongside it.
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import { AntlrExtractor } from "@plurnk/plurnk-mimetypes";
|
|
2
|
+
import type { ExtractionVisitor } from "@plurnk/plurnk-mimetypes";
|
|
3
|
+
export default class TextDatalog extends AntlrExtractor {
|
|
4
|
+
protected parseTree(content: string): unknown;
|
|
5
|
+
protected createVisitor(): ExtractionVisitor;
|
|
6
|
+
}
|
|
7
|
+
//# sourceMappingURL=TextDatalog.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TextDatalog.d.ts","sourceRoot":"","sources":["../src/TextDatalog.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAiB,MAAM,0BAA0B,CAAC;AACzE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAiBlE,MAAM,CAAC,OAAO,OAAO,WAAY,SAAQ,cAAc;IACnD,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAQ7C,SAAS,CAAC,aAAa,IAAI,iBAAiB;CAG/C"}
|
|
@@ -0,0 +1,100 @@
|
|
|
1
|
+
import { AntlrExtractor, withExtractor } from "@plurnk/plurnk-mimetypes";
|
|
2
|
+
import { CharStream, CommonTokenStream } from "antlr4ng";
|
|
3
|
+
import { datalogLexer } from "./generated/datalogLexer.js";
|
|
4
|
+
import { datalogParser } from "./generated/datalogParser.js";
|
|
5
|
+
import { datalogVisitor } from "./generated/datalogVisitor.js";
|
|
6
|
+
// text/x-datalog handler. ANTLR grammar from grammars-v4/datalog.
|
|
7
|
+
//
|
|
8
|
+
// Parser entry rule: program → statement* EOF
|
|
9
|
+
// statement: assertion | retraction | query | requirement
|
|
10
|
+
// assertion: clause '.' (a fact or a rule)
|
|
11
|
+
// clause: literal ':-' body | literal
|
|
12
|
+
//
|
|
13
|
+
// In Datalog the unit of declaration is the PREDICATE — a name + arity
|
|
14
|
+
// rule introduced via an assertion (`parent(X, Y) :- father(X, Y).`).
|
|
15
|
+
// Facts (`father(tom, bob).`) extend the same predicate by name+arity.
|
|
16
|
+
// We surface each unique predicate once per (name, arity).
|
|
17
|
+
export default class TextDatalog extends AntlrExtractor {
|
|
18
|
+
parseTree(content) {
|
|
19
|
+
const lexer = new datalogLexer(CharStream.fromString(content));
|
|
20
|
+
const tokens = new CommonTokenStream(lexer);
|
|
21
|
+
const parser = new datalogParser(tokens);
|
|
22
|
+
parser.removeErrorListeners();
|
|
23
|
+
return parser.program();
|
|
24
|
+
}
|
|
25
|
+
createVisitor() {
|
|
26
|
+
return new TextDatalogVisitor();
|
|
27
|
+
}
|
|
28
|
+
}
|
|
29
|
+
class TextDatalogVisitor extends withExtractor(datalogVisitor) {
|
|
30
|
+
#emittedPredicates = new Set();
|
|
31
|
+
visitAssertion = (ctx) => {
|
|
32
|
+
if (this.inBody)
|
|
33
|
+
return null;
|
|
34
|
+
const clause = ctx.clause?.();
|
|
35
|
+
if (!clause)
|
|
36
|
+
return null;
|
|
37
|
+
const headLiteral = clause.literal?.();
|
|
38
|
+
const head = Array.isArray(headLiteral) ? headLiteral[0] : headLiteral;
|
|
39
|
+
if (!head)
|
|
40
|
+
return null;
|
|
41
|
+
const name = predicateName(head);
|
|
42
|
+
if (!name)
|
|
43
|
+
return null;
|
|
44
|
+
const arity = predicateArity(head);
|
|
45
|
+
const key = `${name}/${arity}`;
|
|
46
|
+
if (this.#emittedPredicates.has(key))
|
|
47
|
+
return null;
|
|
48
|
+
this.#emittedPredicates.add(key);
|
|
49
|
+
const params = predicateTerms(head);
|
|
50
|
+
this.addSymbol("function", name, ctx, params);
|
|
51
|
+
return null;
|
|
52
|
+
};
|
|
53
|
+
visitRetraction = (_ctx) => null;
|
|
54
|
+
visitQuery = (_ctx) => null;
|
|
55
|
+
visitRequirement = (_ctx) => null;
|
|
56
|
+
}
|
|
57
|
+
// literal:
|
|
58
|
+
// predicate_sym '(' ')'
|
|
59
|
+
// | predicate_sym '(' terms_ ')'
|
|
60
|
+
// | predicate_sym
|
|
61
|
+
// | term_ '=' term_
|
|
62
|
+
// | term_ '!=' term_
|
|
63
|
+
// | VARIABLE ':-' external_sym '(' terms_ ')'
|
|
64
|
+
function predicateName(literal) {
|
|
65
|
+
const node = literal;
|
|
66
|
+
const ps = node.predicate_sym?.();
|
|
67
|
+
if (!ps)
|
|
68
|
+
return null;
|
|
69
|
+
const raw = ps.getText?.() ?? null;
|
|
70
|
+
if (!raw)
|
|
71
|
+
return null;
|
|
72
|
+
return raw.startsWith('"') && raw.endsWith('"') ? raw.slice(1, -1) : raw;
|
|
73
|
+
}
|
|
74
|
+
function predicateTerms(literal) {
|
|
75
|
+
const node = literal;
|
|
76
|
+
const t = node.terms_?.();
|
|
77
|
+
if (!t)
|
|
78
|
+
return [];
|
|
79
|
+
return flattenTerms(t);
|
|
80
|
+
}
|
|
81
|
+
// terms_: term_ | term_ ',' terms_ (right-recursive list)
|
|
82
|
+
function flattenTerms(terms) {
|
|
83
|
+
const out = [];
|
|
84
|
+
let cur = terms;
|
|
85
|
+
while (cur) {
|
|
86
|
+
const term = cur.term_?.();
|
|
87
|
+
if (term) {
|
|
88
|
+
const txt = term.getText?.();
|
|
89
|
+
if (txt)
|
|
90
|
+
out.push(txt);
|
|
91
|
+
}
|
|
92
|
+
const tail = cur.terms_?.();
|
|
93
|
+
cur = tail ?? null;
|
|
94
|
+
}
|
|
95
|
+
return out;
|
|
96
|
+
}
|
|
97
|
+
function predicateArity(literal) {
|
|
98
|
+
return predicateTerms(literal).length;
|
|
99
|
+
}
|
|
100
|
+
//# sourceMappingURL=TextDatalog.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TextDatalog.js","sourceRoot":"","sources":["../src/TextDatalog.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAEzE,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D,kEAAkE;AAClE,EAAE;AACF,8CAA8C;AAC9C,4DAA4D;AAC5D,8CAA8C;AAC9C,2CAA2C;AAC3C,EAAE;AACF,uEAAuE;AACvE,sEAAsE;AACtE,uEAAuE;AACvE,2DAA2D;AAC3D,MAAM,CAAC,OAAO,OAAO,WAAY,SAAQ,cAAc;IACzC,SAAS,CAAC,OAAe;QAC/B,MAAM,KAAK,GAAG,IAAI,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,CAAC,oBAAoB,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC;IAC5B,CAAC;IAES,aAAa;QACnB,OAAO,IAAI,kBAAkB,EAAkC,CAAC;IACpE,CAAC;CACJ;AAED,MAAM,kBAAmB,SAAQ,aAAa,CAAC,cAAc,CAAC;IAC1D,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAEvC,cAAc,GAAG,CAAC,GAAQ,EAAQ,EAAE;QAChC,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QACvE,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAClD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC9C,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC;IAEF,eAAe,GAAG,CAAC,IAAS,EAAQ,EAAE,CAAC,IAAI,CAAC;IAC5C,UAAU,GAAG,CAAC,IAAS,EAAQ,EAAE,CAAC,IAAI,CAAC;IACvC,gBAAgB,GAAG,CAAC,IAAS,EAAQ,EAAE,CAAC,IAAI,CAAC;CAChD;AAED,WAAW;AACX,0BAA0B;AAC1B,mCAAmC;AACnC,oBAAoB;AACpB,sBAAsB;AACtB,uBAAuB;AACvB,gDAAgD;AAChD,SAAS,aAAa,CAAC,OAAgB;IACnC,MAAM,IAAI,GAAG,OAA4C,CAAC;IAC1D,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;IAClC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IACrB,MAAM,GAAG,GAAI,EAAiC,CAAC,OAAO,EAAE,EAAE,IAAI,IAAI,CAAC;IACnE,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC7E,CAAC;AAED,SAAS,cAAc,CAAC,OAAgB;IACpC,MAAM,IAAI,GAAG,OAAqC,CAAC;IACnD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;IAC1B,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,2DAA2D;AAC3D,SAAS,YAAY,CAAC,KAAc;IAChC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,GAAG,GAAQ,KAAK,CAAC;IACrB,OAAO,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC;QAC3B,IAAI,IAAI,EAAE,CAAC;YACP,MAAM,GAAG,GAAI,IAAmC,CAAC,OAAO,EAAE,EAAE,CAAC;YAC7D,IAAI,GAAG;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5B,GAAG,GAAG,IAAI,IAAI,IAAI,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,OAAgB;IACpC,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;AAC1C,CAAC"}
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
import * as antlr from "antlr4ng";
|
|
2
|
+
export declare class datalogLexer extends antlr.Lexer {
|
|
3
|
+
static readonly T__0 = 1;
|
|
4
|
+
static readonly T__1 = 2;
|
|
5
|
+
static readonly T__2 = 3;
|
|
6
|
+
static readonly T__3 = 4;
|
|
7
|
+
static readonly T__4 = 5;
|
|
8
|
+
static readonly T__5 = 6;
|
|
9
|
+
static readonly T__6 = 7;
|
|
10
|
+
static readonly T__7 = 8;
|
|
11
|
+
static readonly T__8 = 9;
|
|
12
|
+
static readonly T__9 = 10;
|
|
13
|
+
static readonly T__10 = 11;
|
|
14
|
+
static readonly VARIABLE = 12;
|
|
15
|
+
static readonly IDENTIFIER = 13;
|
|
16
|
+
static readonly STRING = 14;
|
|
17
|
+
static readonly INTEGER = 15;
|
|
18
|
+
static readonly COMMENT = 16;
|
|
19
|
+
static readonly WS = 17;
|
|
20
|
+
static readonly channelNames: string[];
|
|
21
|
+
static readonly literalNames: (string | null)[];
|
|
22
|
+
static readonly symbolicNames: (string | null)[];
|
|
23
|
+
static readonly modeNames: string[];
|
|
24
|
+
static readonly ruleNames: string[];
|
|
25
|
+
constructor(input: antlr.CharStream);
|
|
26
|
+
get grammarFileName(): string;
|
|
27
|
+
get literalNames(): (string | null)[];
|
|
28
|
+
get symbolicNames(): (string | null)[];
|
|
29
|
+
get ruleNames(): string[];
|
|
30
|
+
get serializedATN(): number[];
|
|
31
|
+
get channelNames(): string[];
|
|
32
|
+
get modeNames(): string[];
|
|
33
|
+
static readonly _serializedATN: number[];
|
|
34
|
+
private static __ATN;
|
|
35
|
+
static get _ATN(): antlr.ATN;
|
|
36
|
+
private static readonly vocabulary;
|
|
37
|
+
get vocabulary(): antlr.Vocabulary;
|
|
38
|
+
private static readonly decisionsToDFA;
|
|
39
|
+
}
|
|
40
|
+
//# sourceMappingURL=datalogLexer.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"datalogLexer.d.ts","sourceRoot":"","sources":["../../src/generated/datalogLexer.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,MAAM,UAAU,CAAC;AAIlC,qBAAa,YAAa,SAAQ,KAAK,CAAC,KAAK;IACzC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,MAAM;IACjC,gBAAuB,KAAK,MAAM;IAClC,gBAAuB,QAAQ,MAAM;IACrC,gBAAuB,UAAU,MAAM;IACvC,gBAAuB,MAAM,MAAM;IACnC,gBAAuB,OAAO,MAAM;IACpC,gBAAuB,OAAO,MAAM;IACpC,gBAAuB,EAAE,MAAM;IAE/B,gBAAuB,YAAY,WAEjC;IAEF,gBAAuB,YAAY,oBAGjC;IAEF,gBAAuB,aAAa,oBAIlC;IAEF,gBAAuB,SAAS,WAE9B;IAEF,gBAAuB,SAAS,WAI9B;gBAGiB,KAAK,EAAE,KAAK,CAAC,UAAU;IAK1C,IAAW,eAAe,IAAI,MAAM,CAAyB;IAE7D,IAAW,YAAY,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAsC;IAClF,IAAW,aAAa,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAuC;IACpF,IAAW,SAAS,IAAI,MAAM,EAAE,CAAmC;IAEnE,IAAW,aAAa,IAAI,MAAM,EAAE,CAAwC;IAE5E,IAAW,YAAY,IAAI,MAAM,EAAE,CAAsC;IAEzE,IAAW,SAAS,IAAI,MAAM,EAAE,CAAmC;IAEnE,gBAAuB,cAAc,EAAE,MAAM,EAAE,CAwC7C;IAEF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAY;IAChC,WAAkB,IAAI,IAAI,KAAK,CAAC,GAAG,CAMlC;IAGD,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAmF;IAErH,IAAoB,UAAU,IAAI,KAAK,CAAC,UAAU,CAEjD;IAED,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAiH;CAC1J"}
|
|
@@ -0,0 +1,105 @@
|
|
|
1
|
+
import * as antlr from "antlr4ng";
|
|
2
|
+
export class datalogLexer extends antlr.Lexer {
|
|
3
|
+
static T__0 = 1;
|
|
4
|
+
static T__1 = 2;
|
|
5
|
+
static T__2 = 3;
|
|
6
|
+
static T__3 = 4;
|
|
7
|
+
static T__4 = 5;
|
|
8
|
+
static T__5 = 6;
|
|
9
|
+
static T__6 = 7;
|
|
10
|
+
static T__7 = 8;
|
|
11
|
+
static T__8 = 9;
|
|
12
|
+
static T__9 = 10;
|
|
13
|
+
static T__10 = 11;
|
|
14
|
+
static VARIABLE = 12;
|
|
15
|
+
static IDENTIFIER = 13;
|
|
16
|
+
static STRING = 14;
|
|
17
|
+
static INTEGER = 15;
|
|
18
|
+
static COMMENT = 16;
|
|
19
|
+
static WS = 17;
|
|
20
|
+
static channelNames = [
|
|
21
|
+
"DEFAULT_TOKEN_CHANNEL", "HIDDEN"
|
|
22
|
+
];
|
|
23
|
+
static literalNames = [
|
|
24
|
+
null, "'.'", "'~'", "'?'", "'('", "')'", "':-'", "','", "'='", "'!='",
|
|
25
|
+
"'true'", "'false'"
|
|
26
|
+
];
|
|
27
|
+
static symbolicNames = [
|
|
28
|
+
null, null, null, null, null, null, null, null, null, null, null,
|
|
29
|
+
null, "VARIABLE", "IDENTIFIER", "STRING", "INTEGER", "COMMENT",
|
|
30
|
+
"WS"
|
|
31
|
+
];
|
|
32
|
+
static modeNames = [
|
|
33
|
+
"DEFAULT_MODE",
|
|
34
|
+
];
|
|
35
|
+
static ruleNames = [
|
|
36
|
+
"T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", "T__7",
|
|
37
|
+
"T__8", "T__9", "T__10", "VARIABLE", "IDENTIFIER", "STRING", "INTEGER",
|
|
38
|
+
"COMMENT", "WS",
|
|
39
|
+
];
|
|
40
|
+
constructor(input) {
|
|
41
|
+
super(input);
|
|
42
|
+
this.interpreter = new antlr.LexerATNSimulator(this, datalogLexer._ATN, datalogLexer.decisionsToDFA, new antlr.PredictionContextCache());
|
|
43
|
+
}
|
|
44
|
+
get grammarFileName() { return "datalog.g4"; }
|
|
45
|
+
get literalNames() { return datalogLexer.literalNames; }
|
|
46
|
+
get symbolicNames() { return datalogLexer.symbolicNames; }
|
|
47
|
+
get ruleNames() { return datalogLexer.ruleNames; }
|
|
48
|
+
get serializedATN() { return datalogLexer._serializedATN; }
|
|
49
|
+
get channelNames() { return datalogLexer.channelNames; }
|
|
50
|
+
get modeNames() { return datalogLexer.modeNames; }
|
|
51
|
+
static _serializedATN = [
|
|
52
|
+
4, 0, 17, 110, 6, -1, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5,
|
|
53
|
+
2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12, 2,
|
|
54
|
+
13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 1, 0, 1, 0, 1, 1, 1, 1, 1, 2, 1, 2, 1,
|
|
55
|
+
3, 1, 3, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, 1, 6, 1, 6, 1, 7, 1, 7, 1, 8, 1, 8, 1, 8, 1, 9, 1, 9, 1,
|
|
56
|
+
9, 1, 9, 1, 9, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 11, 1, 11, 5, 11, 69, 8, 11, 10,
|
|
57
|
+
11, 12, 11, 72, 9, 11, 1, 12, 1, 12, 5, 12, 76, 8, 12, 10, 12, 12, 12, 79, 9, 12, 1, 13,
|
|
58
|
+
1, 13, 5, 13, 83, 8, 13, 10, 13, 12, 13, 86, 9, 13, 1, 13, 1, 13, 1, 14, 4, 14, 91, 8, 14,
|
|
59
|
+
11, 14, 12, 14, 92, 1, 15, 1, 15, 5, 15, 97, 8, 15, 10, 15, 12, 15, 100, 9, 15, 1, 15,
|
|
60
|
+
1, 15, 1, 16, 4, 16, 105, 8, 16, 11, 16, 12, 16, 106, 1, 16, 1, 16, 0, 0, 17, 1, 1, 3, 2,
|
|
61
|
+
5, 3, 7, 4, 9, 5, 11, 6, 13, 7, 15, 8, 17, 9, 19, 10, 21, 11, 23, 12, 25, 13, 27, 14, 29,
|
|
62
|
+
15, 31, 16, 33, 17, 1, 0, 8, 1, 0, 65, 90, 3, 0, 65, 90, 95, 95, 97, 122, 1, 0, 97, 122,
|
|
63
|
+
5, 0, 45, 45, 48, 57, 65, 90, 95, 95, 97, 122, 1, 0, 34, 34, 1, 0, 48, 57, 2, 0, 10, 10,
|
|
64
|
+
13, 13, 3, 0, 9, 10, 13, 13, 32, 32, 115, 0, 1, 1, 0, 0, 0, 0, 3, 1, 0, 0, 0, 0, 5, 1, 0, 0,
|
|
65
|
+
0, 0, 7, 1, 0, 0, 0, 0, 9, 1, 0, 0, 0, 0, 11, 1, 0, 0, 0, 0, 13, 1, 0, 0, 0, 0, 15, 1, 0, 0, 0,
|
|
66
|
+
0, 17, 1, 0, 0, 0, 0, 19, 1, 0, 0, 0, 0, 21, 1, 0, 0, 0, 0, 23, 1, 0, 0, 0, 0, 25, 1, 0, 0, 0,
|
|
67
|
+
0, 27, 1, 0, 0, 0, 0, 29, 1, 0, 0, 0, 0, 31, 1, 0, 0, 0, 0, 33, 1, 0, 0, 0, 1, 35, 1, 0, 0, 0,
|
|
68
|
+
3, 37, 1, 0, 0, 0, 5, 39, 1, 0, 0, 0, 7, 41, 1, 0, 0, 0, 9, 43, 1, 0, 0, 0, 11, 45, 1, 0, 0,
|
|
69
|
+
0, 13, 48, 1, 0, 0, 0, 15, 50, 1, 0, 0, 0, 17, 52, 1, 0, 0, 0, 19, 55, 1, 0, 0, 0, 21, 60,
|
|
70
|
+
1, 0, 0, 0, 23, 66, 1, 0, 0, 0, 25, 73, 1, 0, 0, 0, 27, 80, 1, 0, 0, 0, 29, 90, 1, 0, 0, 0,
|
|
71
|
+
31, 94, 1, 0, 0, 0, 33, 104, 1, 0, 0, 0, 35, 36, 5, 46, 0, 0, 36, 2, 1, 0, 0, 0, 37, 38, 5,
|
|
72
|
+
126, 0, 0, 38, 4, 1, 0, 0, 0, 39, 40, 5, 63, 0, 0, 40, 6, 1, 0, 0, 0, 41, 42, 5, 40, 0, 0,
|
|
73
|
+
42, 8, 1, 0, 0, 0, 43, 44, 5, 41, 0, 0, 44, 10, 1, 0, 0, 0, 45, 46, 5, 58, 0, 0, 46, 47, 5,
|
|
74
|
+
45, 0, 0, 47, 12, 1, 0, 0, 0, 48, 49, 5, 44, 0, 0, 49, 14, 1, 0, 0, 0, 50, 51, 5, 61, 0, 0,
|
|
75
|
+
51, 16, 1, 0, 0, 0, 52, 53, 5, 33, 0, 0, 53, 54, 5, 61, 0, 0, 54, 18, 1, 0, 0, 0, 55, 56,
|
|
76
|
+
5, 116, 0, 0, 56, 57, 5, 114, 0, 0, 57, 58, 5, 117, 0, 0, 58, 59, 5, 101, 0, 0, 59, 20,
|
|
77
|
+
1, 0, 0, 0, 60, 61, 5, 102, 0, 0, 61, 62, 5, 97, 0, 0, 62, 63, 5, 108, 0, 0, 63, 64, 5, 115,
|
|
78
|
+
0, 0, 64, 65, 5, 101, 0, 0, 65, 22, 1, 0, 0, 0, 66, 70, 7, 0, 0, 0, 67, 69, 7, 1, 0, 0, 68,
|
|
79
|
+
67, 1, 0, 0, 0, 69, 72, 1, 0, 0, 0, 70, 68, 1, 0, 0, 0, 70, 71, 1, 0, 0, 0, 71, 24, 1, 0, 0,
|
|
80
|
+
0, 72, 70, 1, 0, 0, 0, 73, 77, 7, 2, 0, 0, 74, 76, 7, 3, 0, 0, 75, 74, 1, 0, 0, 0, 76, 79,
|
|
81
|
+
1, 0, 0, 0, 77, 75, 1, 0, 0, 0, 77, 78, 1, 0, 0, 0, 78, 26, 1, 0, 0, 0, 79, 77, 1, 0, 0, 0,
|
|
82
|
+
80, 84, 5, 34, 0, 0, 81, 83, 8, 4, 0, 0, 82, 81, 1, 0, 0, 0, 83, 86, 1, 0, 0, 0, 84, 82, 1,
|
|
83
|
+
0, 0, 0, 84, 85, 1, 0, 0, 0, 85, 87, 1, 0, 0, 0, 86, 84, 1, 0, 0, 0, 87, 88, 5, 34, 0, 0, 88,
|
|
84
|
+
28, 1, 0, 0, 0, 89, 91, 7, 5, 0, 0, 90, 89, 1, 0, 0, 0, 91, 92, 1, 0, 0, 0, 92, 90, 1, 0, 0,
|
|
85
|
+
0, 92, 93, 1, 0, 0, 0, 93, 30, 1, 0, 0, 0, 94, 98, 5, 35, 0, 0, 95, 97, 8, 6, 0, 0, 96, 95,
|
|
86
|
+
1, 0, 0, 0, 97, 100, 1, 0, 0, 0, 98, 96, 1, 0, 0, 0, 98, 99, 1, 0, 0, 0, 99, 101, 1, 0, 0,
|
|
87
|
+
0, 100, 98, 1, 0, 0, 0, 101, 102, 6, 15, 0, 0, 102, 32, 1, 0, 0, 0, 103, 105, 7, 7, 0, 0,
|
|
88
|
+
104, 103, 1, 0, 0, 0, 105, 106, 1, 0, 0, 0, 106, 104, 1, 0, 0, 0, 106, 107, 1, 0, 0, 0,
|
|
89
|
+
107, 108, 1, 0, 0, 0, 108, 109, 6, 16, 0, 0, 109, 34, 1, 0, 0, 0, 7, 0, 70, 77, 84, 92,
|
|
90
|
+
98, 106, 1, 6, 0, 0
|
|
91
|
+
];
|
|
92
|
+
static __ATN;
|
|
93
|
+
static get _ATN() {
|
|
94
|
+
if (!datalogLexer.__ATN) {
|
|
95
|
+
datalogLexer.__ATN = new antlr.ATNDeserializer().deserialize(datalogLexer._serializedATN);
|
|
96
|
+
}
|
|
97
|
+
return datalogLexer.__ATN;
|
|
98
|
+
}
|
|
99
|
+
static vocabulary = new antlr.Vocabulary(datalogLexer.literalNames, datalogLexer.symbolicNames, []);
|
|
100
|
+
get vocabulary() {
|
|
101
|
+
return datalogLexer.vocabulary;
|
|
102
|
+
}
|
|
103
|
+
static decisionsToDFA = datalogLexer._ATN.decisionToState.map((ds, index) => new antlr.DFA(ds, index));
|
|
104
|
+
}
|
|
105
|
+
//# sourceMappingURL=datalogLexer.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"datalogLexer.js","sourceRoot":"","sources":["../../src/generated/datalogLexer.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,MAAM,UAAU,CAAC;AAIlC,MAAM,OAAO,YAAa,SAAQ,KAAK,CAAC,KAAK;IAClC,MAAM,CAAU,IAAI,GAAG,CAAC,CAAC;IACzB,MAAM,CAAU,IAAI,GAAG,CAAC,CAAC;IACzB,MAAM,CAAU,IAAI,GAAG,CAAC,CAAC;IACzB,MAAM,CAAU,IAAI,GAAG,CAAC,CAAC;IACzB,MAAM,CAAU,IAAI,GAAG,CAAC,CAAC;IACzB,MAAM,CAAU,IAAI,GAAG,CAAC,CAAC;IACzB,MAAM,CAAU,IAAI,GAAG,CAAC,CAAC;IACzB,MAAM,CAAU,IAAI,GAAG,CAAC,CAAC;IACzB,MAAM,CAAU,IAAI,GAAG,CAAC,CAAC;IACzB,MAAM,CAAU,IAAI,GAAG,EAAE,CAAC;IAC1B,MAAM,CAAU,KAAK,GAAG,EAAE,CAAC;IAC3B,MAAM,CAAU,QAAQ,GAAG,EAAE,CAAC;IAC9B,MAAM,CAAU,UAAU,GAAG,EAAE,CAAC;IAChC,MAAM,CAAU,MAAM,GAAG,EAAE,CAAC;IAC5B,MAAM,CAAU,OAAO,GAAG,EAAE,CAAC;IAC7B,MAAM,CAAU,OAAO,GAAG,EAAE,CAAC;IAC7B,MAAM,CAAU,EAAE,GAAG,EAAE,CAAC;IAExB,MAAM,CAAU,YAAY,GAAG;QAClC,uBAAuB,EAAE,QAAQ;KACpC,CAAC;IAEK,MAAM,CAAU,YAAY,GAAG;QAClC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM;QACrE,QAAQ,EAAE,SAAS;KACtB,CAAC;IAEK,MAAM,CAAU,aAAa,GAAG;QACnC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;QAChE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS;QAC9D,IAAI;KACP,CAAC;IAEK,MAAM,CAAU,SAAS,GAAG;QAC/B,cAAc;KACjB,CAAC;IAEK,MAAM,CAAU,SAAS,GAAG;QAC/B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;QAC9D,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS;QACtE,SAAS,EAAE,IAAI;KAClB,CAAC;IAGF,YAAmB,KAAuB;QACtC,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,WAAW,GAAG,IAAI,KAAK,CAAC,iBAAiB,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,cAAc,EAAE,IAAI,KAAK,CAAC,sBAAsB,EAAE,CAAC,CAAC;IAC7I,CAAC;IAED,IAAW,eAAe,KAAa,OAAO,YAAY,CAAC,CAAC,CAAC;IAE7D,IAAW,YAAY,KAAwB,OAAO,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC;IAClF,IAAW,aAAa,KAAwB,OAAO,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC;IACpF,IAAW,SAAS,KAAe,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC;IAEnE,IAAW,aAAa,KAAe,OAAO,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC;IAE5E,IAAW,YAAY,KAAe,OAAO,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC;IAEzE,IAAW,SAAS,KAAe,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC;IAE5D,MAAM,CAAU,cAAc,GAAa;QAC9C,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAC/D,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC;QAC/D,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAC/D,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAC/D,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE;QACjE,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE;QAChE,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE;QACjE,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE;QAC/D,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAChE,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE;QAChE,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,GAAG;QAChE,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE;QAChE,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAChE,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAChE,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAChE,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAChE,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAC/D,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE;QAC/D,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAC/D,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC;QAChE,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC;QAC/D,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC;QAChE,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC;QAChE,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE;QAC/D,CAAC,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE;QAC/D,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,GAAG;QAClE,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE;QAChE,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAChE,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE;QAC/D,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAC/D,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC;QAChE,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE;QACjE,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAChE,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE;QAChE,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAC/D,CAAC,EAAC,GAAG,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,GAAG,EAAC,GAAG,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,GAAG,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,GAAG,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAChE,GAAG,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,GAAG,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,GAAG,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,GAAG,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;QAC/D,GAAG,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,GAAG,EAAC,GAAG,EAAC,CAAC,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,GAAG,EAAC,EAAE,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE,EAAC,EAAE;QAC/D,EAAE,EAAC,GAAG,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC,EAAC,CAAC;KACjB,CAAC;IAEM,MAAM,CAAC,KAAK,CAAY;IACzB,MAAM,KAAK,IAAI;QAClB,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YACtB,YAAY,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;QAC9F,CAAC;QAED,OAAO,YAAY,CAAC,KAAK,CAAC;IAC9B,CAAC;IAGO,MAAM,CAAU,UAAU,GAAG,IAAI,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,YAAY,EAAE,YAAY,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAErH,IAAoB,UAAU;QAC1B,OAAO,YAAY,CAAC,UAAU,CAAC;IACnC,CAAC;IAEO,MAAM,CAAU,cAAc,GAAG,YAAY,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAE,CAAC,EAAuB,EAAE,KAAa,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAE,CAAC"}
|
|
@@ -0,0 +1,167 @@
|
|
|
1
|
+
import * as antlr from "antlr4ng";
|
|
2
|
+
import { datalogVisitor } from "./datalogVisitor.ts";
|
|
3
|
+
export declare class datalogParser extends antlr.Parser {
|
|
4
|
+
static readonly T__0 = 1;
|
|
5
|
+
static readonly T__1 = 2;
|
|
6
|
+
static readonly T__2 = 3;
|
|
7
|
+
static readonly T__3 = 4;
|
|
8
|
+
static readonly T__4 = 5;
|
|
9
|
+
static readonly T__5 = 6;
|
|
10
|
+
static readonly T__6 = 7;
|
|
11
|
+
static readonly T__7 = 8;
|
|
12
|
+
static readonly T__8 = 9;
|
|
13
|
+
static readonly T__9 = 10;
|
|
14
|
+
static readonly T__10 = 11;
|
|
15
|
+
static readonly VARIABLE = 12;
|
|
16
|
+
static readonly IDENTIFIER = 13;
|
|
17
|
+
static readonly STRING = 14;
|
|
18
|
+
static readonly INTEGER = 15;
|
|
19
|
+
static readonly COMMENT = 16;
|
|
20
|
+
static readonly WS = 17;
|
|
21
|
+
static readonly RULE_program = 0;
|
|
22
|
+
static readonly RULE_statement = 1;
|
|
23
|
+
static readonly RULE_assertion = 2;
|
|
24
|
+
static readonly RULE_retraction = 3;
|
|
25
|
+
static readonly RULE_query = 4;
|
|
26
|
+
static readonly RULE_requirement = 5;
|
|
27
|
+
static readonly RULE_clause = 6;
|
|
28
|
+
static readonly RULE_body = 7;
|
|
29
|
+
static readonly RULE_literal = 8;
|
|
30
|
+
static readonly RULE_predicate_sym = 9;
|
|
31
|
+
static readonly RULE_terms_ = 10;
|
|
32
|
+
static readonly RULE_term_ = 11;
|
|
33
|
+
static readonly RULE_constant = 12;
|
|
34
|
+
static readonly RULE_external_sym = 13;
|
|
35
|
+
static readonly literalNames: (string | null)[];
|
|
36
|
+
static readonly symbolicNames: (string | null)[];
|
|
37
|
+
static readonly ruleNames: string[];
|
|
38
|
+
get grammarFileName(): string;
|
|
39
|
+
get literalNames(): (string | null)[];
|
|
40
|
+
get symbolicNames(): (string | null)[];
|
|
41
|
+
get ruleNames(): string[];
|
|
42
|
+
get serializedATN(): number[];
|
|
43
|
+
protected createFailedPredicateException(predicate?: string, message?: string): antlr.FailedPredicateException;
|
|
44
|
+
constructor(input: antlr.TokenStream);
|
|
45
|
+
program(): ProgramContext;
|
|
46
|
+
statement(): StatementContext;
|
|
47
|
+
assertion(): AssertionContext;
|
|
48
|
+
retraction(): RetractionContext;
|
|
49
|
+
query(): QueryContext;
|
|
50
|
+
requirement(): RequirementContext;
|
|
51
|
+
clause(): ClauseContext;
|
|
52
|
+
body(): BodyContext;
|
|
53
|
+
literal(): LiteralContext;
|
|
54
|
+
predicate_sym(): Predicate_symContext;
|
|
55
|
+
terms_(): Terms_Context;
|
|
56
|
+
term_(): Term_Context;
|
|
57
|
+
constant(): ConstantContext;
|
|
58
|
+
external_sym(): External_symContext;
|
|
59
|
+
static readonly _serializedATN: number[];
|
|
60
|
+
private static __ATN;
|
|
61
|
+
static get _ATN(): antlr.ATN;
|
|
62
|
+
private static readonly vocabulary;
|
|
63
|
+
get vocabulary(): antlr.Vocabulary;
|
|
64
|
+
private static readonly decisionsToDFA;
|
|
65
|
+
}
|
|
66
|
+
export declare class ProgramContext extends antlr.ParserRuleContext {
|
|
67
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
68
|
+
EOF(): antlr.TerminalNode;
|
|
69
|
+
statement(): StatementContext[];
|
|
70
|
+
statement(i: number): StatementContext | null;
|
|
71
|
+
get ruleIndex(): number;
|
|
72
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
73
|
+
}
|
|
74
|
+
export declare class StatementContext extends antlr.ParserRuleContext {
|
|
75
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
76
|
+
assertion(): AssertionContext | null;
|
|
77
|
+
retraction(): RetractionContext | null;
|
|
78
|
+
query(): QueryContext | null;
|
|
79
|
+
requirement(): RequirementContext | null;
|
|
80
|
+
get ruleIndex(): number;
|
|
81
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
82
|
+
}
|
|
83
|
+
export declare class AssertionContext extends antlr.ParserRuleContext {
|
|
84
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
85
|
+
clause(): ClauseContext;
|
|
86
|
+
get ruleIndex(): number;
|
|
87
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
88
|
+
}
|
|
89
|
+
export declare class RetractionContext extends antlr.ParserRuleContext {
|
|
90
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
91
|
+
clause(): ClauseContext;
|
|
92
|
+
get ruleIndex(): number;
|
|
93
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
94
|
+
}
|
|
95
|
+
export declare class QueryContext extends antlr.ParserRuleContext {
|
|
96
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
97
|
+
literal(): LiteralContext;
|
|
98
|
+
get ruleIndex(): number;
|
|
99
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
100
|
+
}
|
|
101
|
+
export declare class RequirementContext extends antlr.ParserRuleContext {
|
|
102
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
103
|
+
IDENTIFIER(): antlr.TerminalNode;
|
|
104
|
+
get ruleIndex(): number;
|
|
105
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
106
|
+
}
|
|
107
|
+
export declare class ClauseContext extends antlr.ParserRuleContext {
|
|
108
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
109
|
+
literal(): LiteralContext;
|
|
110
|
+
body(): BodyContext | null;
|
|
111
|
+
get ruleIndex(): number;
|
|
112
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
113
|
+
}
|
|
114
|
+
export declare class BodyContext extends antlr.ParserRuleContext {
|
|
115
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
116
|
+
literal(): LiteralContext;
|
|
117
|
+
body(): BodyContext | null;
|
|
118
|
+
get ruleIndex(): number;
|
|
119
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
120
|
+
}
|
|
121
|
+
export declare class LiteralContext extends antlr.ParserRuleContext {
|
|
122
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
123
|
+
predicate_sym(): Predicate_symContext | null;
|
|
124
|
+
terms_(): Terms_Context | null;
|
|
125
|
+
term_(): Term_Context[];
|
|
126
|
+
term_(i: number): Term_Context | null;
|
|
127
|
+
VARIABLE(): antlr.TerminalNode | null;
|
|
128
|
+
external_sym(): External_symContext | null;
|
|
129
|
+
get ruleIndex(): number;
|
|
130
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
131
|
+
}
|
|
132
|
+
export declare class Predicate_symContext extends antlr.ParserRuleContext {
|
|
133
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
134
|
+
IDENTIFIER(): antlr.TerminalNode | null;
|
|
135
|
+
STRING(): antlr.TerminalNode | null;
|
|
136
|
+
get ruleIndex(): number;
|
|
137
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
138
|
+
}
|
|
139
|
+
export declare class Terms_Context extends antlr.ParserRuleContext {
|
|
140
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
141
|
+
term_(): Term_Context;
|
|
142
|
+
terms_(): Terms_Context | null;
|
|
143
|
+
get ruleIndex(): number;
|
|
144
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
145
|
+
}
|
|
146
|
+
export declare class Term_Context extends antlr.ParserRuleContext {
|
|
147
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
148
|
+
VARIABLE(): antlr.TerminalNode | null;
|
|
149
|
+
constant(): ConstantContext | null;
|
|
150
|
+
get ruleIndex(): number;
|
|
151
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
152
|
+
}
|
|
153
|
+
export declare class ConstantContext extends antlr.ParserRuleContext {
|
|
154
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
155
|
+
IDENTIFIER(): antlr.TerminalNode | null;
|
|
156
|
+
STRING(): antlr.TerminalNode | null;
|
|
157
|
+
INTEGER(): antlr.TerminalNode | null;
|
|
158
|
+
get ruleIndex(): number;
|
|
159
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
160
|
+
}
|
|
161
|
+
export declare class External_symContext extends antlr.ParserRuleContext {
|
|
162
|
+
constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
|
|
163
|
+
IDENTIFIER(): antlr.TerminalNode;
|
|
164
|
+
get ruleIndex(): number;
|
|
165
|
+
accept<Result>(visitor: datalogVisitor<Result>): Result | null;
|
|
166
|
+
}
|
|
167
|
+
//# sourceMappingURL=datalogParser.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"datalogParser.d.ts","sourceRoot":"","sources":["../../src/generated/datalogParser.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,MAAM,UAAU,CAAC;AAGlC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAOrD,qBAAa,aAAc,SAAQ,KAAK,CAAC,MAAM;IAC3C,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,KAAK;IAChC,gBAAuB,IAAI,MAAM;IACjC,gBAAuB,KAAK,MAAM;IAClC,gBAAuB,QAAQ,MAAM;IACrC,gBAAuB,UAAU,MAAM;IACvC,gBAAuB,MAAM,MAAM;IACnC,gBAAuB,OAAO,MAAM;IACpC,gBAAuB,OAAO,MAAM;IACpC,gBAAuB,EAAE,MAAM;IAC/B,gBAAuB,YAAY,KAAK;IACxC,gBAAuB,cAAc,KAAK;IAC1C,gBAAuB,cAAc,KAAK;IAC1C,gBAAuB,eAAe,KAAK;IAC3C,gBAAuB,UAAU,KAAK;IACtC,gBAAuB,gBAAgB,KAAK;IAC5C,gBAAuB,WAAW,KAAK;IACvC,gBAAuB,SAAS,KAAK;IACrC,gBAAuB,YAAY,KAAK;IACxC,gBAAuB,kBAAkB,KAAK;IAC9C,gBAAuB,WAAW,MAAM;IACxC,gBAAuB,UAAU,MAAM;IACvC,gBAAuB,aAAa,MAAM;IAC1C,gBAAuB,iBAAiB,MAAM;IAE9C,gBAAuB,YAAY,oBAGjC;IAEF,gBAAuB,aAAa,oBAIlC;IACF,gBAAuB,SAAS,WAI9B;IAEF,IAAW,eAAe,IAAI,MAAM,CAAyB;IAC7D,IAAW,YAAY,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAuC;IACnF,IAAW,aAAa,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAwC;IACrF,IAAW,SAAS,IAAI,MAAM,EAAE,CAAoC;IACpE,IAAW,aAAa,IAAI,MAAM,EAAE,CAAyC;IAE7E,SAAS,CAAC,8BAA8B,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,wBAAwB;gBAI3F,KAAK,EAAE,KAAK,CAAC,WAAW;IAIpC,OAAO,IAAI,cAAc;IAsCzB,SAAS,IAAI,gBAAgB;IAkD7B,SAAS,IAAI,gBAAgB;IAyB7B,UAAU,IAAI,iBAAiB;IAyB/B,KAAK,IAAI,YAAY;IAyBrB,WAAW,IAAI,kBAAkB;IA6BjC,MAAM,IAAI,aAAa;IAwCvB,IAAI,IAAI,WAAW;IAwCnB,OAAO,IAAI,cAAc;IA4FzB,aAAa,IAAI,oBAAoB;IA+BrC,MAAM,IAAI,aAAa;IAwCvB,KAAK,IAAI,YAAY;IA0CrB,QAAQ,IAAI,eAAe;IA+B3B,YAAY,IAAI,mBAAmB;IAwB1C,gBAAuB,cAAc,EAAE,MAAM,EAAE,CAoC7C;IAEF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAY;IAChC,WAAkB,IAAI,IAAI,KAAK,CAAC,GAAG,CAMlC;IAGD,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAqF;IAEvH,IAAoB,UAAU,IAAI,KAAK,CAAC,UAAU,CAEjD;IAED,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAkH;CAC3J;AAED,qBAAa,cAAe,SAAQ,KAAK,CAAC,iBAAiB;gBACpC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,GAAG,IAAI,KAAK,CAAC,YAAY;IAGzB,SAAS,IAAI,gBAAgB,EAAE;IAC/B,SAAS,CAAC,CAAC,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI;IAQpD,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,gBAAiB,SAAQ,KAAK,CAAC,iBAAiB;gBACtC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,SAAS,IAAI,gBAAgB,GAAG,IAAI;IAGpC,UAAU,IAAI,iBAAiB,GAAG,IAAI;IAGtC,KAAK,IAAI,YAAY,GAAG,IAAI;IAG5B,WAAW,IAAI,kBAAkB,GAAG,IAAI;IAG/C,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,gBAAiB,SAAQ,KAAK,CAAC,iBAAiB;gBACtC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,MAAM,IAAI,aAAa;IAG9B,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,iBAAkB,SAAQ,KAAK,CAAC,iBAAiB;gBACvC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,MAAM,IAAI,aAAa;IAG9B,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,YAAa,SAAQ,KAAK,CAAC,iBAAiB;gBAClC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,OAAO,IAAI,cAAc;IAGhC,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,kBAAmB,SAAQ,KAAK,CAAC,iBAAiB;gBACxC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,UAAU,IAAI,KAAK,CAAC,YAAY;IAGvC,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,aAAc,SAAQ,KAAK,CAAC,iBAAiB;gBACnC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,OAAO,IAAI,cAAc;IAGzB,IAAI,IAAI,WAAW,GAAG,IAAI;IAGjC,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,WAAY,SAAQ,KAAK,CAAC,iBAAiB;gBACjC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,OAAO,IAAI,cAAc;IAGzB,IAAI,IAAI,WAAW,GAAG,IAAI;IAGjC,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,cAAe,SAAQ,KAAK,CAAC,iBAAiB;gBACpC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,aAAa,IAAI,oBAAoB,GAAG,IAAI;IAG5C,MAAM,IAAI,aAAa,GAAG,IAAI;IAG9B,KAAK,IAAI,YAAY,EAAE;IACvB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI;IAQrC,QAAQ,IAAI,KAAK,CAAC,YAAY,GAAG,IAAI;IAGrC,YAAY,IAAI,mBAAmB,GAAG,IAAI;IAGjD,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,oBAAqB,SAAQ,KAAK,CAAC,iBAAiB;gBAC1C,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,UAAU,IAAI,KAAK,CAAC,YAAY,GAAG,IAAI;IAGvC,MAAM,IAAI,KAAK,CAAC,YAAY,GAAG,IAAI;IAG1C,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,aAAc,SAAQ,KAAK,CAAC,iBAAiB;gBACnC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,KAAK,IAAI,YAAY;IAGrB,MAAM,IAAI,aAAa,GAAG,IAAI;IAGrC,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,YAAa,SAAQ,KAAK,CAAC,iBAAiB;gBAClC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,QAAQ,IAAI,KAAK,CAAC,YAAY,GAAG,IAAI;IAGrC,QAAQ,IAAI,eAAe,GAAG,IAAI;IAGzC,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,eAAgB,SAAQ,KAAK,CAAC,iBAAiB;gBACrC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,UAAU,IAAI,KAAK,CAAC,YAAY,GAAG,IAAI;IAGvC,MAAM,IAAI,KAAK,CAAC,YAAY,GAAG,IAAI;IAGnC,OAAO,IAAI,KAAK,CAAC,YAAY,GAAG,IAAI;IAG3C,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF;AAGD,qBAAa,mBAAoB,SAAQ,KAAK,CAAC,iBAAiB;gBACzC,MAAM,EAAE,KAAK,CAAC,iBAAiB,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM;IAGzE,UAAU,IAAI,KAAK,CAAC,YAAY;IAGvC,IAAoB,SAAS,IAAI,MAAM,CAEtC;IACe,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI;CAOjF"}
|