@optique/core 1.2.0 → 1.2.2
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/dist/constructs.cjs +124 -41
- package/dist/constructs.js +124 -41
- package/dist/primitives.cjs +14 -9
- package/dist/primitives.js +14 -9
- package/package.json +2 -2
package/dist/constructs.cjs
CHANGED
|
@@ -582,6 +582,35 @@ function createExclusiveState(parentState, index, parser, result) {
|
|
|
582
582
|
return require_internal_annotations.annotateFreshArray(parentState, [index, annotatedResult]);
|
|
583
583
|
}
|
|
584
584
|
/**
|
|
585
|
+
* Detects a branch result that handled only the global options terminator.
|
|
586
|
+
* Such a result advances the shared parser context, but does not identify
|
|
587
|
+
* which exclusive branch matched.
|
|
588
|
+
* @internal
|
|
589
|
+
*/
|
|
590
|
+
function isOptionsTerminatorOnlyResult(context, result) {
|
|
591
|
+
return !context.optionsTerminated && context.buffer[0] === "--" && result.success && result.next.optionsTerminated && result.consumed.length === 1 && result.consumed[0] === "--";
|
|
592
|
+
}
|
|
593
|
+
function isUnselectedBooleanOptionState(state) {
|
|
594
|
+
return state != null && typeof state === "object" && "success" in state && state.success === true && "value" in state && state.value === false;
|
|
595
|
+
}
|
|
596
|
+
function preserveExclusiveStateAfterOptionsTerminator(context, result) {
|
|
597
|
+
const mergedExec = require_execution_context.mergeChildExec(context.exec, result.next.exec);
|
|
598
|
+
return {
|
|
599
|
+
success: true,
|
|
600
|
+
next: {
|
|
601
|
+
...context,
|
|
602
|
+
buffer: result.next.buffer,
|
|
603
|
+
optionsTerminated: true,
|
|
604
|
+
state: context.state,
|
|
605
|
+
...mergedExec != null ? {
|
|
606
|
+
exec: mergedExec,
|
|
607
|
+
dependencyRegistry: mergedExec.dependencyRegistry
|
|
608
|
+
} : {}
|
|
609
|
+
},
|
|
610
|
+
consumed: result.consumed
|
|
611
|
+
};
|
|
612
|
+
}
|
|
613
|
+
/**
|
|
585
614
|
* Creates a complete() method shared by or() and longestMatch().
|
|
586
615
|
* @internal
|
|
587
616
|
*/
|
|
@@ -819,9 +848,15 @@ function or(...args) {
|
|
|
819
848
|
let zeroConsumedBranch = null;
|
|
820
849
|
let zeroConsumedCount = 0;
|
|
821
850
|
let provisionalConsuming = null;
|
|
851
|
+
let optionsTerminatorResult = null;
|
|
822
852
|
let provisionalAmbiguous = false;
|
|
823
853
|
for (const [parser, i] of orderedParsers) {
|
|
824
854
|
const result = parser.parse(withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser));
|
|
855
|
+
if (isOptionsTerminatorOnlyResult(context, result)) {
|
|
856
|
+
if (activeState?.[0] === i && activeState[1].success && activeState[1].consumed.length > 0 && result.next.buffer.length < 1) return preserveExclusiveStateAfterOptionsTerminator(context, result);
|
|
857
|
+
optionsTerminatorResult ??= result;
|
|
858
|
+
continue;
|
|
859
|
+
}
|
|
825
860
|
if (result.success && result.consumed.length > 0) {
|
|
826
861
|
if (result.provisional) {
|
|
827
862
|
const activeBranchLocked = activeState != null && activeState[1].success && activeState[1].consumed.length > 0;
|
|
@@ -1002,6 +1037,7 @@ function or(...args) {
|
|
|
1002
1037
|
}
|
|
1003
1038
|
}
|
|
1004
1039
|
}
|
|
1040
|
+
if (optionsTerminatorResult != null) return preserveExclusiveStateAfterOptionsTerminator(context, optionsTerminatorResult);
|
|
1005
1041
|
return {
|
|
1006
1042
|
...error,
|
|
1007
1043
|
success: false
|
|
@@ -1015,10 +1051,16 @@ function or(...args) {
|
|
|
1015
1051
|
let zeroConsumedBranch = null;
|
|
1016
1052
|
let zeroConsumedCount = 0;
|
|
1017
1053
|
let provisionalConsuming = null;
|
|
1054
|
+
let optionsTerminatorResult = null;
|
|
1018
1055
|
let provisionalAmbiguous = false;
|
|
1019
1056
|
for (const [parser, i] of orderedParsers) {
|
|
1020
1057
|
const resultOrPromise = parser.parse(withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser));
|
|
1021
1058
|
const result = await resultOrPromise;
|
|
1059
|
+
if (isOptionsTerminatorOnlyResult(context, result)) {
|
|
1060
|
+
if (activeState?.[0] === i && activeState[1].success && activeState[1].consumed.length > 0 && result.next.buffer.length < 1) return preserveExclusiveStateAfterOptionsTerminator(context, result);
|
|
1061
|
+
optionsTerminatorResult ??= result;
|
|
1062
|
+
continue;
|
|
1063
|
+
}
|
|
1022
1064
|
if (result.success && result.consumed.length > 0) {
|
|
1023
1065
|
if (result.provisional) {
|
|
1024
1066
|
const activeBranchLocked = activeState != null && activeState[1].success && activeState[1].consumed.length > 0;
|
|
@@ -1201,6 +1243,7 @@ function or(...args) {
|
|
|
1201
1243
|
}
|
|
1202
1244
|
}
|
|
1203
1245
|
}
|
|
1246
|
+
if (optionsTerminatorResult != null) return preserveExclusiveStateAfterOptionsTerminator(context, optionsTerminatorResult);
|
|
1204
1247
|
return {
|
|
1205
1248
|
...error,
|
|
1206
1249
|
success: false
|
|
@@ -1302,82 +1345,122 @@ function createLongestMatch(...args) {
|
|
|
1302
1345
|
return createUnexpectedInputErrorWithScopedSuggestions(defaultMsg, token, parsers, options?.errors?.suggestions);
|
|
1303
1346
|
})()
|
|
1304
1347
|
});
|
|
1305
|
-
const
|
|
1348
|
+
const commitLongestMatch = (context, match, optionsTerminatorResult) => {
|
|
1349
|
+
const selectedResult = optionsTerminatorResult == null ? match.result : {
|
|
1350
|
+
...match.result,
|
|
1351
|
+
next: {
|
|
1352
|
+
...match.result.next,
|
|
1353
|
+
buffer: optionsTerminatorResult.next.buffer,
|
|
1354
|
+
optionsTerminated: true
|
|
1355
|
+
},
|
|
1356
|
+
consumed: [...optionsTerminatorResult.consumed, ...match.result.consumed]
|
|
1357
|
+
};
|
|
1358
|
+
const parser = parsers[match.index];
|
|
1359
|
+
const mergedExec = require_execution_context.mergeChildExec(context.exec, selectedResult.next.exec);
|
|
1360
|
+
return {
|
|
1361
|
+
success: true,
|
|
1362
|
+
next: {
|
|
1363
|
+
...context,
|
|
1364
|
+
buffer: selectedResult.next.buffer,
|
|
1365
|
+
optionsTerminated: selectedResult.next.optionsTerminated,
|
|
1366
|
+
state: createExclusiveState(context.state, match.index, parser, selectedResult),
|
|
1367
|
+
...mergedExec != null ? {
|
|
1368
|
+
exec: mergedExec,
|
|
1369
|
+
dependencyRegistry: mergedExec.dependencyRegistry
|
|
1370
|
+
} : {}
|
|
1371
|
+
},
|
|
1372
|
+
consumed: selectedResult.consumed
|
|
1373
|
+
};
|
|
1374
|
+
};
|
|
1375
|
+
const resolveLongestMatchOptionsTerminator = (context, bestMatch, optionsTerminatorMatches) => {
|
|
1376
|
+
if (optionsTerminatorMatches.length < 1) return null;
|
|
1377
|
+
if (bestMatch != null && bestMatch.consumed > 0) return null;
|
|
1378
|
+
const activeState = normalizeExclusiveState(context.state);
|
|
1379
|
+
if (activeState != null && activeState[1].success && activeState[1].consumed.length > 0) return preserveExclusiveStateAfterOptionsTerminator(context, optionsTerminatorMatches[0].result);
|
|
1380
|
+
let selected = bestMatch == null ? null : {
|
|
1381
|
+
match: bestMatch,
|
|
1382
|
+
fromTerminator: false
|
|
1383
|
+
};
|
|
1384
|
+
for (const match of optionsTerminatorMatches) {
|
|
1385
|
+
if (!match.selectedAfterTerminator && (extractRequiredUsage(parsers[match.index].usage).length > 0 || isUnselectedBooleanOptionState(match.result.next.state))) continue;
|
|
1386
|
+
const selectedIsProvisional = selected != null && !!selected.match.result.provisional;
|
|
1387
|
+
const matchIsProvisional = !!match.result.provisional;
|
|
1388
|
+
if (selected == null || selectedIsProvisional && !matchIsProvisional || selectedIsProvisional === matchIsProvisional && match.index < selected.match.index) selected = {
|
|
1389
|
+
match,
|
|
1390
|
+
fromTerminator: true
|
|
1391
|
+
};
|
|
1392
|
+
}
|
|
1393
|
+
if (selected != null) return commitLongestMatch(context, selected.match, selected.fromTerminator ? void 0 : optionsTerminatorMatches[0].result);
|
|
1394
|
+
return preserveExclusiveStateAfterOptionsTerminator(context, optionsTerminatorMatches[0].result);
|
|
1395
|
+
};
|
|
1396
|
+
const parseSyncBranches = (context) => {
|
|
1306
1397
|
let bestMatch = null;
|
|
1398
|
+
const optionsTerminatorMatches = [];
|
|
1307
1399
|
let error = getInitialError(context);
|
|
1308
1400
|
const activeState = normalizeExclusiveState(context.state);
|
|
1309
1401
|
for (let i = 0; i < syncParsers.length; i++) {
|
|
1310
1402
|
const parser = syncParsers[i];
|
|
1311
|
-
const
|
|
1403
|
+
const childContext = withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser);
|
|
1404
|
+
const result = parser.parse(childContext);
|
|
1405
|
+
if (isOptionsTerminatorOnlyResult(context, result)) {
|
|
1406
|
+
optionsTerminatorMatches.push({
|
|
1407
|
+
index: i,
|
|
1408
|
+
result,
|
|
1409
|
+
consumed: 1,
|
|
1410
|
+
...normalizeExclusiveState(result.next.state) != null ? { selectedAfterTerminator: true } : {}
|
|
1411
|
+
});
|
|
1412
|
+
continue;
|
|
1413
|
+
}
|
|
1312
1414
|
if (result.success) {
|
|
1313
1415
|
const consumed = context.buffer.length - result.next.buffer.length;
|
|
1314
1416
|
const bestIsProvisional = bestMatch != null && bestMatch.result.success && !!bestMatch.result.provisional;
|
|
1315
1417
|
if (bestMatch === null || consumed > bestMatch.consumed || consumed === bestMatch.consumed && bestIsProvisional && !result.provisional) bestMatch = {
|
|
1316
1418
|
index: i,
|
|
1317
|
-
parser,
|
|
1318
1419
|
result,
|
|
1319
1420
|
consumed
|
|
1320
1421
|
};
|
|
1321
1422
|
} else if (error.consumed < result.consumed) error = result;
|
|
1322
1423
|
}
|
|
1323
|
-
|
|
1324
|
-
|
|
1325
|
-
|
|
1326
|
-
success: true,
|
|
1327
|
-
next: {
|
|
1328
|
-
...context,
|
|
1329
|
-
buffer: bestMatch.result.next.buffer,
|
|
1330
|
-
optionsTerminated: bestMatch.result.next.optionsTerminated,
|
|
1331
|
-
state: createExclusiveState(context.state, bestMatch.index, bestMatch.parser, bestMatch.result),
|
|
1332
|
-
...mergedExec != null ? {
|
|
1333
|
-
exec: mergedExec,
|
|
1334
|
-
dependencyRegistry: mergedExec.dependencyRegistry
|
|
1335
|
-
} : {}
|
|
1336
|
-
},
|
|
1337
|
-
consumed: bestMatch.result.consumed
|
|
1338
|
-
};
|
|
1339
|
-
}
|
|
1424
|
+
const optionsTerminatorResolution = resolveLongestMatchOptionsTerminator(context, bestMatch, optionsTerminatorMatches);
|
|
1425
|
+
if (optionsTerminatorResolution != null) return optionsTerminatorResolution;
|
|
1426
|
+
if (bestMatch != null) return commitLongestMatch(context, bestMatch);
|
|
1340
1427
|
return {
|
|
1341
1428
|
...error,
|
|
1342
1429
|
success: false
|
|
1343
1430
|
};
|
|
1344
1431
|
};
|
|
1345
|
-
const
|
|
1432
|
+
const parseAsyncBranches = async (context) => {
|
|
1346
1433
|
let bestMatch = null;
|
|
1434
|
+
const optionsTerminatorMatches = [];
|
|
1347
1435
|
let error = getInitialError(context);
|
|
1348
1436
|
const activeState = normalizeExclusiveState(context.state);
|
|
1349
1437
|
for (let i = 0; i < parsers.length; i++) {
|
|
1350
1438
|
const parser = parsers[i];
|
|
1351
|
-
const
|
|
1439
|
+
const childContext = withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser);
|
|
1440
|
+
const resultOrPromise = parser.parse(childContext);
|
|
1352
1441
|
const result = await resultOrPromise;
|
|
1442
|
+
if (isOptionsTerminatorOnlyResult(context, result)) {
|
|
1443
|
+
optionsTerminatorMatches.push({
|
|
1444
|
+
index: i,
|
|
1445
|
+
result,
|
|
1446
|
+
consumed: 1,
|
|
1447
|
+
...normalizeExclusiveState(result.next.state) != null ? { selectedAfterTerminator: true } : {}
|
|
1448
|
+
});
|
|
1449
|
+
continue;
|
|
1450
|
+
}
|
|
1353
1451
|
if (result.success) {
|
|
1354
1452
|
const consumed = context.buffer.length - result.next.buffer.length;
|
|
1355
1453
|
const bestIsProvisional = bestMatch != null && bestMatch.result.success && !!bestMatch.result.provisional;
|
|
1356
1454
|
if (bestMatch === null || consumed > bestMatch.consumed || consumed === bestMatch.consumed && bestIsProvisional && !result.provisional) bestMatch = {
|
|
1357
1455
|
index: i,
|
|
1358
|
-
parser,
|
|
1359
1456
|
result,
|
|
1360
1457
|
consumed
|
|
1361
1458
|
};
|
|
1362
1459
|
} else if (error.consumed < result.consumed) error = result;
|
|
1363
1460
|
}
|
|
1364
|
-
|
|
1365
|
-
|
|
1366
|
-
|
|
1367
|
-
success: true,
|
|
1368
|
-
next: {
|
|
1369
|
-
...context,
|
|
1370
|
-
buffer: bestMatch.result.next.buffer,
|
|
1371
|
-
optionsTerminated: bestMatch.result.next.optionsTerminated,
|
|
1372
|
-
state: createExclusiveState(context.state, bestMatch.index, bestMatch.parser, bestMatch.result),
|
|
1373
|
-
...mergedExec != null ? {
|
|
1374
|
-
exec: mergedExec,
|
|
1375
|
-
dependencyRegistry: mergedExec.dependencyRegistry
|
|
1376
|
-
} : {}
|
|
1377
|
-
},
|
|
1378
|
-
consumed: bestMatch.result.consumed
|
|
1379
|
-
};
|
|
1380
|
-
}
|
|
1461
|
+
const optionsTerminatorResolution = resolveLongestMatchOptionsTerminator(context, bestMatch, optionsTerminatorMatches);
|
|
1462
|
+
if (optionsTerminatorResolution != null) return optionsTerminatorResolution;
|
|
1463
|
+
if (bestMatch != null) return commitLongestMatch(context, bestMatch);
|
|
1381
1464
|
return {
|
|
1382
1465
|
...error,
|
|
1383
1466
|
success: false
|
|
@@ -1400,7 +1483,7 @@ function createLongestMatch(...args) {
|
|
|
1400
1483
|
return extractExclusivePhase2Seed(parsers, state, exec, combinedMode);
|
|
1401
1484
|
},
|
|
1402
1485
|
parse(context) {
|
|
1403
|
-
return require_mode_dispatch.dispatchByMode(combinedMode, () =>
|
|
1486
|
+
return require_mode_dispatch.dispatchByMode(combinedMode, () => parseSyncBranches(context), () => parseAsyncBranches(context));
|
|
1404
1487
|
},
|
|
1405
1488
|
getSuggestRuntimeNodes(state, path) {
|
|
1406
1489
|
return getExclusiveSuggestRuntimeNodes(parsers, state, path);
|
package/dist/constructs.js
CHANGED
|
@@ -582,6 +582,35 @@ function createExclusiveState(parentState, index, parser, result) {
|
|
|
582
582
|
return annotateFreshArray(parentState, [index, annotatedResult]);
|
|
583
583
|
}
|
|
584
584
|
/**
|
|
585
|
+
* Detects a branch result that handled only the global options terminator.
|
|
586
|
+
* Such a result advances the shared parser context, but does not identify
|
|
587
|
+
* which exclusive branch matched.
|
|
588
|
+
* @internal
|
|
589
|
+
*/
|
|
590
|
+
function isOptionsTerminatorOnlyResult(context, result) {
|
|
591
|
+
return !context.optionsTerminated && context.buffer[0] === "--" && result.success && result.next.optionsTerminated && result.consumed.length === 1 && result.consumed[0] === "--";
|
|
592
|
+
}
|
|
593
|
+
function isUnselectedBooleanOptionState(state) {
|
|
594
|
+
return state != null && typeof state === "object" && "success" in state && state.success === true && "value" in state && state.value === false;
|
|
595
|
+
}
|
|
596
|
+
function preserveExclusiveStateAfterOptionsTerminator(context, result) {
|
|
597
|
+
const mergedExec = mergeChildExec(context.exec, result.next.exec);
|
|
598
|
+
return {
|
|
599
|
+
success: true,
|
|
600
|
+
next: {
|
|
601
|
+
...context,
|
|
602
|
+
buffer: result.next.buffer,
|
|
603
|
+
optionsTerminated: true,
|
|
604
|
+
state: context.state,
|
|
605
|
+
...mergedExec != null ? {
|
|
606
|
+
exec: mergedExec,
|
|
607
|
+
dependencyRegistry: mergedExec.dependencyRegistry
|
|
608
|
+
} : {}
|
|
609
|
+
},
|
|
610
|
+
consumed: result.consumed
|
|
611
|
+
};
|
|
612
|
+
}
|
|
613
|
+
/**
|
|
585
614
|
* Creates a complete() method shared by or() and longestMatch().
|
|
586
615
|
* @internal
|
|
587
616
|
*/
|
|
@@ -819,9 +848,15 @@ function or(...args) {
|
|
|
819
848
|
let zeroConsumedBranch = null;
|
|
820
849
|
let zeroConsumedCount = 0;
|
|
821
850
|
let provisionalConsuming = null;
|
|
851
|
+
let optionsTerminatorResult = null;
|
|
822
852
|
let provisionalAmbiguous = false;
|
|
823
853
|
for (const [parser, i] of orderedParsers) {
|
|
824
854
|
const result = parser.parse(withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser));
|
|
855
|
+
if (isOptionsTerminatorOnlyResult(context, result)) {
|
|
856
|
+
if (activeState?.[0] === i && activeState[1].success && activeState[1].consumed.length > 0 && result.next.buffer.length < 1) return preserveExclusiveStateAfterOptionsTerminator(context, result);
|
|
857
|
+
optionsTerminatorResult ??= result;
|
|
858
|
+
continue;
|
|
859
|
+
}
|
|
825
860
|
if (result.success && result.consumed.length > 0) {
|
|
826
861
|
if (result.provisional) {
|
|
827
862
|
const activeBranchLocked = activeState != null && activeState[1].success && activeState[1].consumed.length > 0;
|
|
@@ -1002,6 +1037,7 @@ function or(...args) {
|
|
|
1002
1037
|
}
|
|
1003
1038
|
}
|
|
1004
1039
|
}
|
|
1040
|
+
if (optionsTerminatorResult != null) return preserveExclusiveStateAfterOptionsTerminator(context, optionsTerminatorResult);
|
|
1005
1041
|
return {
|
|
1006
1042
|
...error,
|
|
1007
1043
|
success: false
|
|
@@ -1015,10 +1051,16 @@ function or(...args) {
|
|
|
1015
1051
|
let zeroConsumedBranch = null;
|
|
1016
1052
|
let zeroConsumedCount = 0;
|
|
1017
1053
|
let provisionalConsuming = null;
|
|
1054
|
+
let optionsTerminatorResult = null;
|
|
1018
1055
|
let provisionalAmbiguous = false;
|
|
1019
1056
|
for (const [parser, i] of orderedParsers) {
|
|
1020
1057
|
const resultOrPromise = parser.parse(withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser));
|
|
1021
1058
|
const result = await resultOrPromise;
|
|
1059
|
+
if (isOptionsTerminatorOnlyResult(context, result)) {
|
|
1060
|
+
if (activeState?.[0] === i && activeState[1].success && activeState[1].consumed.length > 0 && result.next.buffer.length < 1) return preserveExclusiveStateAfterOptionsTerminator(context, result);
|
|
1061
|
+
optionsTerminatorResult ??= result;
|
|
1062
|
+
continue;
|
|
1063
|
+
}
|
|
1022
1064
|
if (result.success && result.consumed.length > 0) {
|
|
1023
1065
|
if (result.provisional) {
|
|
1024
1066
|
const activeBranchLocked = activeState != null && activeState[1].success && activeState[1].consumed.length > 0;
|
|
@@ -1201,6 +1243,7 @@ function or(...args) {
|
|
|
1201
1243
|
}
|
|
1202
1244
|
}
|
|
1203
1245
|
}
|
|
1246
|
+
if (optionsTerminatorResult != null) return preserveExclusiveStateAfterOptionsTerminator(context, optionsTerminatorResult);
|
|
1204
1247
|
return {
|
|
1205
1248
|
...error,
|
|
1206
1249
|
success: false
|
|
@@ -1302,82 +1345,122 @@ function createLongestMatch(...args) {
|
|
|
1302
1345
|
return createUnexpectedInputErrorWithScopedSuggestions(defaultMsg, token, parsers, options?.errors?.suggestions);
|
|
1303
1346
|
})()
|
|
1304
1347
|
});
|
|
1305
|
-
const
|
|
1348
|
+
const commitLongestMatch = (context, match, optionsTerminatorResult) => {
|
|
1349
|
+
const selectedResult = optionsTerminatorResult == null ? match.result : {
|
|
1350
|
+
...match.result,
|
|
1351
|
+
next: {
|
|
1352
|
+
...match.result.next,
|
|
1353
|
+
buffer: optionsTerminatorResult.next.buffer,
|
|
1354
|
+
optionsTerminated: true
|
|
1355
|
+
},
|
|
1356
|
+
consumed: [...optionsTerminatorResult.consumed, ...match.result.consumed]
|
|
1357
|
+
};
|
|
1358
|
+
const parser = parsers[match.index];
|
|
1359
|
+
const mergedExec = mergeChildExec(context.exec, selectedResult.next.exec);
|
|
1360
|
+
return {
|
|
1361
|
+
success: true,
|
|
1362
|
+
next: {
|
|
1363
|
+
...context,
|
|
1364
|
+
buffer: selectedResult.next.buffer,
|
|
1365
|
+
optionsTerminated: selectedResult.next.optionsTerminated,
|
|
1366
|
+
state: createExclusiveState(context.state, match.index, parser, selectedResult),
|
|
1367
|
+
...mergedExec != null ? {
|
|
1368
|
+
exec: mergedExec,
|
|
1369
|
+
dependencyRegistry: mergedExec.dependencyRegistry
|
|
1370
|
+
} : {}
|
|
1371
|
+
},
|
|
1372
|
+
consumed: selectedResult.consumed
|
|
1373
|
+
};
|
|
1374
|
+
};
|
|
1375
|
+
const resolveLongestMatchOptionsTerminator = (context, bestMatch, optionsTerminatorMatches) => {
|
|
1376
|
+
if (optionsTerminatorMatches.length < 1) return null;
|
|
1377
|
+
if (bestMatch != null && bestMatch.consumed > 0) return null;
|
|
1378
|
+
const activeState = normalizeExclusiveState(context.state);
|
|
1379
|
+
if (activeState != null && activeState[1].success && activeState[1].consumed.length > 0) return preserveExclusiveStateAfterOptionsTerminator(context, optionsTerminatorMatches[0].result);
|
|
1380
|
+
let selected = bestMatch == null ? null : {
|
|
1381
|
+
match: bestMatch,
|
|
1382
|
+
fromTerminator: false
|
|
1383
|
+
};
|
|
1384
|
+
for (const match of optionsTerminatorMatches) {
|
|
1385
|
+
if (!match.selectedAfterTerminator && (extractRequiredUsage(parsers[match.index].usage).length > 0 || isUnselectedBooleanOptionState(match.result.next.state))) continue;
|
|
1386
|
+
const selectedIsProvisional = selected != null && !!selected.match.result.provisional;
|
|
1387
|
+
const matchIsProvisional = !!match.result.provisional;
|
|
1388
|
+
if (selected == null || selectedIsProvisional && !matchIsProvisional || selectedIsProvisional === matchIsProvisional && match.index < selected.match.index) selected = {
|
|
1389
|
+
match,
|
|
1390
|
+
fromTerminator: true
|
|
1391
|
+
};
|
|
1392
|
+
}
|
|
1393
|
+
if (selected != null) return commitLongestMatch(context, selected.match, selected.fromTerminator ? void 0 : optionsTerminatorMatches[0].result);
|
|
1394
|
+
return preserveExclusiveStateAfterOptionsTerminator(context, optionsTerminatorMatches[0].result);
|
|
1395
|
+
};
|
|
1396
|
+
const parseSyncBranches = (context) => {
|
|
1306
1397
|
let bestMatch = null;
|
|
1398
|
+
const optionsTerminatorMatches = [];
|
|
1307
1399
|
let error = getInitialError(context);
|
|
1308
1400
|
const activeState = normalizeExclusiveState(context.state);
|
|
1309
1401
|
for (let i = 0; i < syncParsers.length; i++) {
|
|
1310
1402
|
const parser = syncParsers[i];
|
|
1311
|
-
const
|
|
1403
|
+
const childContext = withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser);
|
|
1404
|
+
const result = parser.parse(childContext);
|
|
1405
|
+
if (isOptionsTerminatorOnlyResult(context, result)) {
|
|
1406
|
+
optionsTerminatorMatches.push({
|
|
1407
|
+
index: i,
|
|
1408
|
+
result,
|
|
1409
|
+
consumed: 1,
|
|
1410
|
+
...normalizeExclusiveState(result.next.state) != null ? { selectedAfterTerminator: true } : {}
|
|
1411
|
+
});
|
|
1412
|
+
continue;
|
|
1413
|
+
}
|
|
1312
1414
|
if (result.success) {
|
|
1313
1415
|
const consumed = context.buffer.length - result.next.buffer.length;
|
|
1314
1416
|
const bestIsProvisional = bestMatch != null && bestMatch.result.success && !!bestMatch.result.provisional;
|
|
1315
1417
|
if (bestMatch === null || consumed > bestMatch.consumed || consumed === bestMatch.consumed && bestIsProvisional && !result.provisional) bestMatch = {
|
|
1316
1418
|
index: i,
|
|
1317
|
-
parser,
|
|
1318
1419
|
result,
|
|
1319
1420
|
consumed
|
|
1320
1421
|
};
|
|
1321
1422
|
} else if (error.consumed < result.consumed) error = result;
|
|
1322
1423
|
}
|
|
1323
|
-
|
|
1324
|
-
|
|
1325
|
-
|
|
1326
|
-
success: true,
|
|
1327
|
-
next: {
|
|
1328
|
-
...context,
|
|
1329
|
-
buffer: bestMatch.result.next.buffer,
|
|
1330
|
-
optionsTerminated: bestMatch.result.next.optionsTerminated,
|
|
1331
|
-
state: createExclusiveState(context.state, bestMatch.index, bestMatch.parser, bestMatch.result),
|
|
1332
|
-
...mergedExec != null ? {
|
|
1333
|
-
exec: mergedExec,
|
|
1334
|
-
dependencyRegistry: mergedExec.dependencyRegistry
|
|
1335
|
-
} : {}
|
|
1336
|
-
},
|
|
1337
|
-
consumed: bestMatch.result.consumed
|
|
1338
|
-
};
|
|
1339
|
-
}
|
|
1424
|
+
const optionsTerminatorResolution = resolveLongestMatchOptionsTerminator(context, bestMatch, optionsTerminatorMatches);
|
|
1425
|
+
if (optionsTerminatorResolution != null) return optionsTerminatorResolution;
|
|
1426
|
+
if (bestMatch != null) return commitLongestMatch(context, bestMatch);
|
|
1340
1427
|
return {
|
|
1341
1428
|
...error,
|
|
1342
1429
|
success: false
|
|
1343
1430
|
};
|
|
1344
1431
|
};
|
|
1345
|
-
const
|
|
1432
|
+
const parseAsyncBranches = async (context) => {
|
|
1346
1433
|
let bestMatch = null;
|
|
1434
|
+
const optionsTerminatorMatches = [];
|
|
1347
1435
|
let error = getInitialError(context);
|
|
1348
1436
|
const activeState = normalizeExclusiveState(context.state);
|
|
1349
1437
|
for (let i = 0; i < parsers.length; i++) {
|
|
1350
1438
|
const parser = parsers[i];
|
|
1351
|
-
const
|
|
1439
|
+
const childContext = withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser);
|
|
1440
|
+
const resultOrPromise = parser.parse(childContext);
|
|
1352
1441
|
const result = await resultOrPromise;
|
|
1442
|
+
if (isOptionsTerminatorOnlyResult(context, result)) {
|
|
1443
|
+
optionsTerminatorMatches.push({
|
|
1444
|
+
index: i,
|
|
1445
|
+
result,
|
|
1446
|
+
consumed: 1,
|
|
1447
|
+
...normalizeExclusiveState(result.next.state) != null ? { selectedAfterTerminator: true } : {}
|
|
1448
|
+
});
|
|
1449
|
+
continue;
|
|
1450
|
+
}
|
|
1353
1451
|
if (result.success) {
|
|
1354
1452
|
const consumed = context.buffer.length - result.next.buffer.length;
|
|
1355
1453
|
const bestIsProvisional = bestMatch != null && bestMatch.result.success && !!bestMatch.result.provisional;
|
|
1356
1454
|
if (bestMatch === null || consumed > bestMatch.consumed || consumed === bestMatch.consumed && bestIsProvisional && !result.provisional) bestMatch = {
|
|
1357
1455
|
index: i,
|
|
1358
|
-
parser,
|
|
1359
1456
|
result,
|
|
1360
1457
|
consumed
|
|
1361
1458
|
};
|
|
1362
1459
|
} else if (error.consumed < result.consumed) error = result;
|
|
1363
1460
|
}
|
|
1364
|
-
|
|
1365
|
-
|
|
1366
|
-
|
|
1367
|
-
success: true,
|
|
1368
|
-
next: {
|
|
1369
|
-
...context,
|
|
1370
|
-
buffer: bestMatch.result.next.buffer,
|
|
1371
|
-
optionsTerminated: bestMatch.result.next.optionsTerminated,
|
|
1372
|
-
state: createExclusiveState(context.state, bestMatch.index, bestMatch.parser, bestMatch.result),
|
|
1373
|
-
...mergedExec != null ? {
|
|
1374
|
-
exec: mergedExec,
|
|
1375
|
-
dependencyRegistry: mergedExec.dependencyRegistry
|
|
1376
|
-
} : {}
|
|
1377
|
-
},
|
|
1378
|
-
consumed: bestMatch.result.consumed
|
|
1379
|
-
};
|
|
1380
|
-
}
|
|
1461
|
+
const optionsTerminatorResolution = resolveLongestMatchOptionsTerminator(context, bestMatch, optionsTerminatorMatches);
|
|
1462
|
+
if (optionsTerminatorResolution != null) return optionsTerminatorResolution;
|
|
1463
|
+
if (bestMatch != null) return commitLongestMatch(context, bestMatch);
|
|
1381
1464
|
return {
|
|
1382
1465
|
...error,
|
|
1383
1466
|
success: false
|
|
@@ -1400,7 +1483,7 @@ function createLongestMatch(...args) {
|
|
|
1400
1483
|
return extractExclusivePhase2Seed(parsers, state, exec, combinedMode);
|
|
1401
1484
|
},
|
|
1402
1485
|
parse(context) {
|
|
1403
|
-
return dispatchByMode(combinedMode, () =>
|
|
1486
|
+
return dispatchByMode(combinedMode, () => parseSyncBranches(context), () => parseAsyncBranches(context));
|
|
1404
1487
|
},
|
|
1405
1488
|
getSuggestRuntimeNodes(state, path) {
|
|
1406
1489
|
return getExclusiveSuggestRuntimeNodes(parsers, state, path);
|
package/dist/primitives.cjs
CHANGED
|
@@ -248,7 +248,7 @@ function* getSuggestionsWithDependency(valueParser, prefix, dependencyRegistry,
|
|
|
248
248
|
* Internal sync helper for option suggest functionality.
|
|
249
249
|
* @internal
|
|
250
250
|
*/
|
|
251
|
-
function* suggestOptionSync(optionNames$1, valueParser, hidden, context, prefix) {
|
|
251
|
+
function* suggestOptionSync(optionNames$1, valueParser, hidden, description, context, prefix) {
|
|
252
252
|
if (hidden) return;
|
|
253
253
|
const equalsIndex = prefix.indexOf("=");
|
|
254
254
|
if (equalsIndex >= 0) {
|
|
@@ -276,7 +276,8 @@ function* suggestOptionSync(optionNames$1, valueParser, hidden, context, prefix)
|
|
|
276
276
|
if (prefix === "-" && optionName$1.length !== 2) continue;
|
|
277
277
|
yield {
|
|
278
278
|
kind: "literal",
|
|
279
|
-
text: optionName$1
|
|
279
|
+
text: optionName$1,
|
|
280
|
+
...description && { description }
|
|
280
281
|
};
|
|
281
282
|
}
|
|
282
283
|
}
|
|
@@ -332,7 +333,7 @@ async function* getSuggestionsWithDependencyAsync(valueParser, prefix, dependenc
|
|
|
332
333
|
* Internal async helper for option suggest functionality.
|
|
333
334
|
* @internal
|
|
334
335
|
*/
|
|
335
|
-
async function* suggestOptionAsync(optionNames$1, valueParser, hidden, context, prefix) {
|
|
336
|
+
async function* suggestOptionAsync(optionNames$1, valueParser, hidden, description, context, prefix) {
|
|
336
337
|
if (hidden) return;
|
|
337
338
|
const equalsIndex = prefix.indexOf("=");
|
|
338
339
|
if (equalsIndex >= 0) {
|
|
@@ -360,7 +361,8 @@ async function* suggestOptionAsync(optionNames$1, valueParser, hidden, context,
|
|
|
360
361
|
if (prefix === "-" && optionName$1.length !== 2) continue;
|
|
361
362
|
yield {
|
|
362
363
|
kind: "literal",
|
|
363
|
-
text: optionName$1
|
|
364
|
+
text: optionName$1,
|
|
365
|
+
...description && { description }
|
|
364
366
|
};
|
|
365
367
|
}
|
|
366
368
|
}
|
|
@@ -629,8 +631,8 @@ function option(...args) {
|
|
|
629
631
|
return require_mode_dispatch.dispatchByMode(mode, completeSync, completeAsync);
|
|
630
632
|
},
|
|
631
633
|
suggest(context, prefix) {
|
|
632
|
-
if (isAsync) return suggestOptionAsync(optionNames$1, valueParser, require_usage.isSuggestionHidden(options.hidden), context, prefix);
|
|
633
|
-
return suggestOptionSync(optionNames$1, valueParser, require_usage.isSuggestionHidden(options.hidden), context, prefix);
|
|
634
|
+
if (isAsync) return suggestOptionAsync(optionNames$1, valueParser, require_usage.isSuggestionHidden(options.hidden), options.description, context, prefix);
|
|
635
|
+
return suggestOptionSync(optionNames$1, valueParser, require_usage.isSuggestionHidden(options.hidden), options.description, context, prefix);
|
|
634
636
|
},
|
|
635
637
|
getDocFragments(_state, defaultValue) {
|
|
636
638
|
if (require_usage.isDocHidden(options.hidden)) return {
|
|
@@ -911,7 +913,8 @@ function flag(...args) {
|
|
|
911
913
|
if (prefix === "-" && optionName$1.length !== 2) continue;
|
|
912
914
|
suggestions.push({
|
|
913
915
|
kind: "literal",
|
|
914
|
-
text: optionName$1
|
|
916
|
+
text: optionName$1,
|
|
917
|
+
...options.description && { description: options.description }
|
|
915
918
|
});
|
|
916
919
|
}
|
|
917
920
|
}
|
|
@@ -1428,10 +1431,11 @@ function* suggestCommandSync(context, prefix, name, aliases, parser, options) {
|
|
|
1428
1431
|
if (require_usage.isSuggestionHidden(options.hidden)) return;
|
|
1429
1432
|
const state = normalizeCommandState(context.state);
|
|
1430
1433
|
if (state === void 0) {
|
|
1434
|
+
const description = options.brief ?? options.description;
|
|
1431
1435
|
for (const commandName of [name, ...aliases]) if (commandName.startsWith(prefix)) yield {
|
|
1432
1436
|
kind: "literal",
|
|
1433
1437
|
text: commandName,
|
|
1434
|
-
...
|
|
1438
|
+
...description && { description }
|
|
1435
1439
|
};
|
|
1436
1440
|
} else if (state[0] === "matched") yield* parser.suggest(require_execution_context.withChildContext(context, name, getCommandChildState(context.state, parser.initialState, parser), parser.usage), prefix);
|
|
1437
1441
|
else if (state[0] === "parsing") yield* parser.suggest(require_execution_context.withChildContext(context, name, getCommandChildState(context.state, state[1], parser), parser.usage), prefix);
|
|
@@ -1440,10 +1444,11 @@ async function* suggestCommandAsync(context, prefix, name, aliases, parser, opti
|
|
|
1440
1444
|
if (require_usage.isSuggestionHidden(options.hidden)) return;
|
|
1441
1445
|
const state = normalizeCommandState(context.state);
|
|
1442
1446
|
if (state === void 0) {
|
|
1447
|
+
const description = options.brief ?? options.description;
|
|
1443
1448
|
for (const commandName of [name, ...aliases]) if (commandName.startsWith(prefix)) yield {
|
|
1444
1449
|
kind: "literal",
|
|
1445
1450
|
text: commandName,
|
|
1446
|
-
...
|
|
1451
|
+
...description && { description }
|
|
1447
1452
|
};
|
|
1448
1453
|
} else if (state[0] === "matched") {
|
|
1449
1454
|
const suggestions = parser.suggest(require_execution_context.withChildContext(context, name, getCommandChildState(context.state, parser.initialState, parser), parser.usage), prefix);
|
package/dist/primitives.js
CHANGED
|
@@ -248,7 +248,7 @@ function* getSuggestionsWithDependency(valueParser, prefix, dependencyRegistry,
|
|
|
248
248
|
* Internal sync helper for option suggest functionality.
|
|
249
249
|
* @internal
|
|
250
250
|
*/
|
|
251
|
-
function* suggestOptionSync(optionNames$1, valueParser, hidden, context, prefix) {
|
|
251
|
+
function* suggestOptionSync(optionNames$1, valueParser, hidden, description, context, prefix) {
|
|
252
252
|
if (hidden) return;
|
|
253
253
|
const equalsIndex = prefix.indexOf("=");
|
|
254
254
|
if (equalsIndex >= 0) {
|
|
@@ -276,7 +276,8 @@ function* suggestOptionSync(optionNames$1, valueParser, hidden, context, prefix)
|
|
|
276
276
|
if (prefix === "-" && optionName$1.length !== 2) continue;
|
|
277
277
|
yield {
|
|
278
278
|
kind: "literal",
|
|
279
|
-
text: optionName$1
|
|
279
|
+
text: optionName$1,
|
|
280
|
+
...description && { description }
|
|
280
281
|
};
|
|
281
282
|
}
|
|
282
283
|
}
|
|
@@ -332,7 +333,7 @@ async function* getSuggestionsWithDependencyAsync(valueParser, prefix, dependenc
|
|
|
332
333
|
* Internal async helper for option suggest functionality.
|
|
333
334
|
* @internal
|
|
334
335
|
*/
|
|
335
|
-
async function* suggestOptionAsync(optionNames$1, valueParser, hidden, context, prefix) {
|
|
336
|
+
async function* suggestOptionAsync(optionNames$1, valueParser, hidden, description, context, prefix) {
|
|
336
337
|
if (hidden) return;
|
|
337
338
|
const equalsIndex = prefix.indexOf("=");
|
|
338
339
|
if (equalsIndex >= 0) {
|
|
@@ -360,7 +361,8 @@ async function* suggestOptionAsync(optionNames$1, valueParser, hidden, context,
|
|
|
360
361
|
if (prefix === "-" && optionName$1.length !== 2) continue;
|
|
361
362
|
yield {
|
|
362
363
|
kind: "literal",
|
|
363
|
-
text: optionName$1
|
|
364
|
+
text: optionName$1,
|
|
365
|
+
...description && { description }
|
|
364
366
|
};
|
|
365
367
|
}
|
|
366
368
|
}
|
|
@@ -629,8 +631,8 @@ function option(...args) {
|
|
|
629
631
|
return dispatchByMode(mode, completeSync, completeAsync);
|
|
630
632
|
},
|
|
631
633
|
suggest(context, prefix) {
|
|
632
|
-
if (isAsync) return suggestOptionAsync(optionNames$1, valueParser, isSuggestionHidden(options.hidden), context, prefix);
|
|
633
|
-
return suggestOptionSync(optionNames$1, valueParser, isSuggestionHidden(options.hidden), context, prefix);
|
|
634
|
+
if (isAsync) return suggestOptionAsync(optionNames$1, valueParser, isSuggestionHidden(options.hidden), options.description, context, prefix);
|
|
635
|
+
return suggestOptionSync(optionNames$1, valueParser, isSuggestionHidden(options.hidden), options.description, context, prefix);
|
|
634
636
|
},
|
|
635
637
|
getDocFragments(_state, defaultValue) {
|
|
636
638
|
if (isDocHidden(options.hidden)) return {
|
|
@@ -911,7 +913,8 @@ function flag(...args) {
|
|
|
911
913
|
if (prefix === "-" && optionName$1.length !== 2) continue;
|
|
912
914
|
suggestions.push({
|
|
913
915
|
kind: "literal",
|
|
914
|
-
text: optionName$1
|
|
916
|
+
text: optionName$1,
|
|
917
|
+
...options.description && { description: options.description }
|
|
915
918
|
});
|
|
916
919
|
}
|
|
917
920
|
}
|
|
@@ -1428,10 +1431,11 @@ function* suggestCommandSync(context, prefix, name, aliases, parser, options) {
|
|
|
1428
1431
|
if (isSuggestionHidden(options.hidden)) return;
|
|
1429
1432
|
const state = normalizeCommandState(context.state);
|
|
1430
1433
|
if (state === void 0) {
|
|
1434
|
+
const description = options.brief ?? options.description;
|
|
1431
1435
|
for (const commandName of [name, ...aliases]) if (commandName.startsWith(prefix)) yield {
|
|
1432
1436
|
kind: "literal",
|
|
1433
1437
|
text: commandName,
|
|
1434
|
-
...
|
|
1438
|
+
...description && { description }
|
|
1435
1439
|
};
|
|
1436
1440
|
} else if (state[0] === "matched") yield* parser.suggest(withChildContext(context, name, getCommandChildState(context.state, parser.initialState, parser), parser.usage), prefix);
|
|
1437
1441
|
else if (state[0] === "parsing") yield* parser.suggest(withChildContext(context, name, getCommandChildState(context.state, state[1], parser), parser.usage), prefix);
|
|
@@ -1440,10 +1444,11 @@ async function* suggestCommandAsync(context, prefix, name, aliases, parser, opti
|
|
|
1440
1444
|
if (isSuggestionHidden(options.hidden)) return;
|
|
1441
1445
|
const state = normalizeCommandState(context.state);
|
|
1442
1446
|
if (state === void 0) {
|
|
1447
|
+
const description = options.brief ?? options.description;
|
|
1443
1448
|
for (const commandName of [name, ...aliases]) if (commandName.startsWith(prefix)) yield {
|
|
1444
1449
|
kind: "literal",
|
|
1445
1450
|
text: commandName,
|
|
1446
|
-
...
|
|
1451
|
+
...description && { description }
|
|
1447
1452
|
};
|
|
1448
1453
|
} else if (state[0] === "matched") {
|
|
1449
1454
|
const suggestions = parser.suggest(withChildContext(context, name, getCommandChildState(context.state, parser.initialState, parser), parser.usage), prefix);
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@optique/core",
|
|
3
|
-
"version": "1.2.
|
|
3
|
+
"version": "1.2.2",
|
|
4
4
|
"description": "Type-safe combinatorial command-line interface parser",
|
|
5
5
|
"keywords": [
|
|
6
6
|
"CLI",
|
|
@@ -225,7 +225,7 @@
|
|
|
225
225
|
"fast-check": "^4.7.0",
|
|
226
226
|
"tsdown": "^0.13.0",
|
|
227
227
|
"typescript": "^5.8.3",
|
|
228
|
-
"@optique/env": "1.2.
|
|
228
|
+
"@optique/env": "1.2.2"
|
|
229
229
|
},
|
|
230
230
|
"scripts": {
|
|
231
231
|
"build": "tsdown",
|