@nielspeter/eess-ts 0.1.0

package/dist/conditions/function.js

@@ -0,0 +1,167 @@
+import picomatch from 'picomatch';
+/**
+ * Helper to create a per-element condition for ArchFunction.
+ */
+function functionCondition(description, predicate, messageFn) {
+    return {
+        description,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const fn of elements) {
+                if (!predicate(fn)) {
+                    violations.push({
+                        rule: context.rule,
+                        element: fn.getName() ?? '<anonymous>',
+                        file: fn.getSourceFile().getFilePath(),
+                        line: fn.getStartLineNumber(),
+                        message: messageFn(fn),
+                        because: context.because,
+                    });
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * The predicate set must be empty — no functions should match.
+ *
+ * If ANY functions exist after predicate filtering, each one
+ * becomes a violation.
+ *
+ * @example
+ * functions(project)
+ *   .that().haveNameMatching(/^parse\w+Order$/)
+ *   .should(notExist())
+ *   .because('use shared parseOrder() utility instead')
+ */
+export function notExist() {
+    return {
+        description: 'not exist',
+        evaluate(elements, context) {
+            return elements.map((fn) => ({
+                rule: context.rule,
+                element: fn.getName() ?? '<anonymous>',
+                file: fn.getSourceFile().getFilePath(),
+                line: fn.getStartLineNumber(),
+                message: `${fn.getName() ?? '<anonymous>'} should not exist`,
+                because: context.because,
+            }));
+        },
+    };
+}
+/**
+ * Functions must be exported from their module.
+ */
+export function beExported() {
+    return functionCondition('be exported', (fn) => fn.isExported(), (fn) => `${fn.getName() ?? '<anonymous>'} is not exported`);
+}
+/**
+ * Functions must be async.
+ */
+export function beAsync() {
+    return functionCondition('be async', (fn) => fn.isAsync(), (fn) => `${fn.getName() ?? '<anonymous>'} is not async`);
+}
+/**
+ * Functions must have a name matching the given pattern.
+ */
+export function haveNameMatching(pattern) {
+    return functionCondition(`have name matching ${String(pattern)}`, (fn) => {
+        const name = fn.getName();
+        return name !== undefined && pattern.test(name);
+    }, (fn) => `${fn.getName() ?? '<anonymous>'} does not have a name matching ${String(pattern)}`);
+}
+/**
+ * Assert that at least one parameter of the function has a type matching
+ * the given matcher.
+ *
+ * Passes when at least one parameter satisfies `matcher`.
+ * Reports one violation per function that has no matching parameter.
+ *
+ * **Scope note:** This operates on the function's own parameter list only.
+ * Unlike the class-level counterpart, it does NOT scan set accessors
+ * because `collectFunctions()` excludes them.
+ */
+export function acceptParameterOfType(matcher) {
+    return functionCondition('accept parameter of matching type', (fn) => fn.getParameters().some((p) => matcher(p.getType())), (fn) => `${fn.getName() ?? '<anonymous>'} has no parameter with matching type`);
+}
+/**
+ * Assert that NO parameter of the function has a type matching the given
+ * matcher.
+ *
+ * Reports one violation **per parameter** whose type satisfies `matcher`,
+ * with actionable messages including the parameter name and type.
+ *
+ * **Scope note:** This operates on the function's own parameter list only.
+ * Unlike the class-level counterpart, it does NOT scan set accessors
+ * because `collectFunctions()` excludes them.
+ */
+export function notAcceptParameterOfType(matcher) {
+    return {
+        description: 'not accept parameter of matching type',
+        evaluate(elements, context) {
+            const violations = [];
+            for (const fn of elements) {
+                const fnName = fn.getName() ?? '<anonymous>';
+                for (const param of fn.getParameters()) {
+                    if (matcher(param.getType())) {
+                        const paramName = param.getName();
+                        const typeText = param.getType().getText();
+                        violations.push({
+                            rule: context.rule,
+                            element: fnName,
+                            file: fn.getSourceFile().getFilePath(),
+                            line: fn.getStartLineNumber(),
+                            message: `${fnName} parameter "${paramName}" has type "${typeText}"`,
+                            because: context.because,
+                        });
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Functions must have a return type that satisfies the given TypeMatcher.
+ *
+ * Unlike the `haveReturnType` predicate (which filters with RegExp),
+ * this is a condition (assertion in `.should()`) that uses TypeMatcher
+ * for composability with `isString()`, `matching()`, `not()`, `exactly()`, etc.
+ *
+ * @example
+ * functions(project)
+ *   .that().haveNameMatching(/^list/)
+ *   .should().haveReturnTypeMatching(matching(/Collection/))
+ *   .check()
+ */
+export function haveReturnTypeMatching(matcher) {
+    return functionCondition('have return type matching the expected type constraint', (fn) => matcher(fn.getReturnType()), (fn) => `${fn.getName() ?? '<anonymous>'} has return type '${fn.getReturnType().getText()}' which does not match the expected type constraint`);
+}
+/**
+ * Functions must reside in a file matching the glob.
+ * ArchFunction is not a ts-morph Node, so the generic structural condition
+ * cannot be used — this is the ArchFunction-specific equivalent.
+ */
+export function resideInFile(glob) {
+    const isMatch = picomatch(glob);
+    return functionCondition(`reside in file matching '${glob}'`, (fn) => isMatch(fn.getSourceFile().getFilePath()), (fn) => `${fn.getName() ?? '<anonymous>'} resides in '${fn.getSourceFile().getFilePath()}' which does not match '${glob}'`);
+}
+/**
+ * Functions must reside in a folder matching the glob.
+ * ArchFunction is not a ts-morph Node, so the generic structural condition
+ * cannot be used — this is the ArchFunction-specific equivalent.
+ */
+export function resideInFolder(glob) {
+    const isMatch = picomatch(glob);
+    return functionCondition(`reside in folder matching '${glob}'`, (fn) => {
+        const filePath = fn.getSourceFile().getFilePath();
+        const folder = filePath.substring(0, filePath.lastIndexOf('/'));
+        return isMatch(folder);
+    }, (fn) => {
+        const filePath = fn.getSourceFile().getFilePath();
+        const folder = filePath.substring(0, filePath.lastIndexOf('/'));
+        return `${fn.getName() ?? '<anonymous>'} resides in folder '${folder}' which does not match '${glob}'`;
+    });
+}
+//# sourceMappingURL=function.js.map

package/dist/conditions/function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"function.js","sourceRoot":"","sources":["../../src/conditions/function.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AAMjC;;GAEG;AACH,SAAS,iBAAiB,CACxB,WAAmB,EACnB,SAAwC,EACxC,SAAuC;IAEvC,OAAO;QACL,WAAW;QACX,QAAQ,CAAC,QAAwB,EAAE,OAAyB;YAC1D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;oBACnB,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa;wBACtC,IAAI,EAAE,EAAE,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE;wBACtC,IAAI,EAAE,EAAE,CAAC,kBAAkB,EAAE;wBAC7B,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;wBACtB,OAAO,EAAE,OAAO,CAAC,OAAO;qBACzB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,QAAQ;IACtB,OAAO;QACL,WAAW,EAAE,WAAW;QACxB,QAAQ,CAAC,QAAwB,EAAE,OAAyB;YAC1D,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC3B,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa;gBACtC,IAAI,EAAE,EAAE,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE;gBACtC,IAAI,EAAE,EAAE,CAAC,kBAAkB,EAAE;gBAC7B,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa,mBAAmB;gBAC5D,OAAO,EAAE,OAAO,CAAC,OAAO;aACzB,CAAC,CAAC,CAAA;QACL,CAAC;KACF,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO,iBAAiB,CACtB,aAAa,EACb,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,EACvB,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa,kBAAkB,CAC3D,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,OAAO;IACrB,OAAO,iBAAiB,CACtB,UAAU,EACV,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EACpB,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa,eAAe,CACxD,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,OAAO,iBAAiB,CACtB,sBAAsB,MAAM,CAAC,OAAO,CAAC,EAAE,EACvC,CAAC,EAAE,EAAE,EAAE;QACL,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,CAAA;QACzB,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACjD,CAAC,EACD,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa,kCAAkC,MAAM,CAAC,OAAO,CAAC,EAAE,CAC5F,CAAA;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAoB;IACxD,OAAO,iBAAiB,CACtB,mCAAmC,EACnC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAC5D,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa,sCAAsC,CAC/E,CAAA;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CAAC,OAAoB;IAC3D,OAAO;QACL,WAAW,EAAE,uCAAuC;QACpD,QAAQ,CAAC,QAAwB,EAAE,OAAyB;YAC1D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa,CAAA;gBAC5C,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,aAAa,EAAE,EAAE,CAAC;oBACvC,IAAI,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;wBAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,EAAE,CAAA;wBACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,CAAA;wBAC1C,UAAU,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,OAAO,CAAC,IAAI;4BAClB,OAAO,EAAE,MAAM;4BACf,IAAI,EAAE,EAAE,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE;4BACtC,IAAI,EAAE,EAAE,CAAC,kBAAkB,EAAE;4BAC7B,OAAO,EAAE,GAAG,MAAM,eAAe,SAAS,eAAe,QAAQ,GAAG;4BACpE,OAAO,EAAE,OAAO,CAAC,OAAO;yBACzB,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAoB;IACzD,OAAO,iBAAiB,CACtB,wDAAwD,EACxD,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,EACnC,CAAC,EAAE,EAAE,EAAE,CACL,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa,qBAAqB,EAAE,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,qDAAqD,CACzI,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC/B,OAAO,iBAAiB,CACtB,4BAA4B,IAAI,GAAG,EACnC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAC,EACjD,CAAC,EAAE,EAAE,EAAE,CACL,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa,gBAAgB,EAAE,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,2BAA2B,IAAI,GAAG,CACrH,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC/B,OAAO,iBAAiB,CACtB,8BAA8B,IAAI,GAAG,EACrC,CAAC,EAAE,EAAE,EAAE;QACL,MAAM,QAAQ,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAA;QACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,OAAO,OAAO,CAAC,MAAM,CAAC,CAAA;IACxB,CAAC,EACD,CAAC,EAAE,EAAE,EAAE;QACL,MAAM,QAAQ,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAA;QACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,OAAO,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,aAAa,uBAAuB,MAAM,2BAA2B,IAAI,GAAG,CAAA;IACxG,CAAC,CACF,CAAA;AACH,CAAC"}

package/dist/conditions/helpers.d.ts

@@ -0,0 +1,14 @@
+import type { Node } from 'ts-morph';
+import type { Condition } from '@nielspeter/eess';
+/**
+ * Create a condition that checks each element individually.
+ *
+ * The predicate function returns true if the element satisfies the condition.
+ * Elements that return false produce a violation using the message function.
+ *
+ * @param description - Human-readable condition description
+ * @param predicate - Returns true if element satisfies the condition
+ * @param messageFn - Produces a violation message for a failing element
+ */
+export declare function elementCondition<T extends Node>(description: string, predicate: (element: T) => boolean, messageFn: (element: T) => string): Condition<T>;
+//# sourceMappingURL=helpers.d.ts.map

package/dist/conditions/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/conditions/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AACpC,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAInE;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,IAAI,EAC7C,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,OAAO,EAClC,SAAS,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,GAChC,SAAS,CAAC,CAAC,CAAC,CAad"}

package/dist/conditions/helpers.js

@@ -0,0 +1,26 @@
+import { createViolation } from '../core/violation.js';
+/**
+ * Create a condition that checks each element individually.
+ *
+ * The predicate function returns true if the element satisfies the condition.
+ * Elements that return false produce a violation using the message function.
+ *
+ * @param description - Human-readable condition description
+ * @param predicate - Returns true if element satisfies the condition
+ * @param messageFn - Produces a violation message for a failing element
+ */
+export function elementCondition(description, predicate, messageFn) {
+    return {
+        description,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const element of elements) {
+                if (!predicate(element)) {
+                    violations.push(createViolation(element, messageFn(element), context));
+                }
+            }
+            return violations;
+        },
+    };
+}
+//# sourceMappingURL=helpers.js.map

package/dist/conditions/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/conditions/helpers.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AAEtD;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,WAAmB,EACnB,SAAkC,EAClC,SAAiC;IAEjC,OAAO;QACL,WAAW;QACX,QAAQ,CAAC,QAAa,EAAE,OAAyB;YAC/C,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;oBACxB,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;gBACxE,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/conditions/jsx.d.ts

@@ -0,0 +1,40 @@
+import type { Condition } from '@nielspeter/eess';
+import type { ArchJsxElement } from '../models/arch-jsx-element.js';
+/**
+ * The filtered JSX element set must be empty — no elements should match the predicates.
+ *
+ * @example
+ * jsxElements(p).that().areHtmlElements('button').should().notExist().check()
+ */
+export declare function notExist(): Condition<ArchJsxElement>;
+/**
+ * Every matched element must have the named attribute.
+ *
+ * @example
+ * jsxElements(p).that().areHtmlElements('img').should().haveAttribute('alt').check()
+ */
+export declare function haveAttribute(name: string): Condition<ArchJsxElement>;
+/**
+ * No matched element may have the named attribute.
+ *
+ * @example
+ * jsxElements(p).should().notHaveAttribute('style').check()
+ */
+export declare function notHaveAttribute(name: string): Condition<ArchJsxElement>;
+/**
+ * Every matched element must have the named attribute with a value matching
+ * the given string or regex.
+ *
+ * @example
+ * jsxElements(p).that().areHtmlElements('input').should().haveAttributeMatching('type', 'text').check()
+ */
+export declare function haveAttributeMatching(name: string, value: string | RegExp): Condition<ArchJsxElement>;
+/**
+ * No matched element may have the named attribute matching the given value.
+ * Elements without the attribute pass.
+ *
+ * @example
+ * jsxElements(p).should().notHaveAttributeMatching('className', /hidden/).check()
+ */
+export declare function notHaveAttributeMatching(name: string, value: string | RegExp): Condition<ArchJsxElement>;
+//# sourceMappingURL=jsx.d.ts.map

package/dist/conditions/jsx.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx.d.ts","sourceRoot":"","sources":["../../src/conditions/jsx.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAGnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAyBnE;;;;;GAKG;AACH,wBAAgB,QAAQ,IAAI,SAAS,CAAC,cAAc,CAAC,CASpD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC,cAAc,CAAC,CAmBrE;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC,cAAc,CAAC,CAmBxE;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,GAAG,MAAM,GACrB,SAAS,CAAC,cAAc,CAAC,CAuC3B;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,GAAG,MAAM,GACrB,SAAS,CAAC,cAAc,CAAC,CAuB3B"}

package/dist/conditions/jsx.js

@@ -0,0 +1,133 @@
+import { createViolation } from '../core/violation.js';
+/**
+ * Create a violation from an ArchJsxElement.
+ *
+ * Delegates to the core createViolation() to get code frames, suggestions,
+ * and docs links. Overrides the element name with the JSX tag name.
+ */
+function createJsxViolation(element, message, context) {
+    const violation = createViolation(element.getNode(), message, {
+        rule: context.rule,
+        because: context.because,
+        suggestion: context.suggestion,
+        ruleId: context.ruleId,
+        docs: context.docs,
+    });
+    // Override element name with the JSX tag name (core helper walks ancestors
+    // which produces meaningless output for JSX nodes inside components)
+    return { ...violation, element: `<${element.getName()}>` };
+}
+/**
+ * The filtered JSX element set must be empty — no elements should match the predicates.
+ *
+ * @example
+ * jsxElements(p).that().areHtmlElements('button').should().notExist().check()
+ */
+export function notExist() {
+    return {
+        description: 'not exist',
+        evaluate(elements, context) {
+            return elements.map((el) => createJsxViolation(el, `<${el.getName()}> should not exist`, context));
+        },
+    };
+}
+/**
+ * Every matched element must have the named attribute.
+ *
+ * @example
+ * jsxElements(p).that().areHtmlElements('img').should().haveAttribute('alt').check()
+ */
+export function haveAttribute(name) {
+    return {
+        description: `have attribute "${name}"`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const el of elements) {
+                if (!el.hasAttribute(name)) {
+                    violations.push(createJsxViolation(el, `<${el.getName()}> is missing required attribute "${name}"`, context));
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * No matched element may have the named attribute.
+ *
+ * @example
+ * jsxElements(p).should().notHaveAttribute('style').check()
+ */
+export function notHaveAttribute(name) {
+    return {
+        description: `not have attribute "${name}"`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const el of elements) {
+                if (el.hasAttribute(name)) {
+                    violations.push(createJsxViolation(el, `<${el.getName()}> should not have attribute "${name}"`, context));
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Every matched element must have the named attribute with a value matching
+ * the given string or regex.
+ *
+ * @example
+ * jsxElements(p).that().areHtmlElements('input').should().haveAttributeMatching('type', 'text').check()
+ */
+export function haveAttributeMatching(name, value) {
+    const valueDesc = typeof value === 'string' ? `"${value}"` : String(value);
+    return {
+        description: `have attribute "${name}" matching ${valueDesc}`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const el of elements) {
+                if (!el.hasAttribute(name)) {
+                    violations.push(createJsxViolation(el, `<${el.getName()}> is missing attribute "${name}"`, context));
+                    continue;
+                }
+                const attrValue = el.getAttribute(name);
+                if (attrValue === undefined) {
+                    // Attribute is present but valueless (e.g. <input disabled />)
+                    violations.push(createJsxViolation(el, `<${el.getName()}> attribute "${name}" is valueless, expected a value matching ${valueDesc}`, context));
+                    continue;
+                }
+                const matches = typeof value === 'string' ? attrValue === value : value.test(attrValue);
+                if (!matches) {
+                    violations.push(createJsxViolation(el, `<${el.getName()}> attribute "${name}" value "${attrValue}" does not match ${valueDesc}`, context));
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * No matched element may have the named attribute matching the given value.
+ * Elements without the attribute pass.
+ *
+ * @example
+ * jsxElements(p).should().notHaveAttributeMatching('className', /hidden/).check()
+ */
+export function notHaveAttributeMatching(name, value) {
+    const valueDesc = typeof value === 'string' ? `"${value}"` : String(value);
+    return {
+        description: `not have attribute "${name}" matching ${valueDesc}`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const el of elements) {
+                const attrValue = el.getAttribute(name);
+                if (attrValue === undefined)
+                    continue; // absent = pass
+                const matches = typeof value === 'string' ? attrValue === value : value.test(attrValue);
+                if (matches) {
+                    violations.push(createJsxViolation(el, `<${el.getName()}> should not have attribute "${name}" matching ${valueDesc}`, context));
+                }
+            }
+            return violations;
+        },
+    };
+}
+//# sourceMappingURL=jsx.js.map

package/dist/conditions/jsx.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx.js","sourceRoot":"","sources":["../../src/conditions/jsx.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AAGtD;;;;;GAKG;AACH,SAAS,kBAAkB,CACzB,OAAuB,EACvB,OAAe,EACf,OAAyB;IAEzB,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE;QAC5D,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC,CAAA;IACF,2EAA2E;IAC3E,qEAAqE;IACrE,OAAO,EAAE,GAAG,SAAS,EAAE,OAAO,EAAE,IAAI,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,CAAA;AAC5D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ;IACtB,OAAO;QACL,WAAW,EAAE,WAAW;QACxB,QAAQ,CAAC,QAA0B,EAAE,OAAyB;YAC5D,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACzB,kBAAkB,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,oBAAoB,EAAE,OAAO,CAAC,CACtE,CAAA;QACH,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO;QACL,WAAW,EAAE,mBAAmB,IAAI,GAAG;QACvC,QAAQ,CAAC,QAA0B,EAAE,OAAyB;YAC5D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,UAAU,CAAC,IAAI,CACb,kBAAkB,CAChB,EAAE,EACF,IAAI,EAAE,CAAC,OAAO,EAAE,oCAAoC,IAAI,GAAG,EAC3D,OAAO,CACR,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAO;QACL,WAAW,EAAE,uBAAuB,IAAI,GAAG;QAC3C,QAAQ,CAAC,QAA0B,EAAE,OAAyB;YAC5D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1B,UAAU,CAAC,IAAI,CACb,kBAAkB,CAChB,EAAE,EACF,IAAI,EAAE,CAAC,OAAO,EAAE,gCAAgC,IAAI,GAAG,EACvD,OAAO,CACR,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,KAAsB;IAEtB,MAAM,SAAS,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC1E,OAAO;QACL,WAAW,EAAE,mBAAmB,IAAI,cAAc,SAAS,EAAE;QAC7D,QAAQ,CAAC,QAA0B,EAAE,OAAyB;YAC5D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,UAAU,CAAC,IAAI,CACb,kBAAkB,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,2BAA2B,IAAI,GAAG,EAAE,OAAO,CAAC,CACpF,CAAA;oBACD,SAAQ;gBACV,CAAC;gBACD,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;gBACvC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,+DAA+D;oBAC/D,UAAU,CAAC,IAAI,CACb,kBAAkB,CAChB,EAAE,EACF,IAAI,EAAE,CAAC,OAAO,EAAE,gBAAgB,IAAI,6CAA6C,SAAS,EAAE,EAC5F,OAAO,CACR,CACF,CAAA;oBACD,SAAQ;gBACV,CAAC;gBACD,MAAM,OAAO,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;gBACvF,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,UAAU,CAAC,IAAI,CACb,kBAAkB,CAChB,EAAE,EACF,IAAI,EAAE,CAAC,OAAO,EAAE,gBAAgB,IAAI,YAAY,SAAS,oBAAoB,SAAS,EAAE,EACxF,OAAO,CACR,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,KAAsB;IAEtB,MAAM,SAAS,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC1E,OAAO;QACL,WAAW,EAAE,uBAAuB,IAAI,cAAc,SAAS,EAAE;QACjE,QAAQ,CAAC,QAA0B,EAAE,OAAyB;YAC5D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;gBACvC,IAAI,SAAS,KAAK,SAAS;oBAAE,SAAQ,CAAC,gBAAgB;gBACtD,MAAM,OAAO,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;gBACvF,IAAI,OAAO,EAAE,CAAC;oBACZ,UAAU,CAAC,IAAI,CACb,kBAAkB,CAChB,EAAE,EACF,IAAI,EAAE,CAAC,OAAO,EAAE,gCAAgC,IAAI,cAAc,SAAS,EAAE,EAC7E,OAAO,CACR,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/conditions/members.d.ts

@@ -0,0 +1,74 @@
+import { type InterfaceDeclaration, type TypeAliasDeclaration, type ClassDeclaration } from 'ts-morph';
+import type { Condition } from '@nielspeter/eess';
+export type PropertyBearingNode = InterfaceDeclaration | TypeAliasDeclaration | ClassDeclaration;
+/**
+ * Assert that all named properties exist on the element.
+ * Every name must be present — violation per missing name.
+ *
+ * @param names At least one property name required. Throws if called with zero arguments.
+ *
+ * @example
+ * types(p).that().haveNameMatching(/Config$/)
+ *   .should().havePropertyNamed('version', 'name')
+ *   .check()
+ */
+export declare function havePropertyNamed(...names: string[]): Condition<PropertyBearingNode>;
+/**
+ * Assert that none of the named properties exist on the element.
+ * Violation per element per forbidden name found.
+ *
+ * @param names At least one property name required. Throws if called with zero arguments.
+ *
+ * @example
+ * types(p).that().resideInFolder('src/api')
+ *   .should().notHavePropertyNamed('offset', 'pageSize', 'page', 'size')
+ *   .because('use skip/limit for pagination')
+ *   .check()
+ */
+export declare function notHavePropertyNamed(...names: string[]): Condition<PropertyBearingNode>;
+/**
+ * Assert at least one property name matches the regex.
+ * Semantics: EXISTS — violation if *no* property name matches.
+ *
+ * Note: this checks for existence of at least one match, unlike
+ * `havePropertyNamed(...names)` which requires ALL names to exist.
+ *
+ * @example
+ * types(p).that().haveNameMatching(/Entity$/)
+ *   .should().havePropertyMatching(/^id$/)
+ *   .check()
+ */
+export declare function havePropertyMatching(pattern: RegExp): Condition<PropertyBearingNode>;
+/**
+ * Assert no property name matches the regex.
+ * Violation per matching property found.
+ *
+ * @example
+ * types(p).should().notHavePropertyMatching(/^(data|info|stuff|item)$/).check()
+ */
+export declare function notHavePropertyMatching(pattern: RegExp): Condition<PropertyBearingNode>;
+/**
+ * Assert all properties are readonly.
+ *
+ * Checks direct declarations for explicit `readonly` keyword, and
+ * falls back to TypeScript compiler's CheckFlags for mapped types
+ * like Readonly<T>.
+ *
+ * @example
+ * types(p).that().resideInFolder('src/state')
+ *   .should().haveOnlyReadonlyProperties()
+ *   .because('state objects must be immutable')
+ *   .check()
+ */
+export declare function haveOnlyReadonlyProperties(): Condition<PropertyBearingNode>;
+/**
+ * Assert property count does not exceed the maximum.
+ * Detects god objects / oversized DTOs.
+ *
+ * @example
+ * types(p).should().maxProperties(15)
+ *   .because('large interfaces indicate a missing abstraction')
+ *   .check()
+ */
+export declare function maxProperties(max: number): Condition<PropertyBearingNode>;
+//# sourceMappingURL=members.d.ts.map

package/dist/conditions/members.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"members.d.ts","sourceRoot":"","sources":["../../src/conditions/members.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EAEtB,MAAM,UAAU,CAAA;AACjB,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAOnE,MAAM,MAAM,mBAAmB,GAAG,oBAAoB,GAAG,oBAAoB,GAAG,gBAAgB,CAAA;AA0DhG;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,mBAAmB,CAAC,CA2BpF;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,mBAAmB,CAAC,CA2BvF;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC,mBAAmB,CAAC,CAWpF;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC,mBAAmB,CAAC,CAwBvF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,0BAA0B,IAAI,SAAS,CAAC,mBAAmB,CAAC,CAsB3E;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC,mBAAmB,CAAC,CAoBzE"}