@loj-lang/cli 0.5.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/README.md +87 -0
- package/agent-assets/loj-authoring/SKILL.md +179 -0
- package/agent-assets/loj-authoring/agents/openai.yaml +3 -0
- package/agent-assets/loj-authoring/metadata.json +6 -0
- package/agent-assets/loj-authoring/references/backend-family.md +340 -0
- package/agent-assets/loj-authoring/references/backend-targets.md +171 -0
- package/agent-assets/loj-authoring/references/frontend-family.md +794 -0
- package/agent-assets/loj-authoring/references/frontend-runtime-trace.md +204 -0
- package/agent-assets/loj-authoring/references/policy-rules-proof.md +178 -0
- package/agent-assets/loj-authoring/references/project-and-transport.md +454 -0
- package/agent-assets/loj-authoring/references/workflow-flow-proof.md +263 -0
- package/dist/database-native-sql.d.ts +4 -0
- package/dist/database-native-sql.d.ts.map +1 -0
- package/dist/database-native-sql.js +266 -0
- package/dist/database-native-sql.js.map +1 -0
- package/dist/env.d.ts +31 -0
- package/dist/env.d.ts.map +1 -0
- package/dist/env.js +229 -0
- package/dist/env.js.map +1 -0
- package/dist/fastapi-dev-runner.d.ts +3 -0
- package/dist/fastapi-dev-runner.d.ts.map +1 -0
- package/dist/fastapi-dev-runner.js +263 -0
- package/dist/fastapi-dev-runner.js.map +1 -0
- package/dist/flow-proof.d.ts +3 -0
- package/dist/flow-proof.d.ts.map +1 -0
- package/dist/flow-proof.js +2 -0
- package/dist/flow-proof.js.map +1 -0
- package/dist/index.d.ts +36 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +5353 -0
- package/dist/index.js.map +1 -0
- package/dist/rules-proof.d.ts +3 -0
- package/dist/rules-proof.d.ts.map +1 -0
- package/dist/rules-proof.js +2 -0
- package/dist/rules-proof.js.map +1 -0
- package/package.json +49 -0
|
@@ -0,0 +1,263 @@
|
|
|
1
|
+
#!/usr/bin/env node
|
|
2
|
+
import { spawn, spawnSync } from 'node:child_process';
|
|
3
|
+
import { createHash } from 'node:crypto';
|
|
4
|
+
import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
|
|
5
|
+
import { resolve } from 'node:path';
|
|
6
|
+
const options = parseArgs(process.argv.slice(2));
|
|
7
|
+
const generatedDir = resolve(process.cwd(), options.generatedDir);
|
|
8
|
+
const venvDir = resolve(process.env.LOJ_FASTAPI_VENV_DIR ?? resolve(process.cwd(), '.venv-fastapi-dev'));
|
|
9
|
+
const pythonLauncher = process.env.PYTHON ?? 'python3';
|
|
10
|
+
const venvPython = process.platform === 'win32'
|
|
11
|
+
? resolve(venvDir, 'Scripts', 'python.exe')
|
|
12
|
+
: resolve(venvDir, 'bin', 'python');
|
|
13
|
+
const installStampPath = resolve(venvDir, '.loj-fastapi-install.json');
|
|
14
|
+
main();
|
|
15
|
+
function main() {
|
|
16
|
+
const pyprojectPath = resolve(generatedDir, 'pyproject.toml');
|
|
17
|
+
if (!existsSync(pyprojectPath)) {
|
|
18
|
+
throw new Error(`Missing generated FastAPI project at ${pyprojectPath}`);
|
|
19
|
+
}
|
|
20
|
+
ensureVirtualEnvironment();
|
|
21
|
+
ensureEditableInstall(pyprojectPath);
|
|
22
|
+
runServer();
|
|
23
|
+
}
|
|
24
|
+
function ensureVirtualEnvironment() {
|
|
25
|
+
if (existsSync(venvPython)) {
|
|
26
|
+
return;
|
|
27
|
+
}
|
|
28
|
+
mkdirSync(venvDir, { recursive: true });
|
|
29
|
+
runChecked(pythonLauncher, ['-m', 'venv', venvDir], { cwd: generatedDir });
|
|
30
|
+
}
|
|
31
|
+
function ensureEditableInstall(pyprojectPath) {
|
|
32
|
+
const pyprojectHash = hashFile(pyprojectPath);
|
|
33
|
+
const existingStamp = readInstallStamp();
|
|
34
|
+
if (existingStamp?.pyprojectHash === pyprojectHash && existsSync(venvPython)) {
|
|
35
|
+
return;
|
|
36
|
+
}
|
|
37
|
+
runChecked(venvPython, ['-m', 'pip', 'install', '--disable-pip-version-check', 'setuptools>=68', 'wheel'], { cwd: generatedDir });
|
|
38
|
+
runChecked(venvPython, ['-m', 'pip', 'install', '--disable-pip-version-check', '--no-build-isolation', '-e', '.'], { cwd: generatedDir });
|
|
39
|
+
writeFileSync(installStampPath, `${JSON.stringify({ pyprojectHash }, null, 2)}\n`, 'utf8');
|
|
40
|
+
}
|
|
41
|
+
function readInstallStamp() {
|
|
42
|
+
if (!existsSync(installStampPath)) {
|
|
43
|
+
return null;
|
|
44
|
+
}
|
|
45
|
+
try {
|
|
46
|
+
return JSON.parse(readFileSync(installStampPath, 'utf8'));
|
|
47
|
+
}
|
|
48
|
+
catch {
|
|
49
|
+
return null;
|
|
50
|
+
}
|
|
51
|
+
}
|
|
52
|
+
function hashFile(filePath) {
|
|
53
|
+
return createHash('sha256').update(readFileSync(filePath, 'utf8')).digest('hex');
|
|
54
|
+
}
|
|
55
|
+
function runServer() {
|
|
56
|
+
const child = spawn(venvPython, [
|
|
57
|
+
...(options.debugpyHost && options.debugpyPort
|
|
58
|
+
? [
|
|
59
|
+
'-m',
|
|
60
|
+
'debugpy',
|
|
61
|
+
'--listen',
|
|
62
|
+
`${options.debugpyHost}:${options.debugpyPort}`,
|
|
63
|
+
'-m',
|
|
64
|
+
'uvicorn',
|
|
65
|
+
'app.main:app',
|
|
66
|
+
]
|
|
67
|
+
: [
|
|
68
|
+
'-m',
|
|
69
|
+
'uvicorn',
|
|
70
|
+
'app.main:app',
|
|
71
|
+
]),
|
|
72
|
+
'--host',
|
|
73
|
+
options.host,
|
|
74
|
+
'--port',
|
|
75
|
+
options.port,
|
|
76
|
+
...(options.rootPath ? ['--root-path', options.rootPath] : []),
|
|
77
|
+
...(options.shutdownMode === 'graceful'
|
|
78
|
+
? ['--timeout-graceful-shutdown', String(options.shutdownTimeoutSeconds)]
|
|
79
|
+
: []),
|
|
80
|
+
...(options.forwardedHeadersMode === 'standard'
|
|
81
|
+
? ['--proxy-headers', '--forwarded-allow-ips', renderTrustedProxyForwardedAllowIps(options)]
|
|
82
|
+
: []),
|
|
83
|
+
], {
|
|
84
|
+
cwd: generatedDir,
|
|
85
|
+
env: process.env,
|
|
86
|
+
stdio: 'inherit',
|
|
87
|
+
});
|
|
88
|
+
let shuttingDown = false;
|
|
89
|
+
const forwardSignal = (signal) => {
|
|
90
|
+
if (shuttingDown) {
|
|
91
|
+
return;
|
|
92
|
+
}
|
|
93
|
+
shuttingDown = true;
|
|
94
|
+
if (child.exitCode === null && child.signalCode === null) {
|
|
95
|
+
child.kill(signal);
|
|
96
|
+
setTimeout(() => {
|
|
97
|
+
if (child.exitCode === null && child.signalCode === null) {
|
|
98
|
+
child.kill('SIGKILL');
|
|
99
|
+
}
|
|
100
|
+
}, 5000).unref();
|
|
101
|
+
}
|
|
102
|
+
};
|
|
103
|
+
process.on('SIGINT', () => forwardSignal('SIGINT'));
|
|
104
|
+
process.on('SIGTERM', () => forwardSignal('SIGTERM'));
|
|
105
|
+
child.on('exit', (code, signal) => {
|
|
106
|
+
if (signal) {
|
|
107
|
+
process.kill(process.pid, signal);
|
|
108
|
+
return;
|
|
109
|
+
}
|
|
110
|
+
process.exit(code ?? 1);
|
|
111
|
+
});
|
|
112
|
+
}
|
|
113
|
+
function runChecked(command, args, options) {
|
|
114
|
+
const result = spawnSync(command, args, {
|
|
115
|
+
cwd: options.cwd,
|
|
116
|
+
env: {
|
|
117
|
+
...process.env,
|
|
118
|
+
...options.env,
|
|
119
|
+
},
|
|
120
|
+
stdio: 'inherit',
|
|
121
|
+
});
|
|
122
|
+
if (result.error) {
|
|
123
|
+
throw result.error;
|
|
124
|
+
}
|
|
125
|
+
if (typeof result.status === 'number' && result.status !== 0) {
|
|
126
|
+
process.exit(result.status);
|
|
127
|
+
}
|
|
128
|
+
if (result.signal) {
|
|
129
|
+
process.exit(1);
|
|
130
|
+
}
|
|
131
|
+
}
|
|
132
|
+
function parseArgs(args) {
|
|
133
|
+
let generatedDir;
|
|
134
|
+
let host;
|
|
135
|
+
let port;
|
|
136
|
+
let debugpyHost;
|
|
137
|
+
let debugpyPort;
|
|
138
|
+
let rootPath;
|
|
139
|
+
let shutdownMode = 'graceful';
|
|
140
|
+
let shutdownTimeoutSeconds = 30;
|
|
141
|
+
let forwardedHeadersMode = 'none';
|
|
142
|
+
let trustedProxyMode = 'local';
|
|
143
|
+
let trustedProxyCidrs;
|
|
144
|
+
for (let index = 0; index < args.length; index += 1) {
|
|
145
|
+
const arg = args[index];
|
|
146
|
+
if (arg === '--generated-dir') {
|
|
147
|
+
generatedDir = args[index + 1];
|
|
148
|
+
index += 1;
|
|
149
|
+
continue;
|
|
150
|
+
}
|
|
151
|
+
if (arg === '--host') {
|
|
152
|
+
host = args[index + 1];
|
|
153
|
+
index += 1;
|
|
154
|
+
continue;
|
|
155
|
+
}
|
|
156
|
+
if (arg === '--port') {
|
|
157
|
+
port = args[index + 1];
|
|
158
|
+
index += 1;
|
|
159
|
+
continue;
|
|
160
|
+
}
|
|
161
|
+
if (arg === '--debugpy-host') {
|
|
162
|
+
const value = args[index + 1];
|
|
163
|
+
if (typeof value === 'string' && value.trim().length > 0) {
|
|
164
|
+
debugpyHost = value.trim();
|
|
165
|
+
index += 1;
|
|
166
|
+
continue;
|
|
167
|
+
}
|
|
168
|
+
throw new Error('fastapi-dev-runner --debugpy-host must be a non-empty string');
|
|
169
|
+
}
|
|
170
|
+
if (arg === '--debugpy-port') {
|
|
171
|
+
const value = args[index + 1];
|
|
172
|
+
if (typeof value === 'string' && /^[1-9][0-9]*$/.test(value.trim())) {
|
|
173
|
+
debugpyPort = value.trim();
|
|
174
|
+
index += 1;
|
|
175
|
+
continue;
|
|
176
|
+
}
|
|
177
|
+
throw new Error('fastapi-dev-runner --debugpy-port must be a positive integer');
|
|
178
|
+
}
|
|
179
|
+
if (arg === '--root-path') {
|
|
180
|
+
const value = args[index + 1];
|
|
181
|
+
if (typeof value === 'string' && value.trim().startsWith('/')) {
|
|
182
|
+
rootPath = value.trim();
|
|
183
|
+
index += 1;
|
|
184
|
+
continue;
|
|
185
|
+
}
|
|
186
|
+
throw new Error('fastapi-dev-runner --root-path must start with "/"');
|
|
187
|
+
}
|
|
188
|
+
if (arg === '--shutdown-mode') {
|
|
189
|
+
const value = args[index + 1];
|
|
190
|
+
if (value === 'immediate' || value === 'graceful') {
|
|
191
|
+
shutdownMode = value;
|
|
192
|
+
index += 1;
|
|
193
|
+
continue;
|
|
194
|
+
}
|
|
195
|
+
throw new Error('fastapi-dev-runner --shutdown-mode must be "immediate" or "graceful"');
|
|
196
|
+
}
|
|
197
|
+
if (arg === '--shutdown-timeout') {
|
|
198
|
+
const value = Number(args[index + 1]);
|
|
199
|
+
if (!Number.isFinite(value) || value <= 0) {
|
|
200
|
+
throw new Error('fastapi-dev-runner --shutdown-timeout must be a positive number');
|
|
201
|
+
}
|
|
202
|
+
shutdownTimeoutSeconds = value;
|
|
203
|
+
index += 1;
|
|
204
|
+
continue;
|
|
205
|
+
}
|
|
206
|
+
if (arg === '--forwarded-headers-mode') {
|
|
207
|
+
const value = args[index + 1];
|
|
208
|
+
if (value === 'none' || value === 'standard') {
|
|
209
|
+
forwardedHeadersMode = value;
|
|
210
|
+
index += 1;
|
|
211
|
+
continue;
|
|
212
|
+
}
|
|
213
|
+
throw new Error('fastapi-dev-runner --forwarded-headers-mode must be "none" or "standard"');
|
|
214
|
+
}
|
|
215
|
+
if (arg === '--trusted-proxy-mode') {
|
|
216
|
+
const value = args[index + 1];
|
|
217
|
+
if (value === 'local' || value === 'all' || value === 'cidrs') {
|
|
218
|
+
trustedProxyMode = value;
|
|
219
|
+
index += 1;
|
|
220
|
+
continue;
|
|
221
|
+
}
|
|
222
|
+
throw new Error('fastapi-dev-runner --trusted-proxy-mode must be "local", "all", or "cidrs"');
|
|
223
|
+
}
|
|
224
|
+
if (arg === '--trusted-proxy-cidrs') {
|
|
225
|
+
const value = args[index + 1];
|
|
226
|
+
if (typeof value === 'string' && value.trim().length > 0) {
|
|
227
|
+
trustedProxyCidrs = value.trim();
|
|
228
|
+
index += 1;
|
|
229
|
+
continue;
|
|
230
|
+
}
|
|
231
|
+
throw new Error('fastapi-dev-runner --trusted-proxy-cidrs must be a non-empty comma-separated string');
|
|
232
|
+
}
|
|
233
|
+
}
|
|
234
|
+
if (!generatedDir || !host || !port) {
|
|
235
|
+
throw new Error('Usage: fastapi-dev-runner --generated-dir <dir> --host <host> --port <port> [--debugpy-host <host> --debugpy-port <port>] [--shutdown-mode graceful|immediate] [--shutdown-timeout <seconds>] [--forwarded-headers-mode none|standard] [--trusted-proxy-mode local|all|cidrs] [--trusted-proxy-cidrs <cidr1,cidr2>]');
|
|
236
|
+
}
|
|
237
|
+
if ((debugpyHost && !debugpyPort) || (!debugpyHost && debugpyPort)) {
|
|
238
|
+
throw new Error('fastapi-dev-runner --debugpy-host and --debugpy-port must be provided together');
|
|
239
|
+
}
|
|
240
|
+
return {
|
|
241
|
+
generatedDir,
|
|
242
|
+
host,
|
|
243
|
+
port,
|
|
244
|
+
debugpyHost,
|
|
245
|
+
debugpyPort,
|
|
246
|
+
rootPath,
|
|
247
|
+
shutdownMode,
|
|
248
|
+
shutdownTimeoutSeconds,
|
|
249
|
+
forwardedHeadersMode,
|
|
250
|
+
trustedProxyMode,
|
|
251
|
+
trustedProxyCidrs,
|
|
252
|
+
};
|
|
253
|
+
}
|
|
254
|
+
function renderTrustedProxyForwardedAllowIps(options) {
|
|
255
|
+
if (options.trustedProxyMode === 'all') {
|
|
256
|
+
return '*';
|
|
257
|
+
}
|
|
258
|
+
if (options.trustedProxyMode === 'cidrs' && options.trustedProxyCidrs) {
|
|
259
|
+
return options.trustedProxyCidrs;
|
|
260
|
+
}
|
|
261
|
+
return '127.0.0.1,::1';
|
|
262
|
+
}
|
|
263
|
+
//# sourceMappingURL=fastapi-dev-runner.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"fastapi-dev-runner.js","sourceRoot":"","sources":["../src/fastapi-dev-runner.ts"],"names":[],"mappings":";AAEA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAgBpC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;AAClE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;AACzG,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC;AACvD,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO;IAC7C,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC;IAC3C,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACtC,MAAM,gBAAgB,GAAG,OAAO,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;AAEvE,IAAI,EAAE,CAAC;AAEP,SAAS,IAAI;IACX,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAC9D,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,wCAAwC,aAAa,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,wBAAwB,EAAE,CAAC;IAC3B,qBAAqB,CAAC,aAAa,CAAC,CAAC;IACrC,SAAS,EAAE,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB;IAC/B,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,OAAO;IACT,CAAC;IACD,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACxC,UAAU,CAAC,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,qBAAqB,CAAC,aAAqB;IAClD,MAAM,aAAa,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,gBAAgB,EAAE,CAAC;IACzC,IAAI,aAAa,EAAE,aAAa,KAAK,aAAa,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7E,OAAO;IACT,CAAC;IAED,UAAU,CACR,UAAU,EACV,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,6BAA6B,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAClF,EAAE,GAAG,EAAE,YAAY,EAAE,CACtB,CAAC;IACF,UAAU,CACR,UAAU,EACV,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,6BAA6B,EAAE,sBAAsB,EAAE,IAAI,EAAE,GAAG,CAAC,EAC1F,EAAE,GAAG,EAAE,YAAY,EAAE,CACtB,CAAC;IACF,aAAa,CAAC,gBAAgB,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,gBAAgB;IACvB,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAA+B,CAAC;IAC1F,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,QAAgB;IAChC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,SAAS;IAChB,MAAM,KAAK,GAAG,KAAK,CACjB,UAAU,EACV;QACE,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW;YAC5C,CAAC,CAAC;gBACA,IAAI;gBACJ,SAAS;gBACT,UAAU;gBACV,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW,EAAE;gBAC/C,IAAI;gBACJ,SAAS;gBACT,cAAc;aACf;YACD,CAAC,CAAC;gBACA,IAAI;gBACJ,SAAS;gBACT,cAAc;aACf,CAAC;QACJ,QAAQ;QACR,OAAO,CAAC,IAAI;QACZ,QAAQ;QACR,OAAO,CAAC,IAAI;QACZ,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,UAAU;YACrC,CAAC,CAAC,CAAC,6BAA6B,EAAE,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;YACzE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,OAAO,CAAC,oBAAoB,KAAK,UAAU;YAC7C,CAAC,CAAC,CAAC,iBAAiB,EAAE,uBAAuB,EAAE,mCAAmC,CAAC,OAAO,CAAC,CAAC;YAC5F,CAAC,CAAC,EAAE,CAAC;KACR,EACD;QACE,GAAG,EAAE,YAAY;QACjB,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,KAAK,EAAE,SAAS;KACjB,CACF,CAAC;IAEF,IAAI,YAAY,GAAG,KAAK,CAAC;IAEzB,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,EAAE;QACvC,IAAI,YAAY,EAAE,CAAC;YACjB,OAAO;QACT,CAAC;QACD,YAAY,GAAG,IAAI,CAAC;QACpB,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,UAAU,CAAC,GAAG,EAAE;gBACd,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;oBACzD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACnB,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpD,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC;IAEtD,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;QAChC,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CACjB,OAAe,EACf,IAAc,EACd,OAGC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE;QACtC,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,GAAG,EAAE;YACH,GAAG,OAAO,CAAC,GAAG;YACd,GAAG,OAAO,CAAC,GAAG;SACf;QACD,KAAK,EAAE,SAAS;KACjB,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,MAAM,CAAC,KAAK,CAAC;IACrB,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAc;IAC/B,IAAI,YAAgC,CAAC;IACrC,IAAI,IAAwB,CAAC;IAC7B,IAAI,IAAwB,CAAC;IAC7B,IAAI,WAA+B,CAAC;IACpC,IAAI,WAA+B,CAAC;IACpC,IAAI,QAA4B,CAAC;IACjC,IAAI,YAAY,GAA6B,UAAU,CAAC;IACxD,IAAI,sBAAsB,GAAG,EAAE,CAAC;IAChC,IAAI,oBAAoB,GAAwB,MAAM,CAAC;IACvD,IAAI,gBAAgB,GAA8B,OAAO,CAAC;IAC1D,IAAI,iBAAqC,CAAC;IAE1C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,GAAG,KAAK,iBAAiB,EAAE,CAAC;YAC9B,YAAY,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC/B,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACvB,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACvB,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,gBAAgB,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzD,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC3B,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,GAAG,KAAK,gBAAgB,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACpE,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC3B,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9D,QAAQ,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,GAAG,KAAK,iBAAiB,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;gBAClD,YAAY,GAAG,KAAK,CAAC;gBACrB,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,GAAG,KAAK,oBAAoB,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;YACrF,CAAC;YACD,sBAAsB,GAAG,KAAK,CAAC;YAC/B,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,0BAA0B,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;gBAC7C,oBAAoB,GAAG,KAAK,CAAC;gBAC7B,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;QAC9F,CAAC;QACD,IAAI,GAAG,KAAK,sBAAsB,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;gBAC9D,gBAAgB,GAAG,KAAK,CAAC;gBACzB,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;QAChG,CAAC;QACD,IAAI,GAAG,KAAK,uBAAuB,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzD,iBAAiB,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBACjC,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,qFAAqF,CAAC,CAAC;QACzG,CAAC;IACH,CAAC;IAED,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,qTAAqT,CAAC,CAAC;IACzU,CAAC;IACD,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,WAAW,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;IACpG,CAAC;IAED,OAAO;QACL,YAAY;QACZ,IAAI;QACJ,IAAI;QACJ,WAAW;QACX,WAAW;QACX,QAAQ;QACR,YAAY;QACZ,sBAAsB;QACtB,oBAAoB;QACpB,gBAAgB;QAChB,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,mCAAmC,CAAC,OAAgC;IAC3E,IAAI,OAAO,CAAC,gBAAgB,KAAK,KAAK,EAAE,CAAC;QACvC,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,KAAK,OAAO,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QACtE,OAAO,OAAO,CAAC,iBAAiB,CAAC;IACnC,CAAC;IACD,OAAO,eAAe,CAAC;AACzB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"flow-proof.d.ts","sourceRoot":"","sources":["../src/flow-proof.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,WAAW,GACZ,MAAM,yBAAyB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"flow-proof.js","sourceRoot":"","sources":["../src/flow-proof.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC"}
|
package/dist/index.d.ts
ADDED
|
@@ -0,0 +1,36 @@
|
|
|
1
|
+
#!/usr/bin/env node
|
|
2
|
+
export interface CliIO {
|
|
3
|
+
cwd?: string;
|
|
4
|
+
stdout?: (text: string) => void;
|
|
5
|
+
stderr?: (text: string) => void;
|
|
6
|
+
env?: Record<string, string | undefined>;
|
|
7
|
+
runtime?: CliRuntime;
|
|
8
|
+
onDevSession?: (session: DevSession) => void;
|
|
9
|
+
}
|
|
10
|
+
export interface DevWatcher {
|
|
11
|
+
close(): void;
|
|
12
|
+
}
|
|
13
|
+
export interface DevProcess {
|
|
14
|
+
readonly exitCode: number | null;
|
|
15
|
+
readonly signalCode: string | null;
|
|
16
|
+
close(signal?: string): void;
|
|
17
|
+
}
|
|
18
|
+
export interface SpawnProcessOptions {
|
|
19
|
+
cwd: string;
|
|
20
|
+
env?: Record<string, string | undefined>;
|
|
21
|
+
onStdoutLine?: (line: string) => void;
|
|
22
|
+
onStderrLine?: (line: string) => void;
|
|
23
|
+
onExit?: (code: number | null, signal: string | null) => void;
|
|
24
|
+
}
|
|
25
|
+
export interface CliRuntime {
|
|
26
|
+
watch(directory: string, listener: (eventType: string, fileName?: string) => void): DevWatcher;
|
|
27
|
+
spawn(command: string, args: string[], options: SpawnProcessOptions): DevProcess;
|
|
28
|
+
exists(path: string): boolean;
|
|
29
|
+
npmCommand(): string;
|
|
30
|
+
}
|
|
31
|
+
export interface DevSession {
|
|
32
|
+
close(): void;
|
|
33
|
+
rebuild(trigger?: 'manual' | 'change'): void;
|
|
34
|
+
}
|
|
35
|
+
export declare function runCli(args: string[], io?: CliIO): number;
|
|
36
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAuCA,MAAM,WAAW,KAAK;IACpB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACzC,OAAO,CAAC,EAAE,UAAU,CAAC;IACrB,YAAY,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,IAAI,CAAC;CAC9C;AAiUD,MAAM,WAAW,UAAU;IACzB,KAAK,IAAI,IAAI,CAAC;CACf;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACzC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACtC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACtC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,KAAK,IAAI,CAAC;CAC/D;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,KAAK,IAAI,GAAG,UAAU,CAAC;IAC/F,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,mBAAmB,GAAG,UAAU,CAAC;IACjF,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9B,UAAU,IAAI,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,IAAI,IAAI,CAAC;IACd,OAAO,CAAC,OAAO,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,IAAI,CAAC;CAC9C;AAkUD,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAE,KAAU,GAAG,MAAM,CAmD7D"}
|