@shapeshift-labs/frontier-lang-parser 0.3.92 → 0.3.94
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.
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
const appRows = words('role sourcePath path sourceHash host hostId mount provide provides required requires require route event asset gate gap proofGap evidence proofEvidence');
|
|
2
2
|
const canvasRows = words('sourcePath path sourceHash element command state stateWrite trace gap proofGap evidence proofEvidence');
|
|
3
|
-
const constraintRows = words('variable var constraint hard soft preference prefer collapse admission');
|
|
3
|
+
const constraintRows = words('subject scope target variable var constraint hard soft preference prefer collapse admission');
|
|
4
4
|
const dialectRows = words('language sourceLanguage sourcePath path sourceHash dialect record extern');
|
|
5
|
-
const interlinguaRows = words('layer constraint constraintEdge edge obligation proofObligation proof lowering lower source sourceLift lift evidence');
|
|
5
|
+
const interlinguaRows = words('route routeId sourceLanguage target mode layer constraint constraintEdge edge obligation proofObligation proof lowering lower source sourceLift lift evidence');
|
|
6
6
|
const machineRows = words('label directive register reg flag conditionFlag basicBlock block instruction inst instr op opcode operand arg memoryEffect memoryAccess load store atomic fence memory mem effect controlEdge edge branch call return ret interrupt irq exception proof proofObligation obligation gap proofGap evidence proofEvidence');
|
|
7
7
|
const migrationRows = words('from fromVersion to toVersion change invariant invariants');
|
|
8
8
|
const packageRows = words('sourcePath path sourceHash packageManager metadata dependency script export gap proofGap evidence proofEvidence');
|
|
@@ -46,8 +46,8 @@ export const ROW_SYNTAX_CONFIG = Object.freeze({
|
|
|
46
46
|
canvasGraph: rowConfig('canvasSurfaceRow', 'canvas_surface_row', canvasRows, normalizeCanvasSurfaceRow, coreFailClosed('unsupported-canvas-surface-row')),
|
|
47
47
|
constraintSpace: rowConfig('constraintSpaceRow', 'constraint_space_row', constraintRows, normalizeConstraintSpaceRow, coreFailClosed('unsupported-constraint-space-row')),
|
|
48
48
|
possibilitySpace: rowConfig('constraintSpaceRow', 'constraint_space_row', constraintRows, normalizeConstraintSpaceRow, coreFailClosed('unsupported-constraint-space-row')),
|
|
49
|
-
decisionGraph: rowConfig('decisionGraphRow', 'decision_graph_row', words('node edge chunk gate evidence semanticChange change patchEvent patch admissionDecision admission candidateDecision candidate mergeDecision merge replay tournament tournamentCandidate panelProjection panel rsiLoop improvementFeedback feedback'), normalizeDecisionGraphRow, coreFailClosed('unsupported-decision-graph-row')),
|
|
50
|
-
admissionGraph: rowConfig('decisionGraphRow', 'decision_graph_row', words('node edge chunk gate evidence semanticChange change patchEvent patch admissionDecision admission candidateDecision candidate mergeDecision merge replay tournament tournamentCandidate panelProjection panel rsiLoop improvementFeedback feedback'), normalizeDecisionGraphRow, coreFailClosed('unsupported-decision-graph-row')),
|
|
49
|
+
decisionGraph: rowConfig('decisionGraphRow', 'decision_graph_row', words('graphKind kind scope scopeId root rootId status subject subjects node edge chunk gate evidence semanticChange change patchEvent patch admissionDecision admission candidateDecision candidate mergeDecision merge replay tournament tournamentCandidate panelProjection panel rsiLoop improvementFeedback feedback'), normalizeDecisionGraphRow, coreFailClosed('unsupported-decision-graph-row')),
|
|
50
|
+
admissionGraph: rowConfig('decisionGraphRow', 'decision_graph_row', words('graphKind kind scope scopeId root rootId status subject subjects node edge chunk gate evidence semanticChange change patchEvent patch admissionDecision admission candidateDecision candidate mergeDecision merge replay tournament tournamentCandidate panelProjection panel rsiLoop improvementFeedback feedback'), normalizeDecisionGraphRow, coreFailClosed('unsupported-decision-graph-row')),
|
|
51
51
|
gateEvidence: rowConfig('gateAdmissionEvidenceRow', 'gate_admission_evidence_row', gateAdmissionRows, normalizeGateAdmissionRow, coreFailClosed('unsupported-gate-admission-row')),
|
|
52
52
|
admissionEvidence: rowConfig('gateAdmissionEvidenceRow', 'gate_admission_evidence_row', gateAdmissionRows, normalizeGateAdmissionRow, coreFailClosed('unsupported-gate-admission-row')),
|
|
53
53
|
routeEvidence: rowConfig('gateAdmissionEvidenceRow', 'gate_admission_evidence_row', gateAdmissionRows, normalizeGateAdmissionRow, coreFailClosed('unsupported-gate-admission-row')),
|
|
@@ -68,6 +68,7 @@ function rowConfig(childKind, idPrefix, rowKinds, normalize, options = {}) {
|
|
|
68
68
|
function words(source) { return source.split(/\s+/); }
|
|
69
69
|
|
|
70
70
|
function normalizeInterlinguaRow(rowKind) {
|
|
71
|
+
if (rowKind === 'routeId') return 'route';
|
|
71
72
|
if (rowKind === 'constraintEdge' || rowKind === 'edge') return 'constraint';
|
|
72
73
|
if (rowKind === 'proof' || rowKind === 'proofObligation') return 'obligation';
|
|
73
74
|
if (rowKind === 'lower' || rowKind === 'lowering') return 'lowering';
|
|
@@ -201,6 +202,10 @@ function normalizeConstraintSpaceRow(rowKind) {
|
|
|
201
202
|
}
|
|
202
203
|
|
|
203
204
|
function normalizeDecisionGraphRow(rowKind) {
|
|
205
|
+
if (rowKind === 'kind') return 'graphKind';
|
|
206
|
+
if (rowKind === 'scopeId') return 'scope';
|
|
207
|
+
if (rowKind === 'rootId') return 'root';
|
|
208
|
+
if (rowKind === 'subjects') return 'subject';
|
|
204
209
|
if (rowKind === 'change') return 'semanticChange';
|
|
205
210
|
if (rowKind === 'patch') return 'patchEvent';
|
|
206
211
|
if (rowKind === 'admission') return 'admissionDecision';
|