occam-furtle 2.0.279 → 2.0.282
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/README.md +0 -11
- package/lib/constants.js +29 -1
- package/lib/context/block.js +15 -1
- package/lib/context/file.js +127 -50
- package/lib/element/assignment/array.js +186 -0
- package/lib/element/assignment/object.js +244 -0
- package/lib/element/assignment/variable.js +144 -0
- package/lib/element/assignments/variable.js +158 -0
- package/lib/element/block/return.js +198 -0
- package/lib/element/comparison.js +179 -0
- package/lib/element/declaration/procedure.js +139 -0
- package/lib/{dom → element}/error.js +12 -4
- package/lib/element/every.js +179 -0
- package/lib/element/expression/bitwise.js +186 -0
- package/lib/element/expression/bracketed.js +149 -0
- package/lib/element/expression/negated.js +166 -0
- package/lib/element/expression.js +578 -0
- package/lib/element/expressions.js +210 -0
- package/lib/{dom → element}/label.js +4 -4
- package/lib/element/parameter/named.js +198 -0
- package/lib/element/parameter.js +165 -0
- package/lib/element/parameters/named.js +220 -0
- package/lib/element/parameters.js +198 -0
- package/lib/element/procedure/anonymous.js +181 -0
- package/lib/element/procedure.js +212 -0
- package/lib/element/procedureCall.js +166 -0
- package/lib/element/query/node.js +186 -0
- package/lib/element/query/nodes.js +179 -0
- package/lib/element/reduce.js +181 -0
- package/lib/element/reference.js +138 -0
- package/lib/element/some.js +179 -0
- package/lib/element/statement/return.js +138 -0
- package/lib/element/step.js +154 -0
- package/lib/element/ternary.js +171 -0
- package/lib/element/variable.js +279 -0
- package/lib/elements.js +27 -0
- package/lib/index.js +10 -2
- package/lib/log.js +202 -0
- package/lib/preamble.js +32 -32
- package/lib/process/verify.js +289 -0
- package/lib/utilities/context.js +46 -5
- package/package.json +3 -1
- package/src/constants.js +16 -0
- package/src/context/block.js +10 -0
- package/src/context/file.js +96 -54
- package/src/{dom → element}/assignment/array.js +6 -6
- package/src/{dom → element}/assignment/object.js +8 -8
- package/src/{dom → element}/assignment/variable.js +4 -4
- package/src/{dom → element}/assignments/variable.js +5 -5
- package/src/{dom → element}/block/return.js +5 -5
- package/src/{dom → element}/comparison.js +5 -5
- package/src/{dom → element}/declaration/procedure.js +22 -4
- package/src/{dom → element}/error.js +13 -4
- package/src/{dom → element}/every.js +6 -6
- package/src/{dom → element}/expression/bitwise.js +5 -5
- package/src/{dom → element}/expression/bracketed.js +4 -4
- package/src/{dom → element}/expression/negated.js +5 -5
- package/src/{dom → element}/expression.js +4 -4
- package/src/{dom → element}/expressions.js +6 -6
- package/src/{dom → element}/label.js +4 -4
- package/src/{dom → element}/parameter/named.js +4 -4
- package/src/{dom → element}/parameter.js +4 -4
- package/src/{dom → element}/parameters/named.js +5 -5
- package/src/{dom → element}/parameters.js +5 -5
- package/src/{dom → element}/procedure/anonymous.js +4 -4
- package/src/{dom → element}/procedure.js +5 -5
- package/src/{dom → element}/procedureCall.js +4 -4
- package/src/{dom → element}/query/node.js +5 -5
- package/src/{dom → element}/query/nodes.js +5 -5
- package/src/{dom → element}/reduce.js +5 -5
- package/src/{dom → element}/reference.js +4 -4
- package/src/{dom → element}/some.js +6 -6
- package/src/{dom → element}/statement/return.js +4 -4
- package/src/{dom → element}/step.js +4 -4
- package/src/{dom → element}/ternary.js +4 -4
- package/src/{dom → element}/variable.js +5 -5
- package/src/elements.js +13 -0
- package/src/index.js +5 -1
- package/src/log.js +139 -0
- package/src/preamble.js +31 -31
- package/src/process/verify.js +157 -0
- package/src/utilities/context.js +45 -2
- package/test/Free and bound variables.ftl +112 -0
- package/test/context/file.js +127 -0
- package/{src/example → test}/context/release.js +60 -12
- package/test/helpers/constants.js +17 -0
- package/{src/example/utilities → test/helpers}/expressions.js +8 -4
- package/{src/example/utilities → test/helpers}/furtle.js +8 -4
- package/{src/example/utilities → test/helpers}/grammar.js +8 -4
- package/{src/example/utilities → test/helpers}/nominal.js +10 -5
- package/{src/example/utilities → test/helpers}/procedure.js +6 -2
- package/test/main.js +55 -0
- package/example/Free and bound variables.ftl +0 -75
- package/lib/dom/assignment/array.js +0 -186
- package/lib/dom/assignment/object.js +0 -244
- package/lib/dom/assignment/variable.js +0 -144
- package/lib/dom/assignments/variable.js +0 -158
- package/lib/dom/block/return.js +0 -198
- package/lib/dom/comparison.js +0 -179
- package/lib/dom/declaration/procedure.js +0 -125
- package/lib/dom/every.js +0 -179
- package/lib/dom/expression/bitwise.js +0 -186
- package/lib/dom/expression/bracketed.js +0 -149
- package/lib/dom/expression/negated.js +0 -166
- package/lib/dom/expression.js +0 -578
- package/lib/dom/expressions.js +0 -210
- package/lib/dom/parameter/named.js +0 -198
- package/lib/dom/parameter.js +0 -165
- package/lib/dom/parameters/named.js +0 -220
- package/lib/dom/parameters.js +0 -198
- package/lib/dom/procedure/anonymous.js +0 -181
- package/lib/dom/procedure.js +0 -212
- package/lib/dom/procedureCall.js +0 -166
- package/lib/dom/query/node.js +0 -186
- package/lib/dom/query/nodes.js +0 -179
- package/lib/dom/reduce.js +0 -181
- package/lib/dom/reference.js +0 -138
- package/lib/dom/some.js +0 -179
- package/lib/dom/statement/return.js +0 -138
- package/lib/dom/step.js +0 -154
- package/lib/dom/ternary.js +0 -171
- package/lib/dom/variable.js +0 -279
- package/lib/dom.js +0 -27
- package/lib/example/context/file.js +0 -130
- package/lib/example/context/release.js +0 -160
- package/lib/example/utilities/expressions.js +0 -29
- package/lib/example/utilities/furtle.js +0 -19
- package/lib/example/utilities/grammar.js +0 -26
- package/lib/example/utilities/nominal.js +0 -25
- package/lib/example/utilities/procedure.js +0 -18
- package/src/dom.js +0 -13
- package/src/example/context/file.js +0 -69
- /package/{example → test}/customGrammars.json +0 -0
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../../elements";
|
|
4
4
|
|
|
5
|
-
import {
|
|
5
|
+
import { define } from "../../elements";
|
|
6
6
|
|
|
7
|
-
export default
|
|
7
|
+
export default define(class ProcedureDeclaration {
|
|
8
8
|
constructor(string, procedure) {
|
|
9
9
|
this.string = string;
|
|
10
10
|
this.procedure = procedure;
|
|
@@ -18,6 +18,24 @@ export default domAssigned(class ProcedureDeclaration {
|
|
|
18
18
|
return this.procedure;
|
|
19
19
|
}
|
|
20
20
|
|
|
21
|
+
verify(context) {
|
|
22
|
+
const verifies = true;
|
|
23
|
+
|
|
24
|
+
const procedureDeclarationString = this.getString();
|
|
25
|
+
|
|
26
|
+
context.trace(`Verifying the '${procedureDeclarationString}' procedure declaration...`)
|
|
27
|
+
|
|
28
|
+
const procedure = this.getProcedure();
|
|
29
|
+
|
|
30
|
+
context.addProcedure(procedure);
|
|
31
|
+
|
|
32
|
+
if (verifies) {
|
|
33
|
+
context.debug(`...verified the '${procedureDeclarationString}' procedure declaration.`)
|
|
34
|
+
}
|
|
35
|
+
|
|
36
|
+
return verifies;
|
|
37
|
+
}
|
|
38
|
+
|
|
21
39
|
static name = "ProcedureDeclaration";
|
|
22
40
|
|
|
23
41
|
static fromProcedureDeclarationNode(procedureDeclarationNode, context) {
|
|
@@ -28,7 +46,7 @@ export default domAssigned(class ProcedureDeclaration {
|
|
|
28
46
|
});
|
|
29
47
|
|
|
30
48
|
function procedureFromProcedureDeclarationNode(procedureDeclarationNode, context) {
|
|
31
|
-
const { Procedure, ProcedureDeclaration } =
|
|
49
|
+
const { Procedure, ProcedureDeclaration } = elements,
|
|
32
50
|
procedure = Procedure.fromProcedureDeclarationNode(procedureDeclarationNode, context),
|
|
33
51
|
string = stringFromProcedure(procedure, context),
|
|
34
52
|
procedureDeclaration = new ProcedureDeclaration(string, procedure);
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../elements";
|
|
4
4
|
|
|
5
|
-
import {
|
|
5
|
+
import { define } from "../elements";
|
|
6
6
|
|
|
7
|
-
export default
|
|
7
|
+
export default define(class Error {
|
|
8
8
|
constructor(string) {
|
|
9
9
|
this.string = string;
|
|
10
10
|
}
|
|
@@ -13,6 +13,15 @@ export default domAssigned(class Error {
|
|
|
13
13
|
return this.string;
|
|
14
14
|
}
|
|
15
15
|
|
|
16
|
+
verify(context) {
|
|
17
|
+
const verifies = false,
|
|
18
|
+
errorString = this.getString(); ///
|
|
19
|
+
|
|
20
|
+
context.warning(`The '${errorString}' error cannot be verified.`);
|
|
21
|
+
|
|
22
|
+
return verifies;
|
|
23
|
+
}
|
|
24
|
+
|
|
16
25
|
static name = "Error";
|
|
17
26
|
|
|
18
27
|
static fromErrorNode(errorNode, context) {
|
|
@@ -23,7 +32,7 @@ export default domAssigned(class Error {
|
|
|
23
32
|
});
|
|
24
33
|
|
|
25
34
|
function errorFromErrorNode(errorNode, context) {
|
|
26
|
-
const {Error} =
|
|
35
|
+
const { Error } = elements,
|
|
27
36
|
node = errorNode, ///
|
|
28
37
|
string = context.nodeAsString(node),
|
|
29
38
|
error = new Error(string);
|
|
@@ -1,15 +1,15 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../elements";
|
|
4
4
|
import Exception from "../exception";
|
|
5
5
|
|
|
6
|
+
import { define } from "../elements";
|
|
6
7
|
import { nodeQuery } from "../utilities/query";
|
|
7
|
-
import { domAssigned } from "../dom";
|
|
8
8
|
import { NODES_TYPE, BOOLEAN_TYPE } from "../types";
|
|
9
9
|
|
|
10
10
|
const expressionEveryNodeQuery = nodeQuery("/expression/every");
|
|
11
11
|
|
|
12
|
-
export default
|
|
12
|
+
export default define(class Every {
|
|
13
13
|
constructor(string, variable, anonymousProcedure) {
|
|
14
14
|
this.string = string;
|
|
15
15
|
this.variable = variable;
|
|
@@ -51,7 +51,7 @@ export default domAssigned(class Every {
|
|
|
51
51
|
boolean = nodes.every((node) => {
|
|
52
52
|
let expression;
|
|
53
53
|
|
|
54
|
-
const { Expression, Expressions } =
|
|
54
|
+
const { Expression, Expressions } = elements;
|
|
55
55
|
|
|
56
56
|
expression = Expression.fromNode(node, context);
|
|
57
57
|
|
|
@@ -74,7 +74,7 @@ export default domAssigned(class Every {
|
|
|
74
74
|
return boolean;
|
|
75
75
|
});
|
|
76
76
|
|
|
77
|
-
const { Expression } =
|
|
77
|
+
const { Expression } = elements;
|
|
78
78
|
|
|
79
79
|
expression = Expression.fromBoolean(boolean, context);
|
|
80
80
|
|
|
@@ -101,7 +101,7 @@ export default domAssigned(class Every {
|
|
|
101
101
|
});
|
|
102
102
|
|
|
103
103
|
function everyFromEveryNode(everyNode, context) {
|
|
104
|
-
const { Every, Variable, AnonymousProcedure } =
|
|
104
|
+
const { Every, Variable, AnonymousProcedure } = elements,
|
|
105
105
|
anonymousProcedure = AnonymousProcedure.fromEveryNode(everyNode, context),
|
|
106
106
|
variable = Variable.fromEveryNode(everyNode, context),
|
|
107
107
|
string = stringFromVariableAndAnonymousProcedure(variable, anonymousProcedure, context),
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../../elements";
|
|
4
4
|
import Exception from "../../exception";
|
|
5
5
|
|
|
6
|
+
import { define } from "../../elements";
|
|
6
7
|
import { nodeQuery } from "../../utilities/query";
|
|
7
|
-
import { domAssigned } from "../../dom";
|
|
8
8
|
import { BOOLEAN_TYPE } from "../../types";
|
|
9
9
|
import { CONJUNCTION, DISJUNCTION } from "../../constants";
|
|
10
10
|
|
|
@@ -13,7 +13,7 @@ const terminalNodeQuery = nodeQuery("/bitwiseExpression/@*"),
|
|
|
13
13
|
rightExpressionNodeQuery = nodeQuery("/bitwiseExpression/expression[1]"),
|
|
14
14
|
expressionBitwiseExpressionNodeQuery = nodeQuery("/expression/bitwiseExpression");
|
|
15
15
|
|
|
16
|
-
export default
|
|
16
|
+
export default define(class BitwiseExpression {
|
|
17
17
|
constructor(string, type, disjoint, leftExpression, rightExpression) {
|
|
18
18
|
this.string = string;
|
|
19
19
|
this.type = type;
|
|
@@ -49,7 +49,7 @@ export default domAssigned(class BitwiseExpression {
|
|
|
49
49
|
|
|
50
50
|
context.trace(`Evaluating the '${bitwiseExpressionString}' bitwise expression...`);
|
|
51
51
|
|
|
52
|
-
const { Expression } =
|
|
52
|
+
const { Expression } = elements,
|
|
53
53
|
leftExpression = this.leftExpression.evaluate(context),
|
|
54
54
|
rightExpression = this.rightExpression.evaluate(context),
|
|
55
55
|
leftExpressionType = leftExpression.getType(),
|
|
@@ -102,7 +102,7 @@ export default domAssigned(class BitwiseExpression {
|
|
|
102
102
|
});
|
|
103
103
|
|
|
104
104
|
function bitwiseExpressionFromBitwiseExpressionNode(bitwiseExpressionNode, context) {
|
|
105
|
-
const { Expression, BitwiseExpression } =
|
|
105
|
+
const { Expression, BitwiseExpression } = elements,
|
|
106
106
|
leftExpressionNode = leftExpressionNodeQuery(bitwiseExpressionNode),
|
|
107
107
|
rightExpressionNode = rightExpressionNodeQuery(bitwiseExpressionNode),
|
|
108
108
|
type = BOOLEAN_TYPE,
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../../elements";
|
|
4
4
|
|
|
5
|
+
import { define } from "../../elements";
|
|
5
6
|
import { nodeQuery } from "../../utilities/query";
|
|
6
|
-
import { domAssigned } from "../../dom";
|
|
7
7
|
|
|
8
8
|
const expressionNodeQuery = nodeQuery("/bracketedExpression/expression"),
|
|
9
9
|
expressionBracketedExpressionNodeQuery = nodeQuery("/expression/bracketedExpression");
|
|
10
10
|
|
|
11
|
-
export default
|
|
11
|
+
export default define(class BracketedExpression {
|
|
12
12
|
constructor(string, expression) {
|
|
13
13
|
this.string = string;
|
|
14
14
|
this.expression = expression;
|
|
@@ -56,7 +56,7 @@ export default domAssigned(class BracketedExpression {
|
|
|
56
56
|
});
|
|
57
57
|
|
|
58
58
|
function bracketedExpressionFromBracketedExpressionNode(bracketedExpressionNode, context) {
|
|
59
|
-
const { Expression, BracketedExpression } =
|
|
59
|
+
const { Expression, BracketedExpression } = elements,
|
|
60
60
|
expressionNode = expressionNodeQuery(bracketedExpressionNode),
|
|
61
61
|
expression = Expression.fromExpressionNode(expressionNode, context),
|
|
62
62
|
string = stringFromExpression(expression, context),
|
|
@@ -1,16 +1,16 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../../elements";
|
|
4
4
|
import Exception from "../../exception";
|
|
5
5
|
|
|
6
|
+
import { define } from "../../elements";
|
|
6
7
|
import { nodeQuery } from "../../utilities/query";
|
|
7
|
-
import { domAssigned } from "../../dom";
|
|
8
8
|
import { BOOLEAN_TYPE } from "../../types";
|
|
9
9
|
|
|
10
10
|
const expressionNodeQuery = nodeQuery("/negatedExpression/expression"),
|
|
11
11
|
expressionNegatedExpressionNodeQuery = nodeQuery("/expression/negatedExpression");
|
|
12
12
|
|
|
13
|
-
export default
|
|
13
|
+
export default define(class NegatedExpression {
|
|
14
14
|
constructor(string, type, expression) {
|
|
15
15
|
this.string = string;
|
|
16
16
|
this.type = type;
|
|
@@ -52,7 +52,7 @@ export default domAssigned(class NegatedExpression {
|
|
|
52
52
|
|
|
53
53
|
boolean = !boolean;
|
|
54
54
|
|
|
55
|
-
const { Expression } =
|
|
55
|
+
const { Expression } = elements;
|
|
56
56
|
|
|
57
57
|
expression = Expression.fromBoolean(boolean, context); ///
|
|
58
58
|
|
|
@@ -79,7 +79,7 @@ export default domAssigned(class NegatedExpression {
|
|
|
79
79
|
});
|
|
80
80
|
|
|
81
81
|
function negatedExpressionFromNegatedExpressionNode(negatedExpressionNode, context) {
|
|
82
|
-
const { Expression, NegatedExpression } =
|
|
82
|
+
const { Expression, NegatedExpression } = elements,
|
|
83
83
|
expressionNode = expressionNodeQuery(negatedExpressionNode),
|
|
84
84
|
expression = Expression.fromExpressionNode(expressionNode, context),
|
|
85
85
|
type = BOOLEAN_TYPE,
|
|
@@ -2,11 +2,11 @@
|
|
|
2
2
|
|
|
3
3
|
import { arrayUtilities } from "necessary";
|
|
4
4
|
|
|
5
|
-
import
|
|
5
|
+
import elements from "../elements";
|
|
6
6
|
import nullNode from "../nullNode";
|
|
7
7
|
|
|
8
|
+
import { define } from "../elements";
|
|
8
9
|
import { nodeQuery } from "../utilities/query";
|
|
9
|
-
import { domAssigned } from "../dom";
|
|
10
10
|
import { NULL, TRUE, FALSE, EMPTY_STRING } from "../constants";
|
|
11
11
|
import { NODE_TYPE, NODES_TYPE, NUMBER_TYPE, STRING_TYPE, BOOLEAN_TYPE } from "../types";
|
|
12
12
|
|
|
@@ -20,7 +20,7 @@ const numberTerminalNodeQuery = nodeQuery("/expression/@number"),
|
|
|
20
20
|
returnStatementExpressionNodeQuery = nodeQuery("/returnStatement/expression"),
|
|
21
21
|
variableAssignmentExpressionNodeQuery = nodeQuery("/variableAssignment/expression");
|
|
22
22
|
|
|
23
|
-
export default
|
|
23
|
+
export default define(class Expression {
|
|
24
24
|
constructor(node, nodes, number, string, boolean, some, every, reduce, ternary, variable, nodeQuery, nodesQuery, comparison, returnBlock, procedureCall, negatedExpression, bitwiseExpression, bracketedExpression) {
|
|
25
25
|
this.node = node;
|
|
26
26
|
this.nodes = nodes;
|
|
@@ -506,7 +506,7 @@ function booleanAsString(boolean) {
|
|
|
506
506
|
}
|
|
507
507
|
|
|
508
508
|
function expressionFromExpressionNode(expressionNode, context) {
|
|
509
|
-
const { Some, Every, Reduce, Expression, Ternary, Variable, NodeQuery, NodesQuery, Comparison, ReturnBlock, ProcedureCall, NegatedExpression, BitwiseExpression, BracketedExpression } =
|
|
509
|
+
const { Some, Every, Reduce, Expression, Ternary, Variable, NodeQuery, NodesQuery, Comparison, ReturnBlock, ProcedureCall, NegatedExpression, BitwiseExpression, BracketedExpression } = elements,
|
|
510
510
|
node = nodeFromExpressionNode(expressionNode, context),
|
|
511
511
|
nodes = nodesFromExpressionNode(expressionNode, context),
|
|
512
512
|
number = numberFromExpressionNode(expressionNode, context),
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../elements";
|
|
4
4
|
|
|
5
|
-
import {
|
|
5
|
+
import { define } from "../elements";
|
|
6
6
|
import { nodeQuery, nodesQuery } from "../utilities/query";
|
|
7
7
|
|
|
8
8
|
const expressionNodesQuery = nodesQuery("/expressions/expression"),
|
|
9
9
|
procedureCallExpressionsNodeQuery = nodeQuery("/procedureCall/expressions");
|
|
10
10
|
|
|
11
|
-
export default
|
|
11
|
+
export default define(class Expressions {
|
|
12
12
|
constructor(string, array) {
|
|
13
13
|
this.string = string;
|
|
14
14
|
this.array = array;
|
|
@@ -90,7 +90,7 @@ export default domAssigned(class Expressions {
|
|
|
90
90
|
});
|
|
91
91
|
|
|
92
92
|
function arrayFromNodes(nodes, context) {
|
|
93
|
-
const { Expression } =
|
|
93
|
+
const { Expression } = elements,
|
|
94
94
|
array = nodes.map((node) => { ///
|
|
95
95
|
const expression = Expression.fromNode(node, context);
|
|
96
96
|
|
|
@@ -116,7 +116,7 @@ function stringFromArray(array, context) {
|
|
|
116
116
|
}
|
|
117
117
|
|
|
118
118
|
function arrayFromExpressionNodes(expressionNodes, context) {
|
|
119
|
-
const { Expression } =
|
|
119
|
+
const { Expression } = elements,
|
|
120
120
|
array = expressionNodes.map((expressionNode) => { ///
|
|
121
121
|
const expression = Expression.fromExpressionNode(expressionNode, context);
|
|
122
122
|
|
|
@@ -127,7 +127,7 @@ function arrayFromExpressionNodes(expressionNodes, context) {
|
|
|
127
127
|
}
|
|
128
128
|
|
|
129
129
|
function expressionsFromExpressionsNode(expressionsNode, context) {
|
|
130
|
-
const { Expressions } =
|
|
130
|
+
const { Expressions } = elements,
|
|
131
131
|
node = expressionsNode, ///
|
|
132
132
|
string = context.nodeAsString(node),
|
|
133
133
|
expressionNodes = expressionNodesQuery(expressionsNode),
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../elements";
|
|
4
4
|
|
|
5
|
+
import { define } from "../elements";
|
|
5
6
|
import { nodeQuery } from "../utilities/query";
|
|
6
|
-
import { domAssigned } from "../dom";
|
|
7
7
|
|
|
8
8
|
const nameTerminalNodeQuery = nodeQuery("/label/@name"),
|
|
9
9
|
procedureDeclarationLabelNodeQuery = nodeQuery("/procedureDeclaration/label");
|
|
10
10
|
|
|
11
|
-
export default
|
|
11
|
+
export default define(class Label {
|
|
12
12
|
constructor(string, name) {
|
|
13
13
|
this.string = string;
|
|
14
14
|
this.name = name;
|
|
@@ -40,7 +40,7 @@ export default domAssigned(class Label {
|
|
|
40
40
|
});
|
|
41
41
|
|
|
42
42
|
function labelFromLabelNode(labelNode, context) {
|
|
43
|
-
const { Label } =
|
|
43
|
+
const { Label } = elements,
|
|
44
44
|
name = nameFromLabelNode(labelNode, context),
|
|
45
45
|
string = stringFromName(name, context),
|
|
46
46
|
label = new Label(string, name);
|
|
@@ -1,16 +1,16 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../../elements";
|
|
4
4
|
import Exception from "../../exception";
|
|
5
5
|
|
|
6
|
+
import { define } from "../../elements";
|
|
6
7
|
import { nodeQuery } from "../../utilities/query";
|
|
7
|
-
import { domAssigned } from "../../dom";
|
|
8
8
|
|
|
9
9
|
const typeTerminalNodeQuery = nodeQuery("/namedParameter/@type"),
|
|
10
10
|
nameTerminalNodeQuery = nodeQuery("/namedParameter/@name[0]"),
|
|
11
11
|
asNameTerminalNodeQuery = nodeQuery("/namedParameter/@name[1]");
|
|
12
12
|
|
|
13
|
-
export default
|
|
13
|
+
export default define(class NamedParameter {
|
|
14
14
|
constructor(string, type, name, asName) {
|
|
15
15
|
this.string = string;
|
|
16
16
|
this.type = type;
|
|
@@ -85,7 +85,7 @@ export default domAssigned(class NamedParameter {
|
|
|
85
85
|
});
|
|
86
86
|
|
|
87
87
|
function namedParameterFromNamedParameterNode(namedParameterNode, context) {
|
|
88
|
-
const { NamedParameter } =
|
|
88
|
+
const { NamedParameter } = elements,
|
|
89
89
|
type = typeFromNamedParameterNode(namedParameterNode, context),
|
|
90
90
|
name = nameFromNamedParameterNode(namedParameterNode, context),
|
|
91
91
|
asName = asNameFromNamedParameterNode(namedParameterNode, context),
|
|
@@ -1,16 +1,16 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../elements";
|
|
4
4
|
import Exception from "../exception";
|
|
5
5
|
|
|
6
|
-
import {
|
|
6
|
+
import { define } from "../elements";
|
|
7
7
|
import { nodeQuery, nodesQuery } from "../utilities/query";
|
|
8
8
|
|
|
9
9
|
const terminalNodesQuery = nodesQuery("/parameter/@*"),
|
|
10
10
|
nameTerminalNodeQuery = nodeQuery("/parameter/@name"),
|
|
11
11
|
typeTerminalNodeQuery = nodeQuery("/parameter/@type");
|
|
12
12
|
|
|
13
|
-
export default
|
|
13
|
+
export default define(class Parameter {
|
|
14
14
|
constructor(string, type, name) {
|
|
15
15
|
this.string = string;
|
|
16
16
|
this.type = type;
|
|
@@ -64,7 +64,7 @@ export default domAssigned(class Parameter {
|
|
|
64
64
|
});
|
|
65
65
|
|
|
66
66
|
function parameterFromParameterNode(parameterNode, context) {
|
|
67
|
-
const { Parameter } =
|
|
67
|
+
const { Parameter } = elements,
|
|
68
68
|
name = nameFromParameterNode(parameterNode, context),
|
|
69
69
|
type = typeFromParameterNode(parameterNode, context),
|
|
70
70
|
string = stringFromNameAndType(name, type, context),
|
|
@@ -1,15 +1,15 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../../elements";
|
|
4
4
|
import Exception from "../../exception";
|
|
5
5
|
|
|
6
|
-
import {
|
|
6
|
+
import { define } from "../../elements";
|
|
7
7
|
import { nodeQuery, nodesQuery } from "../../utilities/query";
|
|
8
8
|
|
|
9
9
|
const namedParameterNodesQuery = nodesQuery("/namedParameters/namedParameter"),
|
|
10
10
|
objectAssignmentNamedParametersNodeQuery = nodeQuery("/objectAssignment/namedParameters");
|
|
11
11
|
|
|
12
|
-
export default
|
|
12
|
+
export default define(class NamedParameters {
|
|
13
13
|
constructor(string, array) {
|
|
14
14
|
this.string = string;
|
|
15
15
|
this.array = array;
|
|
@@ -114,7 +114,7 @@ export default domAssigned(class NamedParameters {
|
|
|
114
114
|
});
|
|
115
115
|
|
|
116
116
|
function namedParametersFromNamedParametersNode(namedParametersNode, context) {
|
|
117
|
-
const { NamedParameters } =
|
|
117
|
+
const { NamedParameters } = elements,
|
|
118
118
|
namedParameterNodes = namedParameterNodesQuery(namedParametersNode),
|
|
119
119
|
array = arrayFromNamedParameterNodes(namedParameterNodes, context),
|
|
120
120
|
string = stringFromArray(array, context),
|
|
@@ -124,7 +124,7 @@ function namedParametersFromNamedParametersNode(namedParametersNode, context) {
|
|
|
124
124
|
}
|
|
125
125
|
|
|
126
126
|
function arrayFromNamedParameterNodes(namedParameterNodes, context) {
|
|
127
|
-
const { NamedParameter } =
|
|
127
|
+
const { NamedParameter } = elements,
|
|
128
128
|
array = namedParameterNodes.map((namedParameterNode) => { ///
|
|
129
129
|
const namedParameter = NamedParameter.fromNamedParameterNode(namedParameterNode, context);
|
|
130
130
|
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../elements";
|
|
4
4
|
import Exception from "../exception";
|
|
5
5
|
|
|
6
|
+
import { define } from "../elements";
|
|
6
7
|
import { UNDERSCORE } from "../constants";
|
|
7
|
-
import { domAssigned } from "../dom";
|
|
8
8
|
import { nodeQuery, nodesQuery } from "../utilities/query";
|
|
9
9
|
|
|
10
10
|
const parameterNodesQuery = nodesQuery("/parameters/parameter"),
|
|
@@ -12,7 +12,7 @@ const parameterNodesQuery = nodesQuery("/parameters/parameter"),
|
|
|
12
12
|
anonymousProcedureParametersNodeQuery = nodeQuery("/anonymousProcedure/parameters"),
|
|
13
13
|
procedureDeclarationParametersNodeQuery = nodeQuery("/procedureDeclaration/parameters");
|
|
14
14
|
|
|
15
|
-
export default
|
|
15
|
+
export default define(class Parameters {
|
|
16
16
|
constructor(string, array) {
|
|
17
17
|
this.string = string;
|
|
18
18
|
this.array = array;
|
|
@@ -95,7 +95,7 @@ export default domAssigned(class Parameters {
|
|
|
95
95
|
});
|
|
96
96
|
|
|
97
97
|
function parametersFromParametersNode(parametersNode, context) {
|
|
98
|
-
const { Parameters } =
|
|
98
|
+
const { Parameters } = elements,
|
|
99
99
|
array = arrayFromParametersNode(parametersNode, context),
|
|
100
100
|
string = stringFromArray(array, context),
|
|
101
101
|
parameters = new Parameters(string, array);
|
|
@@ -106,7 +106,7 @@ function parametersFromParametersNode(parametersNode, context) {
|
|
|
106
106
|
function arrayFromParametersNode(parametersNode, context) {
|
|
107
107
|
const parameterNodes = parameterNodesQuery(parametersNode),
|
|
108
108
|
array = parameterNodes.map((parameterNode) => { ///
|
|
109
|
-
const { Parameter } =
|
|
109
|
+
const { Parameter } = elements,
|
|
110
110
|
parameter = Parameter.fromParameterNode(parameterNode, context);
|
|
111
111
|
|
|
112
112
|
return parameter;
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../../elements";
|
|
4
4
|
import Exception from "../../exception";
|
|
5
5
|
|
|
6
|
+
import { define } from "../../elements";
|
|
6
7
|
import { nodeQuery } from "../../utilities/query";
|
|
7
|
-
import { domAssigned } from "../../dom";
|
|
8
8
|
import { variablesFromExpressionsAndParameters } from "../procedure";
|
|
9
9
|
|
|
10
10
|
const typeTerminalNodeQuery = nodeQuery("/anonymousProcedure/@type"),
|
|
@@ -12,7 +12,7 @@ const typeTerminalNodeQuery = nodeQuery("/anonymousProcedure/@type"),
|
|
|
12
12
|
everyAnonymousProcedureNodeQuery = nodeQuery("/every/anonymousProcedure"),
|
|
13
13
|
reduceAnonymousProcedureNodeQuery = nodeQuery("/reduce/anonymousProcedure");
|
|
14
14
|
|
|
15
|
-
export default
|
|
15
|
+
export default define(class AnonymousProcedure {
|
|
16
16
|
constructor(string, type, parameters, returnBlock) {
|
|
17
17
|
this.string = string;
|
|
18
18
|
this.type = type;
|
|
@@ -88,7 +88,7 @@ export default domAssigned(class AnonymousProcedure {
|
|
|
88
88
|
});
|
|
89
89
|
|
|
90
90
|
function anonymousProcedureFromAnonymousProcedureNode(anonymousProcedureNode, context) {
|
|
91
|
-
const { Parameters, ReturnBlock, AnonymousProcedure } =
|
|
91
|
+
const { Parameters, ReturnBlock, AnonymousProcedure } = elements,
|
|
92
92
|
returnBlock = ReturnBlock.fromAnonymousProcedureNode(anonymousProcedureNode, context),
|
|
93
93
|
parameters = Parameters.fromAnonymousProcedureNode(anonymousProcedureNode, context),
|
|
94
94
|
type = typeFromProcedureAnonymousProcedureNode(anonymousProcedureNode, context),
|
|
@@ -1,15 +1,15 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../elements";
|
|
4
4
|
import Exception from "../exception";
|
|
5
5
|
|
|
6
|
+
import { define } from "../elements";
|
|
6
7
|
import { nodeQuery } from "../utilities/query";
|
|
7
|
-
import { domAssigned } from "../dom";
|
|
8
8
|
import { BOOLEAN_TYPE } from "../types";
|
|
9
9
|
|
|
10
10
|
const typeTerminalNodeQuery = nodeQuery("/procedureDeclaration/@type");
|
|
11
11
|
|
|
12
|
-
export default
|
|
12
|
+
export default define(class Procedure {
|
|
13
13
|
constructor(string, type, label, parameters, returnBlock) {
|
|
14
14
|
this.string = string;
|
|
15
15
|
this.type = type;
|
|
@@ -86,7 +86,7 @@ export function variablesFromExpressionsAndParameters(expressions, parameters, c
|
|
|
86
86
|
const variables = [];
|
|
87
87
|
|
|
88
88
|
expressions.forEachExpression((expression, index) => {
|
|
89
|
-
const { Variable } =
|
|
89
|
+
const { Variable } = elements,
|
|
90
90
|
parameter = parameters.getParameter(index);
|
|
91
91
|
|
|
92
92
|
if (parameter !== null) {
|
|
@@ -100,7 +100,7 @@ export function variablesFromExpressionsAndParameters(expressions, parameters, c
|
|
|
100
100
|
}
|
|
101
101
|
|
|
102
102
|
function procedureDeclarationFromProcedureDeclarationNode(procedureDeclarationNode, context) {
|
|
103
|
-
const { Label, ReturnBlock, Parameters, Procedure } =
|
|
103
|
+
const { Label, ReturnBlock, Parameters, Procedure } = elements,
|
|
104
104
|
returnBlock = ReturnBlock.fromProcedureDeclarationNode(procedureDeclarationNode, context),
|
|
105
105
|
parameters = Parameters.fromProcedureDeclarationNode(procedureDeclarationNode, context),
|
|
106
106
|
label = Label.fromProcedureDeclarationNode(procedureDeclarationNode, context),
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import elements from "../elements";
|
|
4
4
|
import Exception from "../exception";
|
|
5
5
|
|
|
6
|
+
import { define } from "../elements";
|
|
6
7
|
import { nodeQuery } from "../utilities/query";
|
|
7
|
-
import { domAssigned } from "../dom";
|
|
8
8
|
|
|
9
9
|
const expressionProcedureCallNodeQuery = nodeQuery("/expression/procedureCall");
|
|
10
10
|
|
|
11
|
-
export default
|
|
11
|
+
export default define(class ProcedureCall {
|
|
12
12
|
constructor(string, reference, expressions) {
|
|
13
13
|
this.string = string;
|
|
14
14
|
this.reference = reference;
|
|
@@ -71,7 +71,7 @@ export default domAssigned(class ProcedureCall {
|
|
|
71
71
|
});
|
|
72
72
|
|
|
73
73
|
function procedureCallFromProcedureCallNode(procedureCallNode, context) {
|
|
74
|
-
const { Reference, Expressions, ProcedureCall } =
|
|
74
|
+
const { Reference, Expressions, ProcedureCall } = elements,
|
|
75
75
|
expressions = Expressions.fromProcedureCallNode(procedureCallNode, context),
|
|
76
76
|
reference = Reference.fromProcedureCallNode(procedureCallNode, context),
|
|
77
77
|
string = stringFromReferenceAndExpressions(reference, expressions, context),
|
|
@@ -4,12 +4,12 @@ import { Query } from "occam-query";
|
|
|
4
4
|
import { arrayUtilities } from "necessary";
|
|
5
5
|
import { contentUtilities } from "occam-entities";
|
|
6
6
|
|
|
7
|
-
import
|
|
7
|
+
import elements from "../../elements";
|
|
8
8
|
import Exception from "../../exception";
|
|
9
9
|
|
|
10
|
+
import { define } from "../../elements";
|
|
10
11
|
import { NODE_TYPE } from "../../types";
|
|
11
12
|
import { nodeQuery } from "../../utilities/query";
|
|
12
|
-
import { domAssigned } from "../../dom";
|
|
13
13
|
|
|
14
14
|
const { first } = arrayUtilities,
|
|
15
15
|
{ trimDoubleQuotes } = contentUtilities;
|
|
@@ -17,7 +17,7 @@ const { first } = arrayUtilities,
|
|
|
17
17
|
const expressionNodeQueryNodeQuery = nodeQuery("/expression/nodeQuery"),
|
|
18
18
|
stringLiteralTerminalNodeQuery = nodeQuery("/nodeQuery/@string-literal");
|
|
19
19
|
|
|
20
|
-
export default
|
|
20
|
+
export default define(class NodeQuery {
|
|
21
21
|
constructor(string, variable, query) {
|
|
22
22
|
this.string = string;
|
|
23
23
|
this.variable = variable;
|
|
@@ -90,7 +90,7 @@ export default domAssigned(class NodeQuery {
|
|
|
90
90
|
|
|
91
91
|
node = firstNode; ///
|
|
92
92
|
|
|
93
|
-
const { Expression } =
|
|
93
|
+
const { Expression } = elements;
|
|
94
94
|
|
|
95
95
|
expression = Expression.fromNode(node, context);
|
|
96
96
|
|
|
@@ -117,7 +117,7 @@ export default domAssigned(class NodeQuery {
|
|
|
117
117
|
});
|
|
118
118
|
|
|
119
119
|
function nodeQueryFromNodeQueryNode(nodeQueryNode, context) {
|
|
120
|
-
const { Variable, NodeQuery } =
|
|
120
|
+
const { Variable, NodeQuery } = elements,
|
|
121
121
|
node = nodeQueryNode, ///
|
|
122
122
|
string = context.nodeAsString(node),
|
|
123
123
|
expressionString = expressionStringFromNodeQueryNode(nodeQueryNode, context),
|
|
@@ -3,19 +3,19 @@
|
|
|
3
3
|
import { Query } from "occam-query";
|
|
4
4
|
import { contentUtilities } from "occam-entities";
|
|
5
5
|
|
|
6
|
-
import
|
|
6
|
+
import elements from "../../elements";
|
|
7
7
|
import Exception from "../../exception";
|
|
8
8
|
|
|
9
|
+
import { define } from "../../elements";
|
|
9
10
|
import { nodeQuery } from "../../utilities/query";
|
|
10
11
|
import { NODE_TYPE } from "../../types";
|
|
11
|
-
import { domAssigned } from "../../dom";
|
|
12
12
|
|
|
13
13
|
const { trimDoubleQuotes } = contentUtilities;
|
|
14
14
|
|
|
15
15
|
const expressionNodesQueryNodeQuery = nodeQuery("/expression/nodesQuery"),
|
|
16
16
|
stringLiteralTerminalNodesQuery = nodeQuery("/nodesQuery/@string-literal");
|
|
17
17
|
|
|
18
|
-
export default
|
|
18
|
+
export default define(class NodesQuery {
|
|
19
19
|
constructor(string, variable, query) {
|
|
20
20
|
this.string = string;
|
|
21
21
|
this.variable = variable;
|
|
@@ -76,7 +76,7 @@ export default domAssigned(class NodesQuery {
|
|
|
76
76
|
|
|
77
77
|
const nodes = this.query.execute(node);
|
|
78
78
|
|
|
79
|
-
const { Expression } =
|
|
79
|
+
const { Expression } = elements;
|
|
80
80
|
|
|
81
81
|
expression = Expression.fromNodes(nodes, context);
|
|
82
82
|
|
|
@@ -103,7 +103,7 @@ export default domAssigned(class NodesQuery {
|
|
|
103
103
|
});
|
|
104
104
|
|
|
105
105
|
function nodesQueryFromNodesQueryNode(nodesQueryNode, context) {
|
|
106
|
-
const { Variable, NodesQuery } =
|
|
106
|
+
const { Variable, NodesQuery } = elements,
|
|
107
107
|
node = nodesQueryNode, ///
|
|
108
108
|
string = context.nodeAsString(node),
|
|
109
109
|
expressionString = expressionStringFromNodesQueryNode(nodesQueryNode, context),
|