@trebired/code-discipline 3.4.0 → 3.4.2

package/CHANGELOG.md

@@ -2,6 +2,18 @@
 
 All notable changes to `@trebired/code-discipline` will be documented here.
 
+## 3.4.2
+
+- Added normalized behavioral fingerprints for simple pure `dry` functions, so equivalent implementations can be grouped despite different names, parameters, locals, formatting, or expression-vs-block structure.
+- Normalized common equivalent helper forms including nullish fallbacks, const-then-return wrappers, branch returns, finite number guards, and object guard checks while preserving behavior-changing distinctions.
+- Added the `normalized-behavior` DRY signal and fixtures covering representative text, number, clamp, and object helpers without hardcoding project-specific names or paths.
+
+## 3.4.1
+
+- Added `dry.minDuplicateCharacters`, defaulting to `0`, so DRY duplicate detection no longer has a hidden minimum function size.
+- Applied the configurable threshold consistently across exact-normalized, matching-name, and similar-structure DRY signals.
+- Documented the new DRY threshold and kept this repository's own self-check threshold explicit at `300`.
+
 ## 3.4.0
 
 - Rendered `dry` duplicate groups in CLI output with the duplicated function names, file paths, line numbers, confidence, and `signals: ...` metadata.

package/README.md

@@ -162,7 +162,9 @@ export default defineCodeDisciplineConfig({
         aliasPrefix: "#",
       },
     },
-    dry: {},
+    dry: {
+      minDuplicateCharacters: 0,
+    },
   },
 });
 ```
@@ -438,20 +440,27 @@ code-discipline fix remove-comments
 Reports duplicate function groups across the configured source tree.
 
 - exact normalized structure is reported with 100% confidence
+- equivalent normalized behavior in simple pure functions is reported with 100% confidence
 - matching function names are reported with 100% confidence
 - highly similar normalized function structure is reported as a likely duplicate
-- whitespace, comments, function names, and local identifier names do not matter
+- `minDuplicateCharacters` defaults to `0`; raise it if you only want larger duplicate functions
+- whitespace, comments, function names, parameter names, and local identifier names do not matter
+- expression bodies, single-return blocks, simple const-then-return blocks, nullish fallback forms, finite number guards, and object guard branches are normalized when their behavior matches
 - reports are neutral groups, not "file A duplicates file B"
 - `dry` is check-only
 
 ```ts
-dry: {}
+dry: {
+  minDuplicateCharacters: 0,
+}
 ```
 
 Example output:
 
 ```txt
-dry multiple files function duplicates in files: src/one.ts, src/two.ts
+dry duplicate function group: 2 functions, confidence 1, signals: exact-normalized, normalized-behavior, similar-structure
+  - src/one.ts:1 buildUserLabel
+  - src/two.ts:1 formatUserLabel
 ```
 
 ## Lifecycle Hooks

package/dist/checks/rules/dry/behavior/conditions.d.ts

@@ -0,0 +1,6 @@
+import ts from "typescript";
+import type { BehaviorContext, BehaviorExpression } from "./model.js";
+declare function normalizeCondition(node: ts.Node, context: BehaviorContext, sourceFile: ts.SourceFile): BehaviorExpression | undefined;
+declare function normalizeConditional(condition: BehaviorExpression, whenTrue: BehaviorExpression, whenFalse: BehaviorExpression): BehaviorExpression;
+export { normalizeCondition, normalizeConditional };
+//# sourceMappingURL=conditions.d.ts.map

package/dist/checks/rules/dry/behavior/conditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.d.ts","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/conditions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAkBtE,iBAAS,kBAAkB,CACzB,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,eAAe,EACxB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,kBAAkB,GAAG,SAAS,CAkBhC;AA+DD,iBAAS,oBAAoB,CAC3B,SAAS,EAAE,kBAAkB,EAC7B,QAAQ,EAAE,kBAAkB,EAC5B,SAAS,EAAE,kBAAkB,GAC5B,kBAAkB,CASpB;AAyID,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/conditions.js

@@ -0,0 +1,171 @@
+import ts from "typescript";
+import { expressionsEqual, flattenBinary, inferSingleReplacement, invertCondition, isBooleanExpression, isComparisonOperator, isEqualityOperator, isTagged, normalizeAnd, normalizeComparison, positiveEqualityOperator, reduceExpression, replaceExpression, } from "./model.js";
+import { normalizeExpression } from "./expressions.js";
+function normalizeCondition(node, context, sourceFile) {
+    const unwrapped = unwrapCondition(node);
+    if (unwrapped !== node)
+        return normalizeCondition(unwrapped, context, sourceFile);
+    if (ts.isPrefixUnaryExpression(node) && node.operator === ts.SyntaxKind.ExclamationToken) {
+        const operand = normalizeCondition(node.operand, context, sourceFile);
+        return operand === undefined ? undefined : invertCondition(operand);
+    }
+    const nullishGroup = normalizeNullishGroup(node, context, sourceFile);
+    if (nullishGroup !== undefined)
+        return nullishGroup;
+    if (ts.isBinaryExpression(node)) {
+        return normalizeBinaryCondition(node, context, sourceFile);
+    }
+    const expression = normalizeExpression(node, context, sourceFile);
+    return expression === undefined || isBooleanExpression(expression) ? expression : ["truthy", expression];
+}
+function unwrapCondition(node) {
+    if (ts.isParenthesizedExpression(node)
+        || ts.isAsExpression(node)
+        || ts.isTypeAssertionExpression(node)
+        || ts.isNonNullExpression(node)
+        || ts.isSatisfiesExpression(node)) {
+        return node.expression;
+    }
+    return node;
+}
+function normalizeBinaryCondition(node, context, sourceFile) {
+    if (node.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
+        return normalizeLogicalAnd(node, context, sourceFile);
+    }
+    if (node.operatorToken.kind === ts.SyntaxKind.BarBarToken) {
+        return normalizeLogicalOr(node, context, sourceFile);
+    }
+    if (isEqualityOperator(node.operatorToken.kind)) {
+        return normalizeEqualityCondition(node, context, sourceFile);
+    }
+    if (isComparisonOperator(node.operatorToken.kind)) {
+        const left = normalizeExpression(node.left, context, sourceFile);
+        const right = normalizeExpression(node.right, context, sourceFile);
+        return left === undefined || right === undefined
+            ? undefined
+            : ["compare", ts.tokenToString(node.operatorToken.kind) ?? String(node.operatorToken.kind), left, right];
+    }
+    return undefined;
+}
+function normalizeLogicalAnd(node, context, sourceFile) {
+    const terms = flattenBinary(node, ts.SyntaxKind.AmpersandAmpersandToken)
+        .map((term) => normalizeCondition(term, context, sourceFile));
+    return terms.some((term) => term === undefined) ? undefined : normalizeAnd(terms);
+}
+function normalizeLogicalOr(node, context, sourceFile) {
+    const terms = flattenBinary(node, ts.SyntaxKind.BarBarToken)
+        .map((term) => normalizeCondition(term, context, sourceFile));
+    if (terms.some((term) => term === undefined))
+        return undefined;
+    return invertCondition(normalizeAnd(terms.map(invertCondition)));
+}
+function normalizeConditional(condition, whenTrue, whenFalse) {
+    if (isTagged(condition, "not")) {
+        return normalizeConditional(condition[1], whenFalse, whenTrue);
+    }
+    const coalesce = normalizeCoalesceConditional(condition, whenTrue, whenFalse);
+    if (coalesce)
+        return coalesce;
+    return reduceExpression(["conditional", condition, whenTrue, whenFalse]);
+}
+function normalizeCoalesceConditional(condition, whenTrue, whenFalse) {
+    if (!isTagged(condition, "nullish"))
+        return undefined;
+    const checked = condition[1];
+    const fallback = inferCoalesceFallback(checked, whenTrue, whenFalse);
+    if (fallback !== undefined)
+        return reduceExpression(replaceExpression(whenFalse, checked, ["coalesce", checked, fallback]));
+    return undefined;
+}
+function inferCoalesceFallback(checked, whenNullish, whenPresent) {
+    if (expressionsEqual(checked, whenPresent))
+        return whenNullish;
+    const structural = inferSingleReplacement(whenPresent, whenNullish, checked);
+    if (structural !== undefined)
+        return structural;
+    const foldedNullishResult = reduceExpression(replaceExpression(whenPresent, checked, whenNullish));
+    return expressionsEqual(foldedNullishResult, whenNullish) ? whenNullish : undefined;
+}
+function normalizeEqualityCondition(node, context, sourceFile) {
+    const nullish = normalizeNullishGroup(node, context, sourceFile);
+    if (nullish !== undefined)
+        return nullish;
+    const left = normalizeExpression(node.left, context, sourceFile);
+    const right = normalizeExpression(node.right, context, sourceFile);
+    if (left === undefined || right === undefined)
+        return undefined;
+    const equality = normalizeComparison(positiveEqualityOperator(node.operatorToken.kind), left, right);
+    return node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsEqualsToken
+        || node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken
+        ? invertCondition(equality)
+        : equality;
+}
+function normalizeNullishGroup(node, context, sourceFile) {
+    if (!ts.isBinaryExpression(node))
+        return undefined;
+    if (node.operatorToken.kind === ts.SyntaxKind.EqualsEqualsToken || node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken) {
+        const equality = normalizeNullishEquality(node, context, sourceFile);
+        if (!equality)
+            return undefined;
+        return node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken ? invertCondition(equality) : equality;
+    }
+    if (node.operatorToken.kind !== ts.SyntaxKind.BarBarToken && node.operatorToken.kind !== ts.SyntaxKind.AmpersandAmpersandToken) {
+        return undefined;
+    }
+    return normalizeStrictNullishGroup(node, context, sourceFile);
+}
+function normalizeStrictNullishGroup(node, context, sourceFile) {
+    const parts = flattenBinary(node, node.operatorToken.kind)
+        .map((part) => normalizeStrictNullishEquality(part, context, sourceFile));
+    if (parts.some((part) => part === undefined))
+        return undefined;
+    const first = parts[0];
+    const sameExpression = parts.every((part) => expressionsEqual(part.expression, first.expression));
+    const hasNull = parts.some((part) => part.kind === "null");
+    const hasUndefined = parts.some((part) => part.kind === "undefined");
+    if (!sameExpression || !hasNull || !hasUndefined)
+        return undefined;
+    const isNullish = node.operatorToken.kind === ts.SyntaxKind.BarBarToken && parts.every((part) => !part.negated);
+    const isNotNullish = node.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken && parts.every((part) => part.negated);
+    if (!isNullish && !isNotNullish)
+        return undefined;
+    const nullish = ["nullish", first.expression];
+    return isNotNullish ? invertCondition(nullish) : nullish;
+}
+function normalizeNullishEquality(node, context, sourceFile) {
+    const leftNull = isNullLiteral(node.left);
+    const rightNull = isNullLiteral(node.right);
+    if (!leftNull && !rightNull)
+        return undefined;
+    const expression = normalizeExpression(leftNull ? node.right : node.left, context, sourceFile);
+    return expression === undefined ? undefined : ["nullish", expression];
+}
+function normalizeStrictNullishEquality(node, context, sourceFile) {
+    if (!ts.isBinaryExpression(node) || !isEqualityOperator(node.operatorToken.kind))
+        return undefined;
+    const leftKind = nullishLiteralKind(node.left);
+    const rightKind = nullishLiteralKind(node.right);
+    if (!leftKind && !rightKind)
+        return undefined;
+    const expression = normalizeExpression(leftKind ? node.right : node.left, context, sourceFile);
+    if (expression === undefined)
+        return undefined;
+    return {
+        expression,
+        kind: leftKind ?? rightKind,
+        negated: node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsEqualsToken
+            || node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken,
+    };
+}
+function isNullLiteral(node) {
+    return node.kind === ts.SyntaxKind.NullKeyword;
+}
+function nullishLiteralKind(node) {
+    if (node.kind === ts.SyntaxKind.NullKeyword)
+        return "null";
+    if (ts.isIdentifier(node) && node.text === "undefined")
+        return "undefined";
+    return undefined;
+}
+export { normalizeCondition, normalizeConditional };
+//# sourceMappingURL=conditions.js.map

package/dist/checks/rules/dry/behavior/conditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.js","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/conditions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EACL,gBAAgB,EAChB,aAAa,EACb,sBAAsB,EACtB,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,QAAQ,EACR,YAAY,EACZ,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,SAAS,kBAAkB,CACzB,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAElF,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACzF,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACtE,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACtE,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC;IAEpD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAClE,OAAO,UAAU,KAAK,SAAS,IAAI,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC3G,CAAC;AAED,SAAS,eAAe,CAAC,IAAa;IACpC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;WACjC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;WACvB,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;WAClC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;WAC5B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC;QACtE,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC1D,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,0BAA0B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACnE,OAAO,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;YAC9C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7G,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;SACrE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IAChE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAA6B,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;SACzD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,OAAO,eAAe,CAAC,YAAY,CAAE,KAA8B,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAA6B,EAC7B,QAA4B,EAC5B,SAA6B;IAE7B,IAAI,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,QAAQ,GAAG,4BAA4B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC9E,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAE9B,OAAO,gBAAgB,CAAC,CAAC,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,4BAA4B,CACnC,SAA6B,EAC7B,QAA4B,EAC5B,SAA6B;IAE7B,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAEtD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,qBAAqB,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IACrE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAE5H,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAA2B,EAC3B,WAA+B,EAC/B,WAA+B;IAE/B,IAAI,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;QAAE,OAAO,WAAW,CAAC;IAE/D,MAAM,UAAU,GAAG,sBAAsB,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IAEhD,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,iBAAiB,CAAC,WAAW,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;IACnG,OAAO,gBAAgB,CAAC,mBAAmB,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AACtF,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAE1C,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACnE,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACrG,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;WACxE,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;QACnE,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC3B,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,EAAE,CAAC;QACpI,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAChC,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IACjH,CAAC;IAED,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC;QAC/H,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;SACvD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,8BAA8B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IAC5E,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAE/D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IACxB,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACnG,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACtE,IAAI,CAAC,cAAc,IAAI,CAAC,OAAO,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEnE,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAK,CAAC,OAAO,CAAC,CAAC;IACjH,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAK,CAAC,OAAO,CAAC,CAAC;IAC/H,IAAI,CAAC,SAAS,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,OAAO,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAC9C,OAAO,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAC3D,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/F,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,8BAA8B,CACrC,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnG,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/F,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE/C,OAAO;QACL,UAAU;QACV,IAAI,EAAE,QAAQ,IAAI,SAAU;QAC5B,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;eAC1E,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;KACtE,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAa;IAClC,OAAO,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;AACjD,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,MAAM,CAAC;IAC3D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,WAAW,CAAC;IAC3E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/expressions.d.ts

@@ -0,0 +1,5 @@
+import ts from "typescript";
+import type { BehaviorContext, BehaviorExpression } from "./model.js";
+declare function normalizeExpression(node: ts.Node | undefined, context: BehaviorContext, sourceFile: ts.SourceFile): BehaviorExpression | undefined;
+export { normalizeExpression };
+//# sourceMappingURL=expressions.d.ts.map

package/dist/checks/rules/dry/behavior/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAQtE,iBAAS,mBAAmB,CAC1B,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,SAAS,EACzB,OAAO,EAAE,eAAe,EACxB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,kBAAkB,GAAG,SAAS,CAgBhC;AA6ND,OAAO,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/expressions.js

@@ -0,0 +1,179 @@
+import ts from "typescript";
+import { SAFE_GLOBAL_IDENTIFIERS } from "../serialize/context.js";
+import { isComparisonOperator, isLogicalOperator, isNamedGlobal, } from "./model.js";
+import { normalizeCondition, normalizeConditional } from "./conditions.js";
+function normalizeExpression(node, context, sourceFile) {
+    if (!node)
+        return undefined;
+    const wrapped = normalizeWrappedExpression(node, context, sourceFile);
+    if (wrapped !== undefined)
+        return wrapped;
+    const primitive = normalizePrimitiveExpression(node, context);
+    if (primitive !== undefined)
+        return primitive;
+    const container = normalizeContainerExpression(node, context, sourceFile);
+    if (container !== undefined)
+        return container;
+    const access = normalizeAccessExpression(node, context, sourceFile);
+    if (access !== undefined)
+        return access;
+    return normalizeOperatorExpression(node, context, sourceFile);
+}
+function normalizeWrappedExpression(node, context, sourceFile) {
+    if (ts.isParenthesizedExpression(node)
+        || ts.isAsExpression(node)
+        || ts.isTypeAssertionExpression(node)
+        || ts.isNonNullExpression(node)
+        || ts.isSatisfiesExpression(node)) {
+        return normalizeExpression(node.expression, context, sourceFile);
+    }
+    return undefined;
+}
+function normalizePrimitiveExpression(node, context) {
+    if (ts.isIdentifier(node))
+        return normalizeIdentifier(node, context);
+    if (node.kind === ts.SyntaxKind.TrueKeyword)
+        return ["literal", "boolean", true];
+    if (node.kind === ts.SyntaxKind.FalseKeyword)
+        return ["literal", "boolean", false];
+    if (node.kind === ts.SyntaxKind.NullKeyword)
+        return ["literal", "null"];
+    if (ts.isStringLiteral(node) || ts.isNoSubstitutionTemplateLiteral(node))
+        return ["literal", "string", node.text];
+    if (ts.isNumericLiteral(node))
+        return ["literal", "number", node.text];
+    if (ts.isBigIntLiteral(node))
+        return ["literal", "bigint", node.text];
+    return undefined;
+}
+function normalizeIdentifier(node, context) {
+    const parameter = context.parameters.get(node.text);
+    if (parameter)
+        return ["param", parameter];
+    const local = context.locals.get(node.text);
+    if (local !== undefined)
+        return local;
+    if (node.text === "undefined")
+        return ["literal", "undefined"];
+    if (SAFE_GLOBAL_IDENTIFIERS.has(node.text))
+        return ["global", node.text];
+    return ["outer", node.text];
+}
+function normalizeContainerExpression(node, context, sourceFile) {
+    if (ts.isArrayLiteralExpression(node))
+        return normalizeArrayLiteral(node, context, sourceFile);
+    if (ts.isObjectLiteralExpression(node))
+        return normalizeObjectLiteral(node, context, sourceFile);
+    if (ts.isTemplateExpression(node))
+        return normalizeTemplateExpression(node, context, sourceFile);
+    return undefined;
+}
+function normalizeArrayLiteral(node, context, sourceFile) {
+    const elements = node.elements.map((element) => (ts.isSpreadElement(element)
+        ? ["spread", normalizeExpression(element.expression, context, sourceFile)]
+        : normalizeExpression(element, context, sourceFile)));
+    return elements.some((element) => element === undefined || (Array.isArray(element) && element[1] === undefined))
+        ? undefined
+        : ["array", elements];
+}
+function normalizeObjectLiteral(node, context, sourceFile) {
+    const properties = [];
+    for (const property of node.properties) {
+        const normalized = normalizeObjectProperty(property, context, sourceFile);
+        if (normalized === undefined)
+            return undefined;
+        properties.push(normalized);
+    }
+    return ["object", properties];
+}
+function normalizeObjectProperty(property, context, sourceFile) {
+    if (ts.isPropertyAssignment(property)) {
+        const value = normalizeExpression(property.initializer, context, sourceFile);
+        return value === undefined ? undefined : ["property", property.name.getText(sourceFile), value];
+    }
+    if (ts.isShorthandPropertyAssignment(property)) {
+        return ["property", property.name.text, normalizeIdentifier(property.name, context)];
+    }
+    if (ts.isSpreadAssignment(property)) {
+        const value = normalizeExpression(property.expression, context, sourceFile);
+        return value === undefined ? undefined : ["spread", value];
+    }
+    return undefined;
+}
+function normalizeTemplateExpression(node, context, sourceFile) {
+    const spans = node.templateSpans.map((span) => [
+        normalizeExpression(span.expression, context, sourceFile),
+        span.literal.text,
+    ]);
+    return spans.some(([expression]) => expression === undefined) ? undefined : ["template", node.head.text, spans];
+}
+function normalizeAccessExpression(node, context, sourceFile) {
+    if (ts.isPropertyAccessExpression(node)) {
+        const target = normalizeExpression(node.expression, context, sourceFile);
+        return target === undefined ? undefined : ["member", target, node.name.text];
+    }
+    if (ts.isElementAccessExpression(node)) {
+        const target = normalizeExpression(node.expression, context, sourceFile);
+        const argument = normalizeExpression(node.argumentExpression, context, sourceFile);
+        return target === undefined || argument === undefined ? undefined : ["element", target, argument];
+    }
+    return undefined;
+}
+function normalizeOperatorExpression(node, context, sourceFile) {
+    if (ts.isCallExpression(node))
+        return normalizeCallExpression(node, context, sourceFile);
+    if (ts.isConditionalExpression(node))
+        return normalizeConditionalExpression(node, context, sourceFile);
+    if (ts.isPrefixUnaryExpression(node))
+        return normalizePrefixUnaryExpression(node, context, sourceFile);
+    if (ts.isBinaryExpression(node))
+        return normalizeBinaryExpression(node, context, sourceFile);
+    if (ts.isTypeOfExpression(node))
+        return normalizeTypeOfExpression(node, context, sourceFile);
+    return undefined;
+}
+function normalizeCallExpression(node, context, sourceFile) {
+    const callee = normalizeExpression(node.expression, context, sourceFile);
+    const args = node.arguments.map((argument) => normalizeExpression(argument, context, sourceFile));
+    if (callee === undefined || args.some((arg) => arg === undefined))
+        return undefined;
+    if (isNamedGlobal(callee, "Boolean") && args.length === 1) {
+        return ["truthy", args[0]];
+    }
+    return ["call", callee, args];
+}
+function normalizeConditionalExpression(node, context, sourceFile) {
+    const condition = normalizeCondition(node.condition, context, sourceFile);
+    const whenTrue = normalizeExpression(node.whenTrue, context, sourceFile);
+    const whenFalse = normalizeExpression(node.whenFalse, context, sourceFile);
+    return condition === undefined || whenTrue === undefined || whenFalse === undefined
+        ? undefined
+        : normalizeConditional(condition, whenTrue, whenFalse);
+}
+function normalizePrefixUnaryExpression(node, context, sourceFile) {
+    if (node.operator === ts.SyntaxKind.ExclamationToken)
+        return normalizeCondition(node, context, sourceFile);
+    const operand = normalizeExpression(node.operand, context, sourceFile);
+    return operand === undefined ? undefined : ["prefix", ts.tokenToString(node.operator) ?? String(node.operator), operand];
+}
+function normalizeBinaryExpression(node, context, sourceFile) {
+    if (isComparisonOperator(node.operatorToken.kind)) {
+        return normalizeCondition(node, context, sourceFile);
+    }
+    const left = normalizeExpression(node.left, context, sourceFile);
+    const right = normalizeExpression(node.right, context, sourceFile);
+    if (left === undefined || right === undefined)
+        return undefined;
+    if (isLogicalOperator(node.operatorToken.kind)) {
+        return ["logical", ts.tokenToString(node.operatorToken.kind) ?? String(node.operatorToken.kind), left, right];
+    }
+    return node.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken
+        ? ["coalesce", left, right]
+        : ["binary", ts.tokenToString(node.operatorToken.kind) ?? String(node.operatorToken.kind), left, right];
+}
+function normalizeTypeOfExpression(node, context, sourceFile) {
+    const expression = normalizeExpression(node.expression, context, sourceFile);
+    return expression === undefined ? undefined : ["typeof", expression];
+}
+export { normalizeExpression };
+//# sourceMappingURL=expressions.js.map

package/dist/checks/rules/dry/behavior/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAE3E,SAAS,mBAAmB,CAC1B,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,MAAM,OAAO,GAAG,0BAA0B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACtE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAE1C,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,MAAM,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACpE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAExC,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;WACjC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;WACvB,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;WAClC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;WAC5B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAa,EAAE,OAAwB;IAC3E,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACxE,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAClH,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB,EAAE,OAAwB;IACxE,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,SAAS;QAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAE3C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAEtC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC/D,IAAI,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAEzE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,4BAA4B,CACnC,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/F,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjG,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAAE,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjG,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAA+B,EAC/B,OAAwB,EACxB,UAAyB;IAEzB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAC9C,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QACzB,CAAC,CAAC,CAAC,QAAQ,EAAE,mBAAmB,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAC1E,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CACtD,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;QAC9G,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAgC,EAChC,OAAwB,EACxB,UAAyB;IAEzB,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAC1E,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAAqC,EACrC,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAC7E,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC;IAClG,CAAC;IAED,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAC5E,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,2BAA2B,CAClC,IAA2B,EAC3B,OAAwB,EACxB,UAAyB;IAEzB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC;QACzD,IAAI,CAAC,OAAO,CAAC,IAAI;KAClB,CAAC,CAAC;IACH,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAClH,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACzE,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACnF,OAAO,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACpG,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACzF,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAAE,OAAO,8BAA8B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACvG,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAAE,OAAO,8BAA8B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACvG,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7F,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7F,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAuB,EACvB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IAClG,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpF,IAAI,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,8BAA8B,CACrC,IAA8B,EAC9B,OAAwB,EACxB,UAAyB;IAEzB,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC3E,OAAO,SAAS,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;QACjF,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,oBAAoB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,8BAA8B,CACrC,IAA8B,EAC9B,OAAwB,EACxB,UAAyB;IAEzB,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAAE,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAE3G,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACvE,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;AAC3H,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,IAAI,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACnE,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhE,IAAI,iBAAiB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAChH,CAAC;IAED,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;QACpE,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC;QAC3B,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7E,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AACvE,CAAC;AAED,OAAO,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/index.d.ts

@@ -0,0 +1,6 @@
+import ts from "typescript";
+import type { BehaviorFingerprint } from "./model.js";
+declare function createBehaviorFingerprint(node: ts.FunctionLikeDeclaration, sourceFile: ts.SourceFile): BehaviorFingerprint | null;
+export { createBehaviorFingerprint };
+export type { BehaviorFingerprint };
+//# sourceMappingURL=index.d.ts.map

package/dist/checks/rules/dry/behavior/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,KAAK,EAAmB,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAIvE,iBAAS,yBAAyB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,mBAAmB,GAAG,IAAI,CA2B1H;AAED,OAAO,EAAE,yBAAyB,EAAE,CAAC;AACrC,YAAY,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/index.js

@@ -0,0 +1,32 @@
+import ts from "typescript";
+import { stableSerialize } from "../../../../shared/utils.js";
+import { normalizeExpression } from "./expressions.js";
+import { normalizeFunctionReturn } from "./statements.js";
+function createBehaviorFingerprint(node, sourceFile) {
+    const parameterNames = node.parameters.map((parameter) => ts.isIdentifier(parameter.name) ? parameter.name.text : null);
+    if (parameterNames.some((name) => name === null))
+        return null;
+    if (node.parameters.some((parameter) => parameter.dotDotDotToken))
+        return null;
+    const context = {
+        locals: new Map(),
+        parameters: new Map(parameterNames.map((name, index) => [name, `p${index}`])),
+    };
+    const parameterDefaults = node.parameters.map((parameter) => (parameter.initializer ? normalizeExpression(parameter.initializer, context, sourceFile) : null));
+    if (parameterDefaults.some((value) => value === undefined))
+        return null;
+    const returned = normalizeFunctionReturn(node, context, sourceFile);
+    if (returned === undefined)
+        return null;
+    const normalized = [
+        "behavior-function",
+        parameterDefaults,
+        returned,
+    ];
+    return {
+        fingerprint: stableSerialize(normalized),
+        normalized,
+    };
+}
+export { createBehaviorFingerprint };
+//# sourceMappingURL=index.js.map

package/dist/checks/rules/dry/behavior/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAE9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAE1D,SAAS,yBAAyB,CAAC,IAAgC,EAAE,UAAyB;IAC5F,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxH,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC;QAAE,OAAO,IAAI,CAAC;IAE/E,MAAM,OAAO,GAAoB;QAC/B,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,UAAU,EAAE,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAK,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;KAC/E,CAAC;IACF,MAAM,iBAAiB,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAC3D,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAC/F,CAAC,CAAC;IACH,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAExE,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACpE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAExC,MAAM,UAAU,GAAG;QACjB,mBAAmB;QACnB,iBAAiB;QACjB,QAAQ;KACT,CAAC;IAEF,OAAO;QACL,WAAW,EAAE,eAAe,CAAC,UAAU,CAAC;QACxC,UAAU;KACX,CAAC;AACJ,CAAC;AAED,OAAO,EAAE,yBAAyB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/model.d.ts

@@ -0,0 +1,29 @@
+import ts from "typescript";
+type BehaviorExpression = unknown;
+type BehaviorContext = {
+    locals: Map<string, BehaviorExpression>;
+    parameters: Map<string, string>;
+};
+type BehaviorFingerprint = {
+    fingerprint: string;
+    normalized: BehaviorExpression;
+};
+declare function cloneContext(context: BehaviorContext): BehaviorContext;
+declare function isTagged(value: BehaviorExpression, tag: string): value is [string, ...BehaviorExpression[]];
+declare function isNamedGlobal(value: BehaviorExpression, name: string): boolean;
+declare function isBooleanExpression(value: BehaviorExpression): boolean;
+declare function expressionsEqual(left: BehaviorExpression, right: BehaviorExpression): boolean;
+declare function replaceExpression(expression: BehaviorExpression, target: BehaviorExpression, replacement: BehaviorExpression): BehaviorExpression;
+declare function inferSingleReplacement(template: BehaviorExpression, concrete: BehaviorExpression, placeholder: BehaviorExpression): BehaviorExpression | undefined;
+declare function normalizeAnd(terms: BehaviorExpression[]): BehaviorExpression;
+declare function invertCondition(expression: BehaviorExpression): BehaviorExpression;
+declare function flattenBinary(node: ts.BinaryExpression, operator: ts.SyntaxKind): ts.Node[];
+declare function isComparisonOperator(kind: ts.SyntaxKind): boolean;
+declare function isEqualityOperator(kind: ts.SyntaxKind): boolean;
+declare function isLogicalOperator(kind: ts.SyntaxKind): boolean;
+declare function positiveEqualityOperator(kind: ts.SyntaxKind): "==" | "===";
+declare function normalizeComparison(operator: string, left: BehaviorExpression, right: BehaviorExpression): BehaviorExpression;
+declare function reduceExpression(expression: BehaviorExpression): BehaviorExpression;
+export { cloneContext, expressionsEqual, flattenBinary, inferSingleReplacement, invertCondition, isBooleanExpression, isComparisonOperator, isEqualityOperator, isLogicalOperator, isNamedGlobal, isTagged, normalizeAnd, normalizeComparison, positiveEqualityOperator, reduceExpression, replaceExpression, };
+export type { BehaviorContext, BehaviorExpression, BehaviorFingerprint };
+//# sourceMappingURL=model.d.ts.map

package/dist/checks/rules/dry/behavior/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,KAAK,kBAAkB,GAAG,OAAO,CAAC;AAElC,KAAK,eAAe,GAAG;IACrB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACxC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjC,CAAC;AAEF,KAAK,mBAAmB,GAAG;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,kBAAkB,CAAC;CAChC,CAAC;AAIF,iBAAS,YAAY,CAAC,OAAO,EAAE,eAAe,GAAG,eAAe,CAK/D;AAED,iBAAS,QAAQ,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,IAAI,CAAC,MAAM,EAAE,GAAG,kBAAkB,EAAE,CAAC,CAEpG;AAED,iBAAS,aAAa,CAAC,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAEvE;AAED,iBAAS,mBAAmB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAG/D;AAED,iBAAS,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAEtF;AAED,iBAAS,iBAAiB,CACxB,UAAU,EAAE,kBAAkB,EAC9B,MAAM,EAAE,kBAAkB,EAC1B,WAAW,EAAE,kBAAkB,GAC9B,kBAAkB,CAQpB;AA+BD,iBAAS,sBAAsB,CAC7B,QAAQ,EAAE,kBAAkB,EAC5B,QAAQ,EAAE,kBAAkB,EAC5B,WAAW,EAAE,kBAAkB,GAC9B,kBAAkB,GAAG,SAAS,CAGhC;AAED,iBAAS,YAAY,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,kBAAkB,CASrE;AAED,iBAAS,eAAe,CAAC,UAAU,EAAE,kBAAkB,GAAG,kBAAkB,CAG3E;AAED,iBAAS,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,EAAE,QAAQ,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,IAAI,EAAE,CAQpF;AAED,iBAAS,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAQ1D;AAED,iBAAS,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAKxD;AAED,iBAAS,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAGvD;AAED,iBAAS,wBAAwB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,IAAI,GAAG,KAAK,CAInE;AAED,iBAAS,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,kBAAkB,GAAG,kBAAkB,CAKtH;AAED,iBAAS,gBAAgB,CAAC,UAAU,EAAE,kBAAkB,GAAG,kBAAkB,CAuB5E;AAsDD,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,sBAAsB,EACtB,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,QAAQ,EACR,YAAY,EACZ,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,GAClB,CAAC;AACF,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,CAAC"}