interaqt 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/README.md +53 -0
- package/dist/index.d.ts +4 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +4 -0
- package/dist/index.js.map +1 -0
- package/dist/runtime/ActivityCall.d.ts +68 -0
- package/dist/runtime/ActivityCall.d.ts.map +1 -0
- package/dist/runtime/ActivityCall.js +379 -0
- package/dist/runtime/ActivityCall.js.map +1 -0
- package/dist/runtime/Controller.d.ts +60 -0
- package/dist/runtime/Controller.d.ts.map +1 -0
- package/dist/runtime/Controller.js +225 -0
- package/dist/runtime/Controller.js.map +1 -0
- package/dist/runtime/InteractionCall.d.ts +102 -0
- package/dist/runtime/InteractionCall.d.ts.map +1 -0
- package/dist/runtime/InteractionCall.js +385 -0
- package/dist/runtime/InteractionCall.js.map +1 -0
- package/dist/runtime/MonoSystem.d.ts +26 -0
- package/dist/runtime/MonoSystem.d.ts.map +1 -0
- package/dist/runtime/MonoSystem.js +331 -0
- package/dist/runtime/MonoSystem.js.map +1 -0
- package/dist/runtime/Mysql.d.ts +35 -0
- package/dist/runtime/Mysql.d.ts.map +1 -0
- package/dist/runtime/Mysql.js +171 -0
- package/dist/runtime/Mysql.js.map +1 -0
- package/dist/runtime/PostgreSQL.d.ts +36 -0
- package/dist/runtime/PostgreSQL.d.ts.map +1 -0
- package/dist/runtime/PostgreSQL.js +172 -0
- package/dist/runtime/PostgreSQL.js.map +1 -0
- package/dist/runtime/SQLite.d.ts +34 -0
- package/dist/runtime/SQLite.d.ts.map +1 -0
- package/dist/runtime/SQLite.js +146 -0
- package/dist/runtime/SQLite.js.map +1 -0
- package/dist/runtime/Scheduler.d.ts +81 -0
- package/dist/runtime/Scheduler.d.ts.map +1 -0
- package/dist/runtime/Scheduler.js +457 -0
- package/dist/runtime/Scheduler.js.map +1 -0
- package/dist/runtime/System.d.ts +312 -0
- package/dist/runtime/System.d.ts.map +1 -0
- package/dist/runtime/System.js +90 -0
- package/dist/runtime/System.js.map +1 -0
- package/dist/runtime/asyncInteractionContext.d.ts +3 -0
- package/dist/runtime/asyncInteractionContext.d.ts.map +1 -0
- package/dist/runtime/asyncInteractionContext.js +3 -0
- package/dist/runtime/asyncInteractionContext.js.map +1 -0
- package/dist/runtime/boolExpression.d.ts +23 -0
- package/dist/runtime/boolExpression.d.ts.map +1 -0
- package/dist/runtime/boolExpression.js +43 -0
- package/dist/runtime/boolExpression.js.map +1 -0
- package/dist/runtime/computedDataHandles/Any.d.ts +52 -0
- package/dist/runtime/computedDataHandles/Any.d.ts.map +1 -0
- package/dist/runtime/computedDataHandles/Any.js +152 -0
- package/dist/runtime/computedDataHandles/Any.js.map +1 -0
- package/dist/runtime/computedDataHandles/Computation.d.ts +108 -0
- package/dist/runtime/computedDataHandles/Computation.d.ts.map +1 -0
- package/dist/runtime/computedDataHandles/Computation.js +49 -0
- package/dist/runtime/computedDataHandles/Computation.js.map +1 -0
- package/dist/runtime/computedDataHandles/ComputedDataHandle.d.ts +42 -0
- package/dist/runtime/computedDataHandles/ComputedDataHandle.d.ts.map +1 -0
- package/dist/runtime/computedDataHandles/ComputedDataHandle.js +4 -0
- package/dist/runtime/computedDataHandles/ComputedDataHandle.js.map +1 -0
- package/dist/runtime/computedDataHandles/Count.d.ts +45 -0
- package/dist/runtime/computedDataHandles/Count.d.ts.map +1 -0
- package/dist/runtime/computedDataHandles/Count.js +85 -0
- package/dist/runtime/computedDataHandles/Count.js.map +1 -0
- package/dist/runtime/computedDataHandles/Every.d.ts +56 -0
- package/dist/runtime/computedDataHandles/Every.d.ts.map +1 -0
- package/dist/runtime/computedDataHandles/Every.js +178 -0
- package/dist/runtime/computedDataHandles/Every.js.map +1 -0
- package/dist/runtime/computedDataHandles/StateMachine.d.ts +74 -0
- package/dist/runtime/computedDataHandles/StateMachine.d.ts.map +1 -0
- package/dist/runtime/computedDataHandles/StateMachine.js +180 -0
- package/dist/runtime/computedDataHandles/StateMachine.js.map +1 -0
- package/dist/runtime/computedDataHandles/Transform.d.ts +26 -0
- package/dist/runtime/computedDataHandles/Transform.d.ts.map +1 -0
- package/dist/runtime/computedDataHandles/Transform.js +106 -0
- package/dist/runtime/computedDataHandles/Transform.js.map +1 -0
- package/dist/runtime/computedDataHandles/TransitionFinder.d.ts +57 -0
- package/dist/runtime/computedDataHandles/TransitionFinder.d.ts.map +1 -0
- package/dist/runtime/computedDataHandles/TransitionFinder.js +40 -0
- package/dist/runtime/computedDataHandles/TransitionFinder.js.map +1 -0
- package/dist/runtime/computedDataHandles/WeightedSummation.d.ts +57 -0
- package/dist/runtime/computedDataHandles/WeightedSummation.d.ts.map +1 -0
- package/dist/runtime/computedDataHandles/WeightedSummation.js +146 -0
- package/dist/runtime/computedDataHandles/WeightedSummation.js.map +1 -0
- package/dist/runtime/computedDataHandles/index.d.ts +7 -0
- package/dist/runtime/computedDataHandles/index.d.ts.map +1 -0
- package/dist/runtime/computedDataHandles/index.js +7 -0
- package/dist/runtime/computedDataHandles/index.js.map +1 -0
- package/dist/runtime/index.d.ts +15 -0
- package/dist/runtime/index.d.ts.map +1 -0
- package/dist/runtime/index.js +15 -0
- package/dist/runtime/index.js.map +1 -0
- package/dist/runtime/server.d.ts +35 -0
- package/dist/runtime/server.d.ts.map +1 -0
- package/dist/runtime/server.js +171 -0
- package/dist/runtime/server.js.map +1 -0
- package/dist/runtime/types/boolExpression.d.ts +22 -0
- package/dist/runtime/types/boolExpression.d.ts.map +1 -0
- package/dist/runtime/types/boolExpression.js +6 -0
- package/dist/runtime/types/boolExpression.js.map +1 -0
- package/dist/runtime/util.d.ts +10 -0
- package/dist/runtime/util.d.ts.map +1 -0
- package/dist/runtime/util.js +39 -0
- package/dist/runtime/util.js.map +1 -0
- package/dist/shared/BoolExp.d.ts +97 -0
- package/dist/shared/BoolExp.d.ts.map +1 -0
- package/dist/shared/BoolExp.js +252 -0
- package/dist/shared/BoolExp.js.map +1 -0
- package/dist/shared/activity/Activity.d.ts +465 -0
- package/dist/shared/activity/Activity.d.ts.map +1 -0
- package/dist/shared/activity/Activity.js +264 -0
- package/dist/shared/activity/Activity.js.map +1 -0
- package/dist/shared/activity/Condition.d.ts +75 -0
- package/dist/shared/activity/Condition.d.ts.map +1 -0
- package/dist/shared/activity/Condition.js +51 -0
- package/dist/shared/activity/Condition.js.map +1 -0
- package/dist/shared/activity/Data.d.ts +115 -0
- package/dist/shared/activity/Data.d.ts.map +1 -0
- package/dist/shared/activity/Data.js +89 -0
- package/dist/shared/activity/Data.js.map +1 -0
- package/dist/shared/attributive.d.ts +93 -0
- package/dist/shared/attributive.d.ts.map +1 -0
- package/dist/shared/attributive.js +59 -0
- package/dist/shared/attributive.js.map +1 -0
- package/dist/shared/computed.d.ts +607 -0
- package/dist/shared/computed.d.ts.map +1 -0
- package/dist/shared/computed.js +202 -0
- package/dist/shared/computed.js.map +1 -0
- package/dist/shared/createClass.d.ts +102 -0
- package/dist/shared/createClass.d.ts.map +1 -0
- package/dist/shared/createClass.js +276 -0
- package/dist/shared/createClass.js.map +1 -0
- package/dist/shared/dictionary/Dictionary.d.ts +40 -0
- package/dist/shared/dictionary/Dictionary.d.ts.map +1 -0
- package/dist/shared/dictionary/Dictionary.js +51 -0
- package/dist/shared/dictionary/Dictionary.js.map +1 -0
- package/dist/shared/entity/Entity.d.ts +149 -0
- package/dist/shared/entity/Entity.d.ts.map +1 -0
- package/dist/shared/entity/Entity.js +226 -0
- package/dist/shared/entity/Entity.js.map +1 -0
- package/dist/shared/index.d.ts +11 -0
- package/dist/shared/index.d.ts.map +1 -0
- package/dist/shared/index.js +11 -0
- package/dist/shared/index.js.map +1 -0
- package/dist/shared/user/User.d.ts +21 -0
- package/dist/shared/user/User.d.ts.map +1 -0
- package/dist/shared/user/User.js +11 -0
- package/dist/shared/user/User.js.map +1 -0
- package/dist/shared/utils.d.ts +11 -0
- package/dist/shared/utils.d.ts.map +1 -0
- package/dist/shared/utils.js +19 -0
- package/dist/shared/utils.js.map +1 -0
- package/dist/storage/erstorage/AttributeInfo.d.ts +40 -0
- package/dist/storage/erstorage/AttributeInfo.d.ts.map +1 -0
- package/dist/storage/erstorage/AttributeInfo.js +147 -0
- package/dist/storage/erstorage/AttributeInfo.js.map +1 -0
- package/dist/storage/erstorage/AttributeQuery.d.ts +33 -0
- package/dist/storage/erstorage/AttributeQuery.d.ts.map +1 -0
- package/dist/storage/erstorage/AttributeQuery.js +190 -0
- package/dist/storage/erstorage/AttributeQuery.js.map +1 -0
- package/dist/storage/erstorage/EntityQueryHandle.d.ts +29 -0
- package/dist/storage/erstorage/EntityQueryHandle.d.ts.map +1 -0
- package/dist/storage/erstorage/EntityQueryHandle.js +78 -0
- package/dist/storage/erstorage/EntityQueryHandle.js.map +1 -0
- package/dist/storage/erstorage/EntityToTableMap.d.ts +85 -0
- package/dist/storage/erstorage/EntityToTableMap.d.ts.map +1 -0
- package/dist/storage/erstorage/EntityToTableMap.js +262 -0
- package/dist/storage/erstorage/EntityToTableMap.js.map +1 -0
- package/dist/storage/erstorage/LinkInfo.d.ts +35 -0
- package/dist/storage/erstorage/LinkInfo.d.ts.map +1 -0
- package/dist/storage/erstorage/LinkInfo.js +89 -0
- package/dist/storage/erstorage/LinkInfo.js.map +1 -0
- package/dist/storage/erstorage/MatchExp.d.ts +37 -0
- package/dist/storage/erstorage/MatchExp.d.ts.map +1 -0
- package/dist/storage/erstorage/MatchExp.js +211 -0
- package/dist/storage/erstorage/MatchExp.js.map +1 -0
- package/dist/storage/erstorage/Modifier.d.ts +23 -0
- package/dist/storage/erstorage/Modifier.d.ts.map +1 -0
- package/dist/storage/erstorage/Modifier.js +24 -0
- package/dist/storage/erstorage/Modifier.js.map +1 -0
- package/dist/storage/erstorage/NewRecordData.d.ts +42 -0
- package/dist/storage/erstorage/NewRecordData.d.ts.map +1 -0
- package/dist/storage/erstorage/NewRecordData.js +178 -0
- package/dist/storage/erstorage/NewRecordData.js.map +1 -0
- package/dist/storage/erstorage/RecordInfo.d.ts +26 -0
- package/dist/storage/erstorage/RecordInfo.d.ts.map +1 -0
- package/dist/storage/erstorage/RecordInfo.js +111 -0
- package/dist/storage/erstorage/RecordInfo.js.map +1 -0
- package/dist/storage/erstorage/RecordQuery.d.ts +73 -0
- package/dist/storage/erstorage/RecordQuery.d.ts.map +1 -0
- package/dist/storage/erstorage/RecordQuery.js +158 -0
- package/dist/storage/erstorage/RecordQuery.js.map +1 -0
- package/dist/storage/erstorage/RecordQueryAgent.d.ts +84 -0
- package/dist/storage/erstorage/RecordQueryAgent.d.ts.map +1 -0
- package/dist/storage/erstorage/RecordQueryAgent.js +1130 -0
- package/dist/storage/erstorage/RecordQueryAgent.js.map +1 -0
- package/dist/storage/erstorage/Setup.d.ts +49 -0
- package/dist/storage/erstorage/Setup.d.ts.map +1 -0
- package/dist/storage/erstorage/Setup.js +400 -0
- package/dist/storage/erstorage/Setup.js.map +1 -0
- package/dist/storage/erstorage/util.d.ts +6 -0
- package/dist/storage/erstorage/util.d.ts.map +1 -0
- package/dist/storage/erstorage/util.js +25 -0
- package/dist/storage/erstorage/util.js.map +1 -0
- package/dist/storage/index.d.ts +13 -0
- package/dist/storage/index.d.ts.map +1 -0
- package/dist/storage/index.js +13 -0
- package/dist/storage/index.js.map +1 -0
- package/dist/storage/utils.d.ts +10 -0
- package/dist/storage/utils.d.ts.map +1 -0
- package/dist/storage/utils.js +48 -0
- package/dist/storage/utils.js.map +1 -0
- package/package.json +59 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"boolExpression.js","sourceRoot":"","sources":["../../../src/runtime/types/boolExpression.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,aAAa,GAAG;IACzB,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,GAAG;CACX,CAAA"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
export declare function assert(condition: any, message: string): void;
|
|
2
|
+
export declare function filterMap(map: Map<any, any>, handle: (key: any, value: any) => boolean): Map<any, boolean>;
|
|
3
|
+
export declare function indexBy(arr: any[], key: string): any;
|
|
4
|
+
export declare function mapObject(a: object, fn: (k: string, v: any) => any): {
|
|
5
|
+
[k: string]: any;
|
|
6
|
+
};
|
|
7
|
+
export declare function everyAsync<T>(items: T[], check: (arg: T) => Promise<boolean>): Promise<boolean>;
|
|
8
|
+
export declare function someAsync(arr: any[], handle: (t: any) => Promise<boolean>): Promise<boolean>;
|
|
9
|
+
export declare function everyWithErrorAsync<T, U>(items: T[], check: (arg: T) => Promise<true | U>): Promise<true | U>;
|
|
10
|
+
//# sourceMappingURL=util.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"util.d.ts","sourceRoot":"","sources":["../../src/runtime/util.ts"],"names":[],"mappings":"AAAA,wBAAgB,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,QAKrD;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,KAAK,OAAO,qBAEtF;AAGD,wBAAgB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,MAAM,OAE9C;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,KAAK,GAAG;;EAElE;AAED,wBAAsB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAC,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,oBAMjF;AAED,wBAAsB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,EAAC,GAAG,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAKjG;AAED,wBAAsB,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAC,CAAC,KAAK,OAAO,CAAC,IAAI,GAAC,CAAC,CAAC,GAAI,OAAO,CAAC,IAAI,GAAC,CAAC,CAAC,CAM/G"}
|
|
@@ -0,0 +1,39 @@
|
|
|
1
|
+
export function assert(condition, message) {
|
|
2
|
+
if (!condition) {
|
|
3
|
+
// if (__DEV__) debugger
|
|
4
|
+
throw new Error(message);
|
|
5
|
+
}
|
|
6
|
+
}
|
|
7
|
+
export function filterMap(map, handle) {
|
|
8
|
+
return new Map(Array.from(map.entries()).map(([key, value]) => [key, handle(key, value)]));
|
|
9
|
+
}
|
|
10
|
+
export function indexBy(arr, key) {
|
|
11
|
+
return Object.fromEntries(arr.map(o => [o[key], o]));
|
|
12
|
+
}
|
|
13
|
+
export function mapObject(a, fn) {
|
|
14
|
+
return Object.fromEntries(Object.entries(a).map(([k, v]) => [k, fn(k, v)]));
|
|
15
|
+
}
|
|
16
|
+
export async function everyAsync(items, check) {
|
|
17
|
+
for (let item of items) {
|
|
18
|
+
const result = await check(item);
|
|
19
|
+
if (!result)
|
|
20
|
+
return false;
|
|
21
|
+
}
|
|
22
|
+
return true;
|
|
23
|
+
}
|
|
24
|
+
export async function someAsync(arr, handle) {
|
|
25
|
+
for (let i of arr) {
|
|
26
|
+
if (await handle(i))
|
|
27
|
+
return true;
|
|
28
|
+
}
|
|
29
|
+
return false;
|
|
30
|
+
}
|
|
31
|
+
export async function everyWithErrorAsync(items, check) {
|
|
32
|
+
for (let item of items) {
|
|
33
|
+
const result = await check(item);
|
|
34
|
+
if (result !== true)
|
|
35
|
+
return result;
|
|
36
|
+
}
|
|
37
|
+
return true;
|
|
38
|
+
}
|
|
39
|
+
//# sourceMappingURL=util.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"util.js","sourceRoot":"","sources":["../../src/runtime/util.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,MAAM,CAAC,SAAc,EAAE,OAAe;IAClD,IAAI,CAAC,SAAS,EAAE,CAAC;QACb,wBAAwB;QACxB,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAA;IAC5B,CAAC;AACL,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAkB,EAAE,MAAyC;IACnF,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AAC9F,CAAC;AAGD,MAAM,UAAU,OAAO,CAAC,GAAU,EAAE,GAAW;IAC3C,OAAO,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAS,EAAE,EAA8B;IAC/D,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAI,KAAU,EAAE,KAAkC;IAC9E,KAAI,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAA;IAC7B,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAU,EAAE,MAAmC;IAC3E,KAAI,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACf,IAAI,MAAM,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAA;IACpC,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAO,KAAU,EAAE,KAAiC;IACzF,KAAI,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,MAAM,KAAI,IAAI;YAAE,OAAO,MAAM,CAAA;IACrC,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC"}
|
|
@@ -0,0 +1,97 @@
|
|
|
1
|
+
import { Klass, KlassInstance, KlassInstancePrimitiveProps, KlassMeta } from "./createClass.js";
|
|
2
|
+
type AtomData<T> = {
|
|
3
|
+
type: 'atom';
|
|
4
|
+
data: T;
|
|
5
|
+
};
|
|
6
|
+
export type BoolExpressionRawData<T> = {
|
|
7
|
+
type: 'expression';
|
|
8
|
+
operator: 'and' | 'not' | 'or';
|
|
9
|
+
left: ExpressionData<T>;
|
|
10
|
+
right?: ExpressionData<T>;
|
|
11
|
+
};
|
|
12
|
+
export type EvaluateError = {
|
|
13
|
+
data: any;
|
|
14
|
+
stack: any[];
|
|
15
|
+
error: any;
|
|
16
|
+
inverse: boolean;
|
|
17
|
+
};
|
|
18
|
+
export type ExpressionData<T> = BoolExpressionRawData<T> | AtomData<T>;
|
|
19
|
+
export type AtomHandle<T> = (arg: T) => boolean | Promise<boolean>;
|
|
20
|
+
export declare class BoolExp<T> {
|
|
21
|
+
raw: ExpressionData<T>;
|
|
22
|
+
static atom<U>(data: U): BoolExp<U>;
|
|
23
|
+
static and<U>(...atomValues: U[]): BoolExp<U>;
|
|
24
|
+
static or<U>(...atomValues: U[]): BoolExp<U>;
|
|
25
|
+
constructor(raw: ExpressionData<T>);
|
|
26
|
+
isAtom(): boolean;
|
|
27
|
+
get left(): BoolExp<T>;
|
|
28
|
+
get right(): BoolExp<T> | undefined;
|
|
29
|
+
get data(): T;
|
|
30
|
+
toValue(): AtomData<T>;
|
|
31
|
+
static fromValue<T>(value: ExpressionData<T>): BoolExp<T>;
|
|
32
|
+
isExpression(): boolean;
|
|
33
|
+
and(atomValueOrExp: any): BoolExp<T>;
|
|
34
|
+
isAnd(): boolean;
|
|
35
|
+
isOr(): boolean;
|
|
36
|
+
isNot(): boolean;
|
|
37
|
+
or(atomValueOrExp: any): BoolExp<T>;
|
|
38
|
+
not(): BoolExp<T>;
|
|
39
|
+
map<U>(fn: MapFn<T, U>, context?: string[]): BoolExp<U>;
|
|
40
|
+
find(matchFn: (atom: T, context: string[]) => boolean, context: any[]): T | undefined;
|
|
41
|
+
evaluate(atomHandle: AtomHandle<T>, stack?: any[], inverse?: boolean): true | EvaluateError;
|
|
42
|
+
evaluateAsync(atomHandle: AtomHandle<T>, stack?: any[], inverse?: boolean): Promise<true | EvaluateError>;
|
|
43
|
+
}
|
|
44
|
+
type MapFn<T, U> = (object: BoolExp<T>, context: string[]) => U | BoolExp<U>;
|
|
45
|
+
type ParseAtomNameToObjectType = (name: string) => any;
|
|
46
|
+
export declare function parse<T>(exp: string, options?: any[], parseAtomNameToObject?: ParseAtomNameToObjectType): BoolExp<T>;
|
|
47
|
+
type CommonAtomPublic = {
|
|
48
|
+
content: {
|
|
49
|
+
type: 'function';
|
|
50
|
+
required: true;
|
|
51
|
+
collection: false;
|
|
52
|
+
};
|
|
53
|
+
};
|
|
54
|
+
export type BoolAtomPublic = {
|
|
55
|
+
type: {
|
|
56
|
+
type: 'string';
|
|
57
|
+
required: true;
|
|
58
|
+
};
|
|
59
|
+
data: {
|
|
60
|
+
type: Klass<CommonAtomPublic>;
|
|
61
|
+
required: true;
|
|
62
|
+
};
|
|
63
|
+
};
|
|
64
|
+
export declare const BoolAtomData: Klass<BoolAtomPublic>;
|
|
65
|
+
export type UnwrappedBoolExpressionInstanceType<T extends NonNullable<KlassMeta["public"]>> = {
|
|
66
|
+
type: string;
|
|
67
|
+
operator: string;
|
|
68
|
+
left: UnwrappedBoolExpressionInstanceType<T> | KlassInstance<typeof BoolAtomData>;
|
|
69
|
+
right?: UnwrappedBoolExpressionInstanceType<T> | KlassInstance<typeof BoolAtomData>;
|
|
70
|
+
} & KlassInstancePrimitiveProps;
|
|
71
|
+
export declare const BoolExpressionData: Klass<{
|
|
72
|
+
type: {
|
|
73
|
+
type: "string";
|
|
74
|
+
required: true;
|
|
75
|
+
collection: false;
|
|
76
|
+
defaultValue: () => string;
|
|
77
|
+
};
|
|
78
|
+
operator: {
|
|
79
|
+
type: "string";
|
|
80
|
+
required: true;
|
|
81
|
+
collection: false;
|
|
82
|
+
options: string[];
|
|
83
|
+
defaultValue: () => string;
|
|
84
|
+
};
|
|
85
|
+
left: {
|
|
86
|
+
instanceType: (KlassInstance<Klass<BoolAtomPublic>> | UnwrappedBoolExpressionInstanceType<any>);
|
|
87
|
+
required: true;
|
|
88
|
+
collection: false;
|
|
89
|
+
};
|
|
90
|
+
right: {
|
|
91
|
+
instanceType: (KlassInstance<Klass<BoolAtomPublic>> | UnwrappedBoolExpressionInstanceType<any>);
|
|
92
|
+
required: false;
|
|
93
|
+
collection: false;
|
|
94
|
+
};
|
|
95
|
+
}>;
|
|
96
|
+
export {};
|
|
97
|
+
//# sourceMappingURL=BoolExp.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"BoolExp.d.ts","sourceRoot":"","sources":["../../src/shared/BoolExp.ts"],"names":[],"mappings":"AAEA,OAAO,EAAc,KAAK,EAAE,aAAa,EAAE,2BAA2B,EAAE,SAAS,EAAC,MAAM,kBAAkB,CAAC;AAE3G,KAAK,QAAQ,CAAC,CAAC,IAAI;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,CAAC,CAAA;CACV,CAAA;AAED,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI;IACnC,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,KAAK,GAAC,KAAK,GAAC,IAAI,CAAC;IAC3B,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;IACvB,KAAK,CAAC,EAAG,cAAc,CAAC,CAAC,CAAC,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IACxB,IAAI,EAAC,GAAG,CAAC;IACT,KAAK,EAAE,GAAG,EAAE,CAAC;IACb,KAAK,EAAE,GAAG,CAAC;IACX,OAAO,EAAE,OAAO,CAAA;CACnB,CAAA;AAED,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,qBAAqB,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;AAEtE,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,EAAC,CAAC,KAAK,OAAO,GAAC,OAAO,CAAC,OAAO,CAAC,CAAA;AAE/D,qBAAa,OAAO,CAAC,CAAC;IAcC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC;WAb3B,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;WAGf,GAAG,CAAC,CAAC,EAAE,GAAG,UAAU,EAAC,CAAC,EAAE;WAKxB,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAC,CAAC,EAAE;gBAKlB,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC;IAKzC,MAAM;IAGN,IAAI,IAAI,eAEP;IACD,IAAI,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,GAAC,SAAS,CAEhC;IACD,IAAI,IAAI,MAEP;IAED,OAAO,IACgB,QAAQ,CAAC,CAAC,CAAC;IAElC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,EAAG,cAAc,CAAC,CAAC,CAAC;IAG7C,YAAY;IAGZ,GAAG,CAAC,cAAc,EAAE,GAAG;IAYvB,KAAK;IAGL,IAAI;IAGJ,KAAK;IAGL,EAAE,CAAC,cAAc,EAAE,GAAG;IAStB,GAAG;IAOH,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAG,OAAO,GAAE,MAAM,EAAM,GAAG,OAAO,CAAC,CAAC,CAAC;IAe3D,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,EAAC,MAAM,EAAE,KAAK,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,GAAC,SAAS;IAgBlF,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,GAAE,GAAG,EAAO,EAAE,OAAO,GAAE,OAAe,GAAG,IAAI,GAAC,aAAa;IA+B9F,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,GAAE,GAAG,EAAO,EAAE,OAAO,GAAE,OAAe,GAAG,OAAO,CAAC,IAAI,GAAC,aAAa,CAAC;CA+B3H;AAGD,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAS5E,KAAK,yBAAyB,GAAG,CAAC,IAAI,EAAC,MAAM,KAAK,GAAG,CAAA;AAiCrD,wBAAgB,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,GAAE,GAAG,EAAO,EAAE,qBAAqB,GAAE,yBAAwC,cAMzH;AAED,KAAK,gBAAgB,GAAG;IACpB,OAAO,EAAE;QACL,IAAI,EAAE,UAAU,CAAC;QACjB,QAAQ,EAAE,IAAI,CAAC;QACf,UAAU,EAAE,KAAK,CAAA;KACpB,CAAA;CACJ,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IACzB,IAAI,EAAE;QACF,IAAI,EAAE,QAAQ,CAAC;QACf,QAAQ,EAAE,IAAI,CAAC;KAClB,CAAC;IACF,IAAI,EAAE;QACF,IAAI,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAC9B,QAAQ,EAAE,IAAI,CAAC;KAClB,CAAA;CACJ,CAAA;AAED,eAAO,MAAO,YAAY,EAAE,KAAK,CAAC,cAAc,CAgB9C,CAAA;AAIF,MAAM,MAAM,mCAAmC,CAAC,CAAC,SAAS,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAK;IAC3F,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,mCAAmC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,OAAO,YAAY,CAAC,CAAC;IAClF,KAAK,CAAC,EAAE,mCAAmC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,OAAO,YAAY,CAAC,CAAC;CACvF,GAAG,2BAA2B,CAAA;AAE/B,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;sBAiBY,CAAC,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,GAAG,mCAAmC,CAAC,GAAG,CAAC,CAAC;;;;;sBAKjF,CAAC,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,GAAG,mCAAmC,CAAC,GAAG,CAAC,CAAC;;;;EAK1H,CAAA"}
|
|
@@ -0,0 +1,252 @@
|
|
|
1
|
+
import { parse as parseStr } from 'acorn';
|
|
2
|
+
import { assert, indexBy } from "./utils.js";
|
|
3
|
+
import { createClass } from "./createClass.js";
|
|
4
|
+
export class BoolExp {
|
|
5
|
+
static atom(data) {
|
|
6
|
+
return new BoolExp({ type: 'atom', data });
|
|
7
|
+
}
|
|
8
|
+
static and(...atomValues) {
|
|
9
|
+
const atomValueWithoutUndefined = atomValues.filter(v => !!v);
|
|
10
|
+
const [first, ...rest] = atomValueWithoutUndefined;
|
|
11
|
+
return rest.reduce((acc, cur) => acc.and(cur), BoolExp.atom(first));
|
|
12
|
+
}
|
|
13
|
+
static or(...atomValues) {
|
|
14
|
+
const atomValueWithoutUndefined = atomValues.filter(v => !!v);
|
|
15
|
+
const [first, ...rest] = atomValueWithoutUndefined;
|
|
16
|
+
return rest.reduce((acc, cur) => acc.or(cur), BoolExp.atom(first));
|
|
17
|
+
}
|
|
18
|
+
constructor(raw) {
|
|
19
|
+
this.raw = raw;
|
|
20
|
+
if (!raw) {
|
|
21
|
+
debugger;
|
|
22
|
+
}
|
|
23
|
+
}
|
|
24
|
+
isAtom() {
|
|
25
|
+
return this.raw.type === 'atom';
|
|
26
|
+
}
|
|
27
|
+
get left() {
|
|
28
|
+
return new BoolExp(this.raw.left);
|
|
29
|
+
}
|
|
30
|
+
get right() {
|
|
31
|
+
return this.raw.right ? new BoolExp(this.raw.right) : undefined;
|
|
32
|
+
}
|
|
33
|
+
get data() {
|
|
34
|
+
return this.raw.data;
|
|
35
|
+
}
|
|
36
|
+
// 支持序列化和反序列化
|
|
37
|
+
toValue() {
|
|
38
|
+
return this.raw;
|
|
39
|
+
}
|
|
40
|
+
static fromValue(value) {
|
|
41
|
+
return new BoolExp(value);
|
|
42
|
+
}
|
|
43
|
+
isExpression() {
|
|
44
|
+
return this.raw.type === 'expression';
|
|
45
|
+
}
|
|
46
|
+
and(atomValueOrExp) {
|
|
47
|
+
return new BoolExp({
|
|
48
|
+
type: 'expression',
|
|
49
|
+
operator: 'and',
|
|
50
|
+
left: this.raw,
|
|
51
|
+
right: atomValueOrExp instanceof BoolExp ?
|
|
52
|
+
atomValueOrExp.raw :
|
|
53
|
+
(atomValueOrExp.type === 'atom' || atomValueOrExp.type === 'expression') ?
|
|
54
|
+
atomValueOrExp :
|
|
55
|
+
{ type: 'atom', data: atomValueOrExp }
|
|
56
|
+
});
|
|
57
|
+
}
|
|
58
|
+
isAnd() {
|
|
59
|
+
return this.raw.operator === 'and';
|
|
60
|
+
}
|
|
61
|
+
isOr() {
|
|
62
|
+
return this.raw.operator === 'or';
|
|
63
|
+
}
|
|
64
|
+
isNot() {
|
|
65
|
+
return this.raw.operator === 'not';
|
|
66
|
+
}
|
|
67
|
+
or(atomValueOrExp) {
|
|
68
|
+
return new BoolExp({
|
|
69
|
+
type: 'expression',
|
|
70
|
+
operator: 'or',
|
|
71
|
+
left: this.raw,
|
|
72
|
+
right: (atomValueOrExp instanceof BoolExp) ? atomValueOrExp.raw : { type: 'atom', data: atomValueOrExp }
|
|
73
|
+
});
|
|
74
|
+
}
|
|
75
|
+
// 取反
|
|
76
|
+
not() {
|
|
77
|
+
return new BoolExp({
|
|
78
|
+
type: 'expression',
|
|
79
|
+
operator: 'not',
|
|
80
|
+
left: this.raw,
|
|
81
|
+
});
|
|
82
|
+
}
|
|
83
|
+
map(fn, context = []) {
|
|
84
|
+
if (this.isExpression()) {
|
|
85
|
+
const newLeft = this.left.map(fn, ['left']);
|
|
86
|
+
if (this.isNot()) {
|
|
87
|
+
return newLeft.not();
|
|
88
|
+
}
|
|
89
|
+
else {
|
|
90
|
+
const newRight = this.right.map(fn, ['right']);
|
|
91
|
+
return this.isAnd() ? newLeft.and(newRight) : newLeft.or(newRight);
|
|
92
|
+
}
|
|
93
|
+
}
|
|
94
|
+
else {
|
|
95
|
+
const newAtomData = fn(this, context);
|
|
96
|
+
// 可以返回一个新的 expression
|
|
97
|
+
return newAtomData instanceof BoolExp ? newAtomData : BoolExp.atom(newAtomData);
|
|
98
|
+
}
|
|
99
|
+
}
|
|
100
|
+
find(matchFn, context) {
|
|
101
|
+
if (this.isAtom()) {
|
|
102
|
+
const matched = matchFn(this.data, context);
|
|
103
|
+
if (matched) {
|
|
104
|
+
return this.data;
|
|
105
|
+
}
|
|
106
|
+
}
|
|
107
|
+
else {
|
|
108
|
+
const leftMatched = this.left.find(matchFn, context.concat(this));
|
|
109
|
+
if (leftMatched) {
|
|
110
|
+
return leftMatched;
|
|
111
|
+
}
|
|
112
|
+
if (this.right) {
|
|
113
|
+
return this.right.find(matchFn, context.concat(this));
|
|
114
|
+
}
|
|
115
|
+
}
|
|
116
|
+
}
|
|
117
|
+
evaluate(atomHandle, stack = [], inverse = false) {
|
|
118
|
+
const currentStack = stack.concat(this.raw);
|
|
119
|
+
if (this.isAtom()) {
|
|
120
|
+
const data = this.raw.data;
|
|
121
|
+
const result = atomHandle(data);
|
|
122
|
+
const error = { data, inverse, stack, error: 'atom evaluate error' };
|
|
123
|
+
return (result && !inverse || !result && inverse) ? true : error;
|
|
124
|
+
}
|
|
125
|
+
if (this.isOr()) {
|
|
126
|
+
const leftResult = this.left.evaluate(atomHandle, currentStack);
|
|
127
|
+
if (leftResult === true)
|
|
128
|
+
return true;
|
|
129
|
+
return this.right.evaluate(atomHandle, currentStack);
|
|
130
|
+
}
|
|
131
|
+
if (this.isAnd()) {
|
|
132
|
+
const leftResult = this.left.evaluate(atomHandle, currentStack);
|
|
133
|
+
if (leftResult !== true)
|
|
134
|
+
return leftResult;
|
|
135
|
+
return this.right.evaluate(atomHandle, currentStack);
|
|
136
|
+
}
|
|
137
|
+
if (this.isNot()) {
|
|
138
|
+
return this.left.evaluate(atomHandle, currentStack, !inverse);
|
|
139
|
+
}
|
|
140
|
+
assert(false, `invalid bool expression type: ${JSON.stringify(this.raw)}`);
|
|
141
|
+
return true;
|
|
142
|
+
}
|
|
143
|
+
async evaluateAsync(atomHandle, stack = [], inverse = false) {
|
|
144
|
+
const currentStack = stack.concat(this.raw);
|
|
145
|
+
if (this.isAtom()) {
|
|
146
|
+
const data = this.raw.data;
|
|
147
|
+
const result = await atomHandle(data);
|
|
148
|
+
const error = { data, inverse, stack, error: 'atom evaluate error' };
|
|
149
|
+
return (result && !inverse || !result && inverse) ? true : error;
|
|
150
|
+
}
|
|
151
|
+
if (this.isOr()) {
|
|
152
|
+
const leftResult = await this.left.evaluateAsync(atomHandle, currentStack);
|
|
153
|
+
if (leftResult === true)
|
|
154
|
+
return true;
|
|
155
|
+
return this.right.evaluateAsync(atomHandle, currentStack);
|
|
156
|
+
}
|
|
157
|
+
if (this.isAnd()) {
|
|
158
|
+
const leftResult = await this.left.evaluateAsync(atomHandle, currentStack);
|
|
159
|
+
if (leftResult !== true)
|
|
160
|
+
return leftResult;
|
|
161
|
+
return this.right.evaluateAsync(atomHandle, currentStack);
|
|
162
|
+
}
|
|
163
|
+
if (this.isNot()) {
|
|
164
|
+
return this.left.evaluateAsync(atomHandle, currentStack, !inverse);
|
|
165
|
+
}
|
|
166
|
+
assert(false, `invalid bool expression type: ${JSON.stringify(this.raw)}`);
|
|
167
|
+
return true;
|
|
168
|
+
}
|
|
169
|
+
}
|
|
170
|
+
const OperatorNames = {
|
|
171
|
+
'&&': 'and',
|
|
172
|
+
'||': 'or',
|
|
173
|
+
'!': 'not'
|
|
174
|
+
};
|
|
175
|
+
function defaultParse(key) {
|
|
176
|
+
return { key };
|
|
177
|
+
}
|
|
178
|
+
function astNodeToBoolExpressionNode(astNode, optionsByName, parseAtomNameToObject) {
|
|
179
|
+
if (astNode.type === "LogicalExpression") {
|
|
180
|
+
return {
|
|
181
|
+
type: 'expression',
|
|
182
|
+
operator: OperatorNames[astNode.operator],
|
|
183
|
+
left: astNodeToBoolExpressionNode(astNode.left, optionsByName, parseAtomNameToObject),
|
|
184
|
+
right: astNodeToBoolExpressionNode(astNode.right, optionsByName, parseAtomNameToObject)
|
|
185
|
+
};
|
|
186
|
+
}
|
|
187
|
+
if (astNode.type === "Identifier") {
|
|
188
|
+
return {
|
|
189
|
+
type: 'atom',
|
|
190
|
+
data: parseAtomNameToObject(astNode.name)
|
|
191
|
+
};
|
|
192
|
+
}
|
|
193
|
+
if (astNode.type === "UnaryExpression") {
|
|
194
|
+
return {
|
|
195
|
+
type: 'expression',
|
|
196
|
+
operator: 'not',
|
|
197
|
+
left: astNodeToBoolExpressionNode(astNode.argument, optionsByName, parseAtomNameToObject),
|
|
198
|
+
};
|
|
199
|
+
}
|
|
200
|
+
throw new Error('unknown ast node type');
|
|
201
|
+
}
|
|
202
|
+
export function parse(exp, options = [], parseAtomNameToObject = defaultParse) {
|
|
203
|
+
const optionsByName = indexBy(options, 'name');
|
|
204
|
+
const ast = parseStr(exp, { ecmaVersion: 2020 });
|
|
205
|
+
return new BoolExp(astNodeToBoolExpressionNode(ast.body[0].expression, optionsByName, parseAtomNameToObject));
|
|
206
|
+
}
|
|
207
|
+
export const BoolAtomData = createClass({
|
|
208
|
+
name: 'BoolAtomData',
|
|
209
|
+
public: {
|
|
210
|
+
type: {
|
|
211
|
+
type: 'string',
|
|
212
|
+
required: true,
|
|
213
|
+
collection: false,
|
|
214
|
+
defaultValue: () => 'atom'
|
|
215
|
+
},
|
|
216
|
+
data: {
|
|
217
|
+
type: {},
|
|
218
|
+
instanceType: {},
|
|
219
|
+
required: true,
|
|
220
|
+
collection: false,
|
|
221
|
+
}
|
|
222
|
+
}
|
|
223
|
+
});
|
|
224
|
+
export const BoolExpressionData = createClass({
|
|
225
|
+
name: 'BoolExpressionData',
|
|
226
|
+
public: {
|
|
227
|
+
type: {
|
|
228
|
+
type: 'string',
|
|
229
|
+
required: true,
|
|
230
|
+
collection: false,
|
|
231
|
+
defaultValue: () => 'expression'
|
|
232
|
+
},
|
|
233
|
+
operator: {
|
|
234
|
+
type: 'string',
|
|
235
|
+
required: true,
|
|
236
|
+
collection: false,
|
|
237
|
+
options: ['and', 'or', 'not'],
|
|
238
|
+
defaultValue: () => 'and'
|
|
239
|
+
},
|
|
240
|
+
left: {
|
|
241
|
+
instanceType: {},
|
|
242
|
+
required: true,
|
|
243
|
+
collection: false,
|
|
244
|
+
},
|
|
245
|
+
right: {
|
|
246
|
+
instanceType: {},
|
|
247
|
+
required: false,
|
|
248
|
+
collection: false,
|
|
249
|
+
}
|
|
250
|
+
}
|
|
251
|
+
});
|
|
252
|
+
//# sourceMappingURL=BoolExp.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"BoolExp.js","sourceRoot":"","sources":["../../src/shared/BoolExp.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkC,KAAK,IAAI,QAAQ,EAAC,MAAM,OAAO,CAAA;AACxE,OAAO,EAAC,MAAM,EAAE,OAAO,EAAC,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAC,WAAW,EAA+D,MAAM,kBAAkB,CAAC;AAyB3G,MAAM,OAAO,OAAO;IACT,MAAM,CAAC,IAAI,CAAI,IAAO;QACzB,OAAO,IAAI,OAAO,CAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;IACjD,CAAC;IACM,MAAM,CAAC,GAAG,CAAI,GAAG,UAAc;QAClC,MAAM,yBAAyB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7D,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,yBAAyB,CAAA;QAClD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IACvE,CAAC;IACM,MAAM,CAAC,EAAE,CAAI,GAAG,UAAc;QACjC,MAAM,yBAAyB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7D,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,yBAAyB,CAAA;QAClD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IACtE,CAAC;IACD,YAAmB,GAAsB;QAAtB,QAAG,GAAH,GAAG,CAAmB;QACrC,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,QAAQ,CAAA;QACZ,CAAC;IACL,CAAC;IACD,MAAM;QACF,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAA;IACnC,CAAC;IACD,IAAI,IAAI;QACJ,OAAO,IAAI,OAAO,CAAK,IAAI,CAAC,GAAgC,CAAC,IAAI,CAAC,CAAA;IACtE,CAAC;IACD,IAAI,KAAK;QACL,OAAQ,IAAI,CAAC,GAAgC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,OAAO,CAAK,IAAI,CAAC,GAAgC,CAAC,KAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACnI,CAAC;IACD,IAAI,IAAI;QACJ,OAAQ,IAAI,CAAC,GAAmB,CAAC,IAAI,CAAA;IACzC,CAAC;IACD,aAAa;IACb,OAAO;QACH,OAAO,IAAI,CAAC,GAAkB,CAAA;IAClC,CAAC;IACD,MAAM,CAAC,SAAS,CAAI,KAAyB;QACzC,OAAO,IAAI,OAAO,CAAI,KAAK,CAAC,CAAA;IAChC,CAAC;IACD,YAAY;QACR,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAA;IACzC,CAAC;IACD,GAAG,CAAC,cAAmB;QACnB,OAAO,IAAI,OAAO,CAAI;YAClB,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,IAAI,CAAC,GAAG;YACd,KAAK,EAAE,cAAc,YAAY,OAAO,CAAC,CAAC;gBACtC,cAAc,CAAC,GAAG,CAAC,CAAC;gBACpB,CAAC,cAAc,CAAC,IAAI,KAAK,MAAM,IAAI,cAAc,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC;oBACtE,cAAc,CAAA,CAAC;oBACf,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAC;SAChD,CAAC,CAAA;IACN,CAAC;IACD,KAAK;QACD,OAAQ,IAAI,CAAC,GAAgC,CAAC,QAAQ,KAAK,KAAK,CAAA;IACpE,CAAC;IACD,IAAI;QACA,OAAQ,IAAI,CAAC,GAAgC,CAAC,QAAQ,KAAK,IAAI,CAAA;IACnE,CAAC;IACD,KAAK;QACD,OAAQ,IAAI,CAAC,GAAgC,CAAC,QAAQ,KAAK,KAAK,CAAA;IACpE,CAAC;IACD,EAAE,CAAC,cAAmB;QAClB,OAAO,IAAI,OAAO,CAAI;YAClB,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI,CAAC,GAAG;YACd,KAAK,EAAE,CAAC,cAAc,YAAY,OAAO,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAC;SAC1G,CAAC,CAAA;IACN,CAAC;IACD,KAAK;IACL,GAAG;QACC,OAAO,IAAI,OAAO,CAAI;YAClB,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,IAAI,CAAC,GAAG;SACjB,CAAC,CAAA;IACN,CAAC;IACD,GAAG,CAAI,EAAe,EAAG,UAAmB,EAAE;QAC1C,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;YACtB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;YAC3C,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;gBACf,OAAO,OAAO,CAAC,GAAG,EAAE,CAAA;YACxB,CAAC;iBAAM,CAAC;gBACJ,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;gBAC/C,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAA;YACtE,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,MAAM,WAAW,GAAG,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;YACrC,sBAAsB;YACtB,OAAO,WAAW,YAAY,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAI,WAAW,CAAC,CAAA;QACtF,CAAC;IACL,CAAC;IACD,IAAI,CAAC,OAA+C,EAAE,OAAc;QAChE,IAAG,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;YAC3C,IAAI,OAAO,EAAE,CAAC;gBACV,OAAO,IAAI,CAAC,IAAI,CAAA;YACpB,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;YACjE,IAAI,WAAW,EAAE,CAAC;gBACd,OAAO,WAAW,CAAA;YACtB,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;YACzD,CAAC;QACL,CAAC;IACL,CAAC;IACD,QAAQ,CAAC,UAAyB,EAAE,QAAe,EAAE,EAAE,UAAmB,KAAK;QAE3E,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAE3C,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YAChB,MAAM,IAAI,GAAI,IAAI,CAAC,GAAmB,CAAC,IAAI,CAAA;YAC3C,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;YAC/B,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAA;YACpE,OAAO,CAAC,MAAM,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAA;QACpE,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACd,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC,CAAA;YAC/D,IAAI,UAAU,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAA;YACpC,OAAO,IAAI,CAAC,KAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC,CAAA;QACzD,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;YACf,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC,CAAA;YAC/D,IAAI,UAAU,KAAK,IAAI;gBAAE,OAAO,UAAU,CAAA;YAE1C,OAAO,IAAI,CAAC,KAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC,CAAA;QACzD,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,OAAO,CAAC,CAAA;QACjE,CAAC;QAED,MAAM,CAAC,KAAK,EAAE,iCAAiC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC1E,OAAO,IAAI,CAAA;IACf,CAAC;IACD,KAAK,CAAC,aAAa,CAAC,UAAyB,EAAE,QAAe,EAAE,EAAE,UAAmB,KAAK;QAEtF,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAE3C,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YAChB,MAAM,IAAI,GAAI,IAAI,CAAC,GAAmB,CAAC,IAAI,CAAA;YAC3C,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAA;YACrC,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAA;YACpE,OAAO,CAAC,MAAM,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAA;QACpE,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACd,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,YAAY,CAAC,CAAA;YAC1E,IAAI,UAAU,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAA;YACpC,OAAO,IAAI,CAAC,KAAM,CAAC,aAAa,CAAC,UAAU,EAAE,YAAY,CAAC,CAAA;QAC9D,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;YACf,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,YAAY,CAAC,CAAA;YAC1E,IAAI,UAAU,KAAK,IAAI;gBAAE,OAAO,UAAU,CAAA;YAE1C,OAAO,IAAI,CAAC,KAAM,CAAC,aAAa,CAAC,UAAU,EAAE,YAAY,CAAC,CAAA;QAC9D,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,OAAO,CAAC,CAAA;QACtE,CAAC;QAED,MAAM,CAAC,KAAK,EAAE,iCAAiC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC1E,OAAO,IAAI,CAAA;IACf,CAAC;CACJ;AAMD,MAAM,aAAa,GAAG;IAClB,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,KAAK;CACb,CAAA;AAGD,SAAS,YAAY,CAAC,GAAU;IAC5B,OAAO,EAAC,GAAG,EAAC,CAAA;AAChB,CAAC;AAED,SAAS,2BAA2B,CAAI,OAAmB,EAAE,aAAgC,EAAE,qBAAgD;IAC3I,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACvC,OAAO;YACH,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,QAAsC,CAAC;YACvE,IAAI,EAAE,2BAA2B,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,qBAAqB,CAAC;YACrF,KAAK,EAAE,2BAA2B,CAAC,OAAO,CAAC,KAAK,EAAE,aAAa,EAAE,qBAAqB,CAAC;SAC9D,CAAA;IACjC,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAChC,OAAO;YACH,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC;SAC5C,CAAA;IACL,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAI,iBAAiB,EAAE,CAAC;QACpC,OAAO;YACH,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,2BAA2B,CAAC,OAAO,CAAC,QAAQ,EAAE,aAAa,EAAE,qBAAqB,CAAC;SAC5F,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAA;AAC5C,CAAC;AAED,MAAM,UAAU,KAAK,CAAI,GAAW,EAAE,UAAiB,EAAE,EAAE,wBAAmD,YAAY;IACtH,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAC9C,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,EAAC,WAAW,EAAE,IAAI,EAAC,CAAC,CAAA;IAC9C,OAAO,IAAI,OAAO,CACd,2BAA2B,CAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAyB,CAAC,UAAU,EAAE,aAAa,EAAE,qBAAqB,CAAC,CACxH,CAAA;AACL,CAAC;AAqBD,MAAM,CAAC,MAAO,YAAY,GAA0B,WAAW,CAAC;IAC5D,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE;QACJ,IAAI,EAAE;YACF,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM;SAC7B;QACD,IAAI,EAAE;YACF,IAAI,EAAE,EAAwC;YAC9C,YAAY,EAAE,EAAuD;YACrE,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,KAAK;SACpB;KACJ;CACJ,CAAC,CAAA;AAWF,MAAM,CAAC,MAAM,kBAAkB,GAAG,WAAW,CAAC;IAC1C,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE;QACJ,IAAI,EAAE;YACF,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,GAAG,EAAE,CAAC,YAAY;SACnC;QACD,QAAQ,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,KAAK;YACjB,OAAO,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;YAC7B,YAAY,EAAE,GAAG,EAAE,CAAC,KAAK;SAC5B;QACD,IAAI,EAAE;YACF,YAAY,EAAE,EAAkG;YAChH,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,KAAK;SACpB;QACD,KAAK,EAAE;YACH,YAAY,EAAE,EAAkG;YAChH,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,KAAK;SACpB;KACJ;CACJ,CAAC,CAAA"}
|