@orcalang/orca-lang 0.1.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 +176 -0
- package/README.md +128 -0
- package/dist/auth/index.d.ts +6 -0
- package/dist/auth/index.d.ts.map +1 -0
- package/dist/auth/index.js +6 -0
- package/dist/auth/index.js.map +1 -0
- package/dist/auth/lock.d.ts +2 -0
- package/dist/auth/lock.d.ts.map +1 -0
- package/dist/auth/lock.js +59 -0
- package/dist/auth/lock.js.map +1 -0
- package/dist/auth/providers/anthropic.d.ts +14 -0
- package/dist/auth/providers/anthropic.d.ts.map +1 -0
- package/dist/auth/providers/anthropic.js +145 -0
- package/dist/auth/providers/anthropic.js.map +1 -0
- package/dist/auth/providers/index.d.ts +3 -0
- package/dist/auth/providers/index.d.ts.map +1 -0
- package/dist/auth/providers/index.js +3 -0
- package/dist/auth/providers/index.js.map +1 -0
- package/dist/auth/providers/minimax.d.ts +6 -0
- package/dist/auth/providers/minimax.d.ts.map +1 -0
- package/dist/auth/providers/minimax.js +65 -0
- package/dist/auth/providers/minimax.js.map +1 -0
- package/dist/auth/refresh.d.ts +8 -0
- package/dist/auth/refresh.d.ts.map +1 -0
- package/dist/auth/refresh.js +104 -0
- package/dist/auth/refresh.js.map +1 -0
- package/dist/auth/store.d.ts +11 -0
- package/dist/auth/store.d.ts.map +1 -0
- package/dist/auth/store.js +63 -0
- package/dist/auth/store.js.map +1 -0
- package/dist/auth/types.d.ts +51 -0
- package/dist/auth/types.d.ts.map +1 -0
- package/dist/auth/types.js +2 -0
- package/dist/auth/types.js.map +1 -0
- package/dist/compiler/mermaid.d.ts +3 -0
- package/dist/compiler/mermaid.d.ts.map +1 -0
- package/dist/compiler/mermaid.js +86 -0
- package/dist/compiler/mermaid.js.map +1 -0
- package/dist/compiler/xstate.d.ts +15 -0
- package/dist/compiler/xstate.d.ts.map +1 -0
- package/dist/compiler/xstate.js +542 -0
- package/dist/compiler/xstate.js.map +1 -0
- package/dist/config/index.d.ts +3 -0
- package/dist/config/index.d.ts.map +1 -0
- package/dist/config/index.js +3 -0
- package/dist/config/index.js.map +1 -0
- package/dist/config/loader.d.ts +4 -0
- package/dist/config/loader.d.ts.map +1 -0
- package/dist/config/loader.js +109 -0
- package/dist/config/loader.js.map +1 -0
- package/dist/config/types.d.ts +13 -0
- package/dist/config/types.d.ts.map +1 -0
- package/dist/config/types.js +8 -0
- package/dist/config/types.js.map +1 -0
- package/dist/generators/index.d.ts +5 -0
- package/dist/generators/index.d.ts.map +1 -0
- package/dist/generators/index.js +5 -0
- package/dist/generators/index.js.map +1 -0
- package/dist/generators/registry.d.ts +12 -0
- package/dist/generators/registry.d.ts.map +1 -0
- package/dist/generators/registry.js +15 -0
- package/dist/generators/registry.js.map +1 -0
- package/dist/generators/typescript.d.ts +9 -0
- package/dist/generators/typescript.d.ts.map +1 -0
- package/dist/generators/typescript.js +55 -0
- package/dist/generators/typescript.js.map +1 -0
- package/dist/index.d.ts +10 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +630 -0
- package/dist/index.js.map +1 -0
- package/dist/llm/anthropic.d.ts +14 -0
- package/dist/llm/anthropic.d.ts.map +1 -0
- package/dist/llm/anthropic.js +87 -0
- package/dist/llm/anthropic.js.map +1 -0
- package/dist/llm/grok.d.ts +13 -0
- package/dist/llm/grok.d.ts.map +1 -0
- package/dist/llm/grok.js +60 -0
- package/dist/llm/grok.js.map +1 -0
- package/dist/llm/index.d.ts +11 -0
- package/dist/llm/index.d.ts.map +1 -0
- package/dist/llm/index.js +23 -0
- package/dist/llm/index.js.map +1 -0
- package/dist/llm/ollama.d.ts +11 -0
- package/dist/llm/ollama.d.ts.map +1 -0
- package/dist/llm/ollama.js +51 -0
- package/dist/llm/ollama.js.map +1 -0
- package/dist/llm/openai.d.ts +13 -0
- package/dist/llm/openai.d.ts.map +1 -0
- package/dist/llm/openai.js +61 -0
- package/dist/llm/openai.js.map +1 -0
- package/dist/llm/provider.d.ts +32 -0
- package/dist/llm/provider.d.ts.map +1 -0
- package/dist/llm/provider.js +2 -0
- package/dist/llm/provider.js.map +1 -0
- package/dist/parser/ast-to-markdown.d.ts +3 -0
- package/dist/parser/ast-to-markdown.d.ts.map +1 -0
- package/dist/parser/ast-to-markdown.js +209 -0
- package/dist/parser/ast-to-markdown.js.map +1 -0
- package/dist/parser/ast.d.ts +183 -0
- package/dist/parser/ast.d.ts.map +1 -0
- package/dist/parser/ast.js +3 -0
- package/dist/parser/ast.js.map +1 -0
- package/dist/parser/markdown-parser.d.ts +8 -0
- package/dist/parser/markdown-parser.d.ts.map +1 -0
- package/dist/parser/markdown-parser.js +838 -0
- package/dist/parser/markdown-parser.js.map +1 -0
- package/dist/runtime/effects.d.ts +17 -0
- package/dist/runtime/effects.d.ts.map +1 -0
- package/dist/runtime/effects.js +28 -0
- package/dist/runtime/effects.js.map +1 -0
- package/dist/runtime/machine.d.ts +8 -0
- package/dist/runtime/machine.d.ts.map +1 -0
- package/dist/runtime/machine.js +158 -0
- package/dist/runtime/machine.js.map +1 -0
- package/dist/runtime/types.d.ts +37 -0
- package/dist/runtime/types.d.ts.map +1 -0
- package/dist/runtime/types.js +3 -0
- package/dist/runtime/types.js.map +1 -0
- package/dist/skills.d.ts +114 -0
- package/dist/skills.d.ts.map +1 -0
- package/dist/skills.js +1103 -0
- package/dist/skills.js.map +1 -0
- package/dist/tools.d.ts +18 -0
- package/dist/tools.d.ts.map +1 -0
- package/dist/tools.js +124 -0
- package/dist/tools.js.map +1 -0
- package/dist/verifier/completeness.d.ts +4 -0
- package/dist/verifier/completeness.d.ts.map +1 -0
- package/dist/verifier/completeness.js +82 -0
- package/dist/verifier/completeness.js.map +1 -0
- package/dist/verifier/determinism.d.ts +17 -0
- package/dist/verifier/determinism.d.ts.map +1 -0
- package/dist/verifier/determinism.js +301 -0
- package/dist/verifier/determinism.js.map +1 -0
- package/dist/verifier/properties.d.ts +6 -0
- package/dist/verifier/properties.d.ts.map +1 -0
- package/dist/verifier/properties.js +404 -0
- package/dist/verifier/properties.js.map +1 -0
- package/dist/verifier/structural.d.ts +50 -0
- package/dist/verifier/structural.d.ts.map +1 -0
- package/dist/verifier/structural.js +692 -0
- package/dist/verifier/structural.js.map +1 -0
- package/dist/verifier/types.d.ts +40 -0
- package/dist/verifier/types.d.ts.map +1 -0
- package/dist/verifier/types.js +2 -0
- package/dist/verifier/types.js.map +1 -0
- package/package.json +49 -0
- package/src/auth/index.ts +5 -0
- package/src/auth/lock.ts +71 -0
- package/src/auth/providers/anthropic.ts +192 -0
- package/src/auth/providers/index.ts +17 -0
- package/src/auth/providers/minimax.ts +100 -0
- package/src/auth/refresh.ts +138 -0
- package/src/auth/store.ts +75 -0
- package/src/auth/types.ts +62 -0
- package/src/compiler/mermaid.ts +109 -0
- package/src/compiler/xstate.ts +615 -0
- package/src/config/index.ts +2 -0
- package/src/config/loader.ts +122 -0
- package/src/config/types.ts +21 -0
- package/src/generators/index.ts +6 -0
- package/src/generators/registry.ts +27 -0
- package/src/generators/typescript.ts +67 -0
- package/src/index.ts +671 -0
- package/src/llm/anthropic.ts +102 -0
- package/src/llm/grok.ts +73 -0
- package/src/llm/index.ts +29 -0
- package/src/llm/ollama.ts +62 -0
- package/src/llm/openai.ts +74 -0
- package/src/llm/provider.ts +35 -0
- package/src/parser/ast-to-markdown.ts +220 -0
- package/src/parser/ast.ts +236 -0
- package/src/parser/markdown-parser.ts +844 -0
- package/src/runtime/effects.ts +48 -0
- package/src/runtime/machine.ts +201 -0
- package/src/runtime/types.ts +44 -0
- package/src/skills.ts +1339 -0
- package/src/tools.ts +144 -0
- package/src/verifier/completeness.ts +89 -0
- package/src/verifier/determinism.ts +328 -0
- package/src/verifier/properties.ts +507 -0
- package/src/verifier/structural.ts +803 -0
- package/src/verifier/types.ts +45 -0
|
@@ -0,0 +1,209 @@
|
|
|
1
|
+
// AST to Markdown converter for Orca
|
|
2
|
+
// Converts MachineDef AST to .orca.md format
|
|
3
|
+
function typeToString(type) {
|
|
4
|
+
switch (type.kind) {
|
|
5
|
+
case 'string': return 'string';
|
|
6
|
+
case 'int': return 'int';
|
|
7
|
+
case 'decimal': return 'decimal';
|
|
8
|
+
case 'bool': return 'bool';
|
|
9
|
+
case 'array': return `${type.elementType}[]`;
|
|
10
|
+
case 'map': return `map<${type.keyType}, ${type.valueType}>`;
|
|
11
|
+
case 'optional': return `${type.innerType}?`;
|
|
12
|
+
case 'custom': return type.name;
|
|
13
|
+
}
|
|
14
|
+
}
|
|
15
|
+
function guardExpressionToString(expr) {
|
|
16
|
+
switch (expr.kind) {
|
|
17
|
+
case 'true': return 'true';
|
|
18
|
+
case 'false': return 'false';
|
|
19
|
+
case 'not': {
|
|
20
|
+
const inner = guardExpressionToString(expr.expr);
|
|
21
|
+
// Add parens for clarity if inner is a compound expression
|
|
22
|
+
if (expr.expr.kind === 'and' || expr.expr.kind === 'or')
|
|
23
|
+
return `not (${inner})`;
|
|
24
|
+
return `not ${inner}`;
|
|
25
|
+
}
|
|
26
|
+
case 'and': {
|
|
27
|
+
const left = guardExpressionToString(expr.left);
|
|
28
|
+
const right = guardExpressionToString(expr.right);
|
|
29
|
+
const wrapLeft = expr.left.kind === 'or' ? `(${left})` : left;
|
|
30
|
+
const wrapRight = expr.right.kind === 'or' ? `(${right})` : right;
|
|
31
|
+
return `${wrapLeft} and ${wrapRight}`;
|
|
32
|
+
}
|
|
33
|
+
case 'or': return `${guardExpressionToString(expr.left)} or ${guardExpressionToString(expr.right)}`;
|
|
34
|
+
case 'compare': {
|
|
35
|
+
const opStr = { eq: '==', ne: '!=', lt: '<', gt: '>', le: '<=', ge: '>=' }[expr.op];
|
|
36
|
+
return `${expr.left.path.join('.')} ${opStr} ${valueToString(expr.right)}`;
|
|
37
|
+
}
|
|
38
|
+
case 'nullcheck': return expr.expr.path.join('.');
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
function valueToString(val) {
|
|
42
|
+
if (val.type === 'null')
|
|
43
|
+
return 'null';
|
|
44
|
+
if (val.type === 'string')
|
|
45
|
+
return `"${val.value}"`;
|
|
46
|
+
if (val.type === 'boolean')
|
|
47
|
+
return String(val.value);
|
|
48
|
+
return String(val.value);
|
|
49
|
+
}
|
|
50
|
+
function actionSignatureToString(action) {
|
|
51
|
+
const params = action.parameters.join(', ');
|
|
52
|
+
let sig = `(${params}) -> ${action.returnType}`;
|
|
53
|
+
if (action.hasEffect && action.effectType)
|
|
54
|
+
sig += ` + Effect<${action.effectType}>`;
|
|
55
|
+
return sig;
|
|
56
|
+
}
|
|
57
|
+
function padColumn(rows, colIdx) {
|
|
58
|
+
const maxLen = Math.max(...rows.map(r => (r[colIdx] || '').length));
|
|
59
|
+
for (const row of rows) {
|
|
60
|
+
row[colIdx] = (row[colIdx] || '').padEnd(maxLen);
|
|
61
|
+
}
|
|
62
|
+
}
|
|
63
|
+
function formatTable(headers, rows) {
|
|
64
|
+
const allRows = [headers, ...rows];
|
|
65
|
+
for (let c = 0; c < headers.length; c++)
|
|
66
|
+
padColumn(allRows, c);
|
|
67
|
+
const lines = [];
|
|
68
|
+
lines.push('| ' + allRows[0].join(' | ') + ' |');
|
|
69
|
+
lines.push('|' + allRows[0].map(h => '-'.repeat(h.length + 2)).join('|') + '|');
|
|
70
|
+
for (let r = 1; r < allRows.length; r++) {
|
|
71
|
+
lines.push('| ' + allRows[r].join(' | ') + ' |');
|
|
72
|
+
}
|
|
73
|
+
return lines;
|
|
74
|
+
}
|
|
75
|
+
function emitStates(states, level) {
|
|
76
|
+
const lines = [];
|
|
77
|
+
for (const state of states) {
|
|
78
|
+
const prefix = '#'.repeat(level);
|
|
79
|
+
const annotations = [];
|
|
80
|
+
if (state.isInitial)
|
|
81
|
+
annotations.push('initial');
|
|
82
|
+
if (state.isFinal)
|
|
83
|
+
annotations.push('final');
|
|
84
|
+
if (state.parallel) {
|
|
85
|
+
annotations.push('parallel');
|
|
86
|
+
if (state.parallel.sync)
|
|
87
|
+
annotations.push(`sync: ${state.parallel.sync}`);
|
|
88
|
+
}
|
|
89
|
+
let heading = `${prefix} state ${state.name}`;
|
|
90
|
+
if (annotations.length > 0)
|
|
91
|
+
heading += ` [${annotations.join(', ')}]`;
|
|
92
|
+
lines.push(heading);
|
|
93
|
+
if (state.description)
|
|
94
|
+
lines.push(`> ${state.description}`);
|
|
95
|
+
if (state.onEntry)
|
|
96
|
+
lines.push(`- on_entry: ${state.onEntry}`);
|
|
97
|
+
if (state.onExit)
|
|
98
|
+
lines.push(`- on_exit: ${state.onExit}`);
|
|
99
|
+
if (state.timeout)
|
|
100
|
+
lines.push(`- timeout: ${state.timeout.duration} -> ${state.timeout.target}`);
|
|
101
|
+
if (state.ignoredEvents?.length)
|
|
102
|
+
lines.push(`- ignore: ${state.ignoredEvents.join(', ')}`);
|
|
103
|
+
if (state.onDone)
|
|
104
|
+
lines.push(`- on_done: -> ${state.onDone}`);
|
|
105
|
+
if (state.parallel) {
|
|
106
|
+
for (const region of state.parallel.regions) {
|
|
107
|
+
lines.push('');
|
|
108
|
+
lines.push(`${'#'.repeat(level + 1)} region ${region.name}`);
|
|
109
|
+
lines.push('');
|
|
110
|
+
lines.push(...emitStates(region.states, level + 2));
|
|
111
|
+
}
|
|
112
|
+
}
|
|
113
|
+
else if (state.contains?.length) {
|
|
114
|
+
lines.push('');
|
|
115
|
+
lines.push(...emitStates(state.contains, level + 1));
|
|
116
|
+
}
|
|
117
|
+
lines.push('');
|
|
118
|
+
}
|
|
119
|
+
return lines;
|
|
120
|
+
}
|
|
121
|
+
function emitProperties(properties) {
|
|
122
|
+
return properties.map(prop => {
|
|
123
|
+
switch (prop.kind) {
|
|
124
|
+
case 'reachable':
|
|
125
|
+
case 'unreachable':
|
|
126
|
+
return `- ${prop.kind}: ${prop.to} from ${prop.from}`;
|
|
127
|
+
case 'passes_through':
|
|
128
|
+
return `- passes_through: ${prop.through} for ${prop.from} -> ${prop.to}`;
|
|
129
|
+
case 'live':
|
|
130
|
+
return '- live';
|
|
131
|
+
case 'responds':
|
|
132
|
+
return `- responds: ${prop.to} from ${prop.from} within ${prop.within}`;
|
|
133
|
+
case 'invariant': {
|
|
134
|
+
const expr = guardExpressionToString(prop.expression);
|
|
135
|
+
const inState = prop.inState ? ` in ${prop.inState}` : '';
|
|
136
|
+
return `- invariant: \`${expr}\`${inState}`;
|
|
137
|
+
}
|
|
138
|
+
}
|
|
139
|
+
});
|
|
140
|
+
}
|
|
141
|
+
export function machineToMarkdown(machine) {
|
|
142
|
+
const lines = [];
|
|
143
|
+
lines.push(`# machine ${machine.name}`);
|
|
144
|
+
lines.push('');
|
|
145
|
+
// Context
|
|
146
|
+
if (machine.context.length > 0) {
|
|
147
|
+
lines.push('## context');
|
|
148
|
+
lines.push('');
|
|
149
|
+
const rows = machine.context.map(f => [f.name, typeToString(f.type), f.defaultValue || '']);
|
|
150
|
+
lines.push(...formatTable(['Field', 'Type', 'Default'], rows));
|
|
151
|
+
lines.push('');
|
|
152
|
+
}
|
|
153
|
+
// Events
|
|
154
|
+
if (machine.events.length > 0) {
|
|
155
|
+
lines.push('## events');
|
|
156
|
+
lines.push('');
|
|
157
|
+
for (const e of machine.events)
|
|
158
|
+
lines.push(`- ${e.name}`);
|
|
159
|
+
lines.push('');
|
|
160
|
+
}
|
|
161
|
+
// States
|
|
162
|
+
lines.push(...emitStates(machine.states, 2));
|
|
163
|
+
// Transitions
|
|
164
|
+
if (machine.transitions.length > 0) {
|
|
165
|
+
lines.push('## transitions');
|
|
166
|
+
lines.push('');
|
|
167
|
+
const rows = machine.transitions.map(t => {
|
|
168
|
+
let guard = '';
|
|
169
|
+
if (t.guard)
|
|
170
|
+
guard = t.guard.negated ? `!${t.guard.name}` : t.guard.name;
|
|
171
|
+
return [t.source, t.event, guard, t.target, t.action || ''];
|
|
172
|
+
});
|
|
173
|
+
lines.push(...formatTable(['Source', 'Event', 'Guard', 'Target', 'Action'], rows));
|
|
174
|
+
lines.push('');
|
|
175
|
+
}
|
|
176
|
+
// Guards
|
|
177
|
+
if (machine.guards.length > 0) {
|
|
178
|
+
lines.push('## guards');
|
|
179
|
+
lines.push('');
|
|
180
|
+
const rows = machine.guards.map(g => [g.name, `\`${guardExpressionToString(g.expression)}\``]);
|
|
181
|
+
lines.push(...formatTable(['Name', 'Expression'], rows));
|
|
182
|
+
lines.push('');
|
|
183
|
+
}
|
|
184
|
+
// Actions
|
|
185
|
+
if (machine.actions.length > 0) {
|
|
186
|
+
lines.push('## actions');
|
|
187
|
+
lines.push('');
|
|
188
|
+
const rows = machine.actions.map(a => [a.name, `\`${actionSignatureToString(a)}\``]);
|
|
189
|
+
lines.push(...formatTable(['Name', 'Signature'], rows));
|
|
190
|
+
lines.push('');
|
|
191
|
+
}
|
|
192
|
+
// Effects
|
|
193
|
+
if (machine.effects && machine.effects.length > 0) {
|
|
194
|
+
lines.push('## effects');
|
|
195
|
+
lines.push('');
|
|
196
|
+
const rows = machine.effects.map(e => [e.name, e.input, e.output]);
|
|
197
|
+
lines.push(...formatTable(['Name', 'Input', 'Output'], rows));
|
|
198
|
+
lines.push('');
|
|
199
|
+
}
|
|
200
|
+
// Properties
|
|
201
|
+
if (machine.properties?.length) {
|
|
202
|
+
lines.push('## properties');
|
|
203
|
+
lines.push('');
|
|
204
|
+
lines.push(...emitProperties(machine.properties));
|
|
205
|
+
lines.push('');
|
|
206
|
+
}
|
|
207
|
+
return lines.join('\n');
|
|
208
|
+
}
|
|
209
|
+
//# sourceMappingURL=ast-to-markdown.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ast-to-markdown.js","sourceRoot":"","sources":["../../src/parser/ast-to-markdown.ts"],"names":[],"mappings":"AAAA,qCAAqC;AACrC,6CAA6C;AAQ7C,SAAS,YAAY,CAAC,IAAU;IAC9B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,OAAO,QAAQ,CAAC;QAC/B,KAAK,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC;QACzB,KAAK,SAAS,CAAC,CAAC,OAAO,SAAS,CAAC;QACjC,KAAK,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC;QAC3B,KAAK,OAAO,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,WAAW,IAAI,CAAC;QAC7C,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,SAAS,GAAG,CAAC;QAC7D,KAAK,UAAU,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,SAAS,GAAG,CAAC;QAC7C,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAqB;IACpD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC;QAC3B,KAAK,OAAO,CAAC,CAAC,OAAO,OAAO,CAAC;QAC7B,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,2DAA2D;YAC3D,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,QAAQ,KAAK,GAAG,CAAC;YACjF,OAAO,OAAO,KAAK,EAAE,CAAC;QACxB,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAClE,OAAO,GAAG,QAAQ,QAAQ,SAAS,EAAE,CAAC;QACxC,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACpG,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,KAAK,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpF,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7E,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,GAAa;IAClC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IACvC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC;IACnD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAuB;IACtD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,GAAG,GAAG,IAAI,MAAM,QAAQ,MAAM,CAAC,UAAU,EAAE,CAAC;IAChD,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,UAAU;QAAE,GAAG,IAAI,aAAa,MAAM,CAAC,UAAU,GAAG,CAAC;IACpF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,IAAgB,EAAE,MAAc;IACjD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,OAAiB,EAAE,IAAgB;IACtD,MAAM,OAAO,GAAG,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;IAChF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,MAAkB,EAAE,KAAa;IACnD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,SAAS;YAAE,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,IAAI,KAAK,CAAC,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnB,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI;gBAAE,WAAW,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5E,CAAC;QAED,IAAI,OAAO,GAAG,GAAG,MAAM,UAAU,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,KAAK,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAEpB,IAAI,KAAK,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;QAE5D,IAAI,KAAK,CAAC,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9D,IAAI,KAAK,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3D,IAAI,KAAK,CAAC,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,OAAO,CAAC,QAAQ,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACjG,IAAI,KAAK,CAAC,aAAa,EAAE,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3F,IAAI,KAAK,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAE9D,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnB,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;gBAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,WAAW,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QACvD,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,UAAsB;IAC5C,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,WAAW,CAAC;YACjB,KAAK,aAAa;gBAChB,OAAO,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAC;YACxD,KAAK,gBAAgB;gBACnB,OAAO,qBAAqB,IAAI,CAAC,OAAO,QAAQ,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,EAAE,CAAC;YAC5E,KAAK,MAAM;gBACT,OAAO,QAAQ,CAAC;YAClB,KAAK,UAAU;gBACb,OAAO,eAAe,IAAI,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,WAAW,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1E,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1D,OAAO,kBAAkB,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAmB;IACnD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,aAAa,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,UAAU;IACV,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5F,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,SAAS;IACT,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,SAAS;IACT,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAE7C,cAAc;IACd,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACvC,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,CAAC,CAAC,KAAK;gBAAE,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;YACzE,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACnF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,SAAS;IACT,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,uBAAuB,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/F,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,UAAU;IACV,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,UAAU;IACV,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,aAAa;IACb,IAAI,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
|
|
@@ -0,0 +1,183 @@
|
|
|
1
|
+
export interface Position {
|
|
2
|
+
line: number;
|
|
3
|
+
column: number;
|
|
4
|
+
offset: number;
|
|
5
|
+
}
|
|
6
|
+
export interface Token {
|
|
7
|
+
type: TokenType;
|
|
8
|
+
value: string;
|
|
9
|
+
pos: Position;
|
|
10
|
+
}
|
|
11
|
+
export type TokenType = 'IDENT' | 'STRING' | 'NUMBER' | 'LBRACE' | 'RBRACE' | 'LBRACKET' | 'RBRACKET' | 'LPAREN' | 'RPAREN' | 'PLUS' | 'ARROW' | 'COLON' | 'COMMA' | 'PIPE' | 'QUESTION' | 'EQ' | 'NE' | 'LT' | 'GT' | 'LE' | 'GE' | 'AND' | 'OR' | 'NOT' | 'DOT' | 'ON_ENTRY' | 'ON_EXIT' | 'TIMEOUT' | 'IGNORE' | 'MACHINE' | 'CONTEXT' | 'EVENTS' | 'STATE' | 'TRANSITIONS' | 'GUARDS' | 'ACTIONS' | 'INITIAL' | 'FINAL' | 'DESCRIPTION' | 'CONTAINS' | 'PARALLEL' | 'REGION' | 'ON_DONE' | 'PROPERTIES' | 'EOF' | 'UNKNOWN';
|
|
12
|
+
export interface ContextField {
|
|
13
|
+
name: string;
|
|
14
|
+
type: Type;
|
|
15
|
+
defaultValue?: string;
|
|
16
|
+
}
|
|
17
|
+
export type Type = {
|
|
18
|
+
kind: 'string';
|
|
19
|
+
} | {
|
|
20
|
+
kind: 'int';
|
|
21
|
+
} | {
|
|
22
|
+
kind: 'decimal';
|
|
23
|
+
} | {
|
|
24
|
+
kind: 'bool';
|
|
25
|
+
} | {
|
|
26
|
+
kind: 'array';
|
|
27
|
+
elementType: string;
|
|
28
|
+
} | {
|
|
29
|
+
kind: 'map';
|
|
30
|
+
keyType: string;
|
|
31
|
+
valueType: string;
|
|
32
|
+
} | {
|
|
33
|
+
kind: 'optional';
|
|
34
|
+
innerType: string;
|
|
35
|
+
} | {
|
|
36
|
+
kind: 'custom';
|
|
37
|
+
name: string;
|
|
38
|
+
};
|
|
39
|
+
export interface EventDef {
|
|
40
|
+
name: string;
|
|
41
|
+
payload?: ContextField[];
|
|
42
|
+
}
|
|
43
|
+
export interface RegionDef {
|
|
44
|
+
name: string;
|
|
45
|
+
states: StateDef[];
|
|
46
|
+
}
|
|
47
|
+
export type SyncStrategy = 'all-final' | 'any-final' | 'custom';
|
|
48
|
+
export interface ParallelDef {
|
|
49
|
+
regions: RegionDef[];
|
|
50
|
+
sync?: SyncStrategy;
|
|
51
|
+
}
|
|
52
|
+
export interface InvokeDef {
|
|
53
|
+
machine: string;
|
|
54
|
+
input?: Record<string, string>;
|
|
55
|
+
onDone?: string;
|
|
56
|
+
onError?: string;
|
|
57
|
+
}
|
|
58
|
+
export interface StateDef {
|
|
59
|
+
name: string;
|
|
60
|
+
description?: string;
|
|
61
|
+
isInitial: boolean;
|
|
62
|
+
isFinal: boolean;
|
|
63
|
+
onEntry?: string;
|
|
64
|
+
onExit?: string;
|
|
65
|
+
onDone?: string;
|
|
66
|
+
timeout?: {
|
|
67
|
+
duration: string;
|
|
68
|
+
target: string;
|
|
69
|
+
};
|
|
70
|
+
invoke?: InvokeDef;
|
|
71
|
+
contains?: StateDef[];
|
|
72
|
+
parallel?: ParallelDef;
|
|
73
|
+
parent?: string;
|
|
74
|
+
transitions?: Transition[];
|
|
75
|
+
ignoredEvents?: string[];
|
|
76
|
+
}
|
|
77
|
+
export interface Transition {
|
|
78
|
+
source: string;
|
|
79
|
+
event: string;
|
|
80
|
+
guard?: GuardRef;
|
|
81
|
+
target: string;
|
|
82
|
+
action?: string;
|
|
83
|
+
}
|
|
84
|
+
export interface GuardRef {
|
|
85
|
+
name: string;
|
|
86
|
+
negated: boolean;
|
|
87
|
+
}
|
|
88
|
+
export interface GuardDef {
|
|
89
|
+
name: string;
|
|
90
|
+
expression: GuardExpression;
|
|
91
|
+
}
|
|
92
|
+
export type GuardExpression = {
|
|
93
|
+
kind: 'true';
|
|
94
|
+
} | {
|
|
95
|
+
kind: 'false';
|
|
96
|
+
} | {
|
|
97
|
+
kind: 'not';
|
|
98
|
+
expr: GuardExpression;
|
|
99
|
+
} | {
|
|
100
|
+
kind: 'and';
|
|
101
|
+
left: GuardExpression;
|
|
102
|
+
right: GuardExpression;
|
|
103
|
+
} | {
|
|
104
|
+
kind: 'or';
|
|
105
|
+
left: GuardExpression;
|
|
106
|
+
right: GuardExpression;
|
|
107
|
+
} | {
|
|
108
|
+
kind: 'compare';
|
|
109
|
+
op: ComparisonOp;
|
|
110
|
+
left: VariableRef;
|
|
111
|
+
right: ValueRef;
|
|
112
|
+
} | {
|
|
113
|
+
kind: 'nullcheck';
|
|
114
|
+
expr: VariableRef;
|
|
115
|
+
isNull: boolean;
|
|
116
|
+
};
|
|
117
|
+
export type ComparisonOp = 'eq' | 'ne' | 'lt' | 'gt' | 'le' | 'ge';
|
|
118
|
+
export interface VariableRef {
|
|
119
|
+
kind: 'variable';
|
|
120
|
+
path: string[];
|
|
121
|
+
}
|
|
122
|
+
export interface ValueRef {
|
|
123
|
+
kind: 'value';
|
|
124
|
+
type: 'string' | 'number' | 'boolean' | 'null';
|
|
125
|
+
value: string | number | boolean | null;
|
|
126
|
+
}
|
|
127
|
+
export interface ActionSignature {
|
|
128
|
+
name: string;
|
|
129
|
+
parameters: string[];
|
|
130
|
+
returnType: string;
|
|
131
|
+
hasEffect: boolean;
|
|
132
|
+
effectType?: string;
|
|
133
|
+
}
|
|
134
|
+
export interface EffectDef {
|
|
135
|
+
name: string;
|
|
136
|
+
input: string;
|
|
137
|
+
output: string;
|
|
138
|
+
}
|
|
139
|
+
export interface ReachabilityProperty {
|
|
140
|
+
kind: 'reachable' | 'unreachable';
|
|
141
|
+
from: string;
|
|
142
|
+
to: string;
|
|
143
|
+
}
|
|
144
|
+
export interface PassesThroughProperty {
|
|
145
|
+
kind: 'passes_through';
|
|
146
|
+
from: string;
|
|
147
|
+
to: string;
|
|
148
|
+
through: string;
|
|
149
|
+
}
|
|
150
|
+
export interface LiveProperty {
|
|
151
|
+
kind: 'live';
|
|
152
|
+
}
|
|
153
|
+
export interface RespondsProperty {
|
|
154
|
+
kind: 'responds';
|
|
155
|
+
from: string;
|
|
156
|
+
to: string;
|
|
157
|
+
within: number;
|
|
158
|
+
}
|
|
159
|
+
export interface InvariantProperty {
|
|
160
|
+
kind: 'invariant';
|
|
161
|
+
expression: GuardExpression;
|
|
162
|
+
inState?: string;
|
|
163
|
+
}
|
|
164
|
+
export type Property = ReachabilityProperty | PassesThroughProperty | LiveProperty | RespondsProperty | InvariantProperty;
|
|
165
|
+
export interface MachineDef {
|
|
166
|
+
name: string;
|
|
167
|
+
context: ContextField[];
|
|
168
|
+
events: EventDef[];
|
|
169
|
+
states: StateDef[];
|
|
170
|
+
transitions: Transition[];
|
|
171
|
+
guards: GuardDef[];
|
|
172
|
+
actions: ActionSignature[];
|
|
173
|
+
effects?: EffectDef[];
|
|
174
|
+
properties?: Property[];
|
|
175
|
+
}
|
|
176
|
+
export interface OrcaFile {
|
|
177
|
+
machines: MachineDef[];
|
|
178
|
+
}
|
|
179
|
+
export interface ParseResult {
|
|
180
|
+
file: OrcaFile;
|
|
181
|
+
tokens: Token[];
|
|
182
|
+
}
|
|
183
|
+
//# sourceMappingURL=ast.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/parser/ast.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,QAAQ,CAAC;CACf;AAED,MAAM,MAAM,SAAS,GACjB,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,UAAU,GACV,UAAU,GACV,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,OAAO,GACP,OAAO,GACP,OAAO,GACP,MAAM,GACN,UAAU,GACV,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,KAAK,GACL,UAAU,GACV,SAAS,GACT,SAAS,GACT,QAAQ,GACR,SAAS,GACT,SAAS,GACT,QAAQ,GACR,OAAO,GACP,aAAa,GACb,QAAQ,GACR,SAAS,GACT,SAAS,GACT,OAAO,GACP,aAAa,GACb,UAAU,GACV,UAAU,GACV,QAAQ,GACR,SAAS,GACT,YAAY,GACZ,KAAK,GACL,SAAS,CAAC;AAEd,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,CAAC;IACX,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,IAAI,GACZ;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,GACf;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErC,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,QAAQ,EAAE,CAAC;CACpB;AAED,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,WAAW,GAAG,QAAQ,CAAC;AAEhE,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,IAAI,CAAC,EAAE,YAAY,CAAC;CACrB;AAED,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE;QACR,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;IAC3B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,eAAe,CAAC;CAC7B;AAED,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,EAAE,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAEnE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,CAAC;IAC/C,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;CACzC;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAID,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,WAAW,GAAG,aAAa,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,WAAW,CAAC;IAClB,UAAU,EAAE,eAAe,CAAC;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,QAAQ,GAChB,oBAAoB,GACpB,qBAAqB,GACrB,YAAY,GACZ,gBAAgB,GAChB,iBAAiB,CAAC;AAEtB,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC;IACtB,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC;CACzB;AAGD,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,UAAU,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,KAAK,EAAE,CAAC;CACjB"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/parser/ast.ts"],"names":[],"mappings":"AAAA,4BAA4B"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import { ParseResult, MachineDef } from './ast.js';
|
|
2
|
+
export declare function parseMarkdown(source: string): ParseResult;
|
|
3
|
+
/**
|
|
4
|
+
* Parse a single-machine markdown source. For multi-machine files, returns the first machine.
|
|
5
|
+
* @deprecated Use parseMarkdown() and access result.file.machines[0] for explicit handling
|
|
6
|
+
*/
|
|
7
|
+
export declare function parseMachine(source: string): MachineDef;
|
|
8
|
+
//# sourceMappingURL=markdown-parser.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"markdown-parser.d.ts","sourceRoot":"","sources":["../../src/parser/markdown-parser.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,WAAW,EAAE,UAAU,EAMxB,MAAM,UAAU,CAAC;AAmzBlB,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAIzD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAGvD"}
|