@nielspeter/eess-ts 0.1.0

package/dist/builders/function-rule-builder.js

@@ -0,0 +1,287 @@
+import { RuleBuilder } from '@nielspeter/eess';
+import { functionContain, functionNotContain, functionUseInsteadOf, functionNotHaveEmptyBody, } from '../conditions/body-analysis-function.js';
+import { collectFunctions } from '../models/arch-function.js';
+import { followPattern as followPatternCondition } from '../conditions/pattern.js';
+import { notExist as fnNotExist, beExported as fnBeExported, beAsync as fnBeAsync, haveNameMatching as fnConditionHaveNameMatching, acceptParameterOfType as fnAcceptParameterOfType, notAcceptParameterOfType as fnNotAcceptParameterOfType, haveReturnTypeMatching as fnHaveReturnTypeMatching, resideInFile as fnConditionResideInFile, resideInFolder as fnConditionResideInFolder, } from '../conditions/function.js';
+import { haveNameMatching as identityHaveNameMatching, haveNameStartingWith as identityHaveNameStartingWith, haveNameEndingWith as identityHaveNameEndingWith, resideInFile as identityResideInFile, resideInFolder as identityResideInFolder, areExported as identityAreExported, areNotExported as identityAreNotExported, } from '../predicates/identity.js';
+import { arePublic as fnArePublic, areProtected as fnAreProtected, arePrivate as fnArePrivate, areAsync as fnAreAsync, areNotAsync as fnAreNotAsync, haveParameterCount as fnHaveParameterCount, haveParameterCountGreaterThan as fnHaveParameterCountGreaterThan, haveParameterCountLessThan as fnHaveParameterCountLessThan, haveParameterNamed as fnHaveParameterNamed, haveReturnType as fnHaveReturnType, haveRestParameter as fnHaveRestParameter, haveOptionalParameter as fnHaveOptionalParameter, haveParameterOfType as fnHaveParameterOfType, haveParameterNameMatching as fnHaveParameterNameMatching, } from '../predicates/function.js';
+/**
+ * Rule builder for function-level architecture rules.
+ *
+ * Operates on both FunctionDeclarations and const arrow functions,
+ * unified through the ArchFunction model.
+ *
+ * @example
+ * ```typescript
+ * // All parseXxxOrder functions should not exist
+ * functions(project)
+ *   .that().haveNameMatching(/^parse\w+Order$/)
+ *   .should(notExist())
+ *   .because('use shared parseOrder() utility instead')
+ *   .check()
+ *
+ * // No function should have more than 5 parameters
+ * functions(project)
+ *   .that().haveParameterCountGreaterThan(5)
+ *   .should(notExist())
+ *   .because('functions with many parameters are hard to use')
+ *   .check()
+ *
+ * // All exported async functions should have names starting with a verb
+ * functions(project)
+ *   .that().areExported().and().areAsync()
+ *   .should().haveNameMatching(/^(get|find|create|update|delete|fetch|load|save)/)
+ *   .because('async functions should use verb prefixes')
+ *   .check()
+ * ```
+ */
+export class FunctionRuleBuilder extends RuleBuilder {
+    getElements() {
+        return this.project.getSourceFiles().flatMap((sf) => collectFunctions(sf));
+    }
+    // --- Identity predicates (delegated to plan 0003 generics) ---
+    /**
+     * After `.that()`: filter functions whose name matches the pattern.
+     * After `.should()`: assert matched functions have names matching the pattern.
+     */
+    haveNameMatching(pattern) {
+        if (this._phase === 'condition') {
+            const regex = typeof pattern === 'string' ? new RegExp(pattern) : pattern;
+            return this.addCondition(fnConditionHaveNameMatching(regex));
+        }
+        return this.addPredicate(identityHaveNameMatching(pattern));
+    }
+    /** Filter to functions whose name starts with the given prefix. */
+    haveNameStartingWith(prefix) {
+        return this.addPredicate(identityHaveNameStartingWith(prefix));
+    }
+    /** Filter to functions whose name ends with the given suffix. */
+    haveNameEndingWith(suffix) {
+        return this.addPredicate(identityHaveNameEndingWith(suffix));
+    }
+    /**
+     * After `.that()`: filter functions in a file matching the glob.
+     * After `.should()`: assert functions reside in a file matching the glob.
+     */
+    resideInFile(glob) {
+        if (this._phase === 'condition') {
+            return this.addCondition(fnConditionResideInFile(glob));
+        }
+        return this.addPredicate(identityResideInFile(glob));
+    }
+    /**
+     * After `.that()`: filter functions in a folder matching the glob.
+     * After `.should()`: assert functions reside in a folder matching the glob.
+     */
+    resideInFolder(glob) {
+        if (this._phase === 'condition') {
+            return this.addCondition(fnConditionResideInFolder(glob));
+        }
+        return this.addPredicate(identityResideInFolder(glob));
+    }
+    /** Filter to functions that are exported from their module. */
+    areExported() {
+        return this.addPredicate(identityAreExported());
+    }
+    /** Filter to functions that are NOT exported from their module. */
+    areNotExported() {
+        return this.addPredicate(identityAreNotExported());
+    }
+    // --- Visibility predicates (plan 0032) ---
+    /**
+     * Filter to public functions. Class methods match when `public` or
+     * unmarked; standalone and arrow functions are always public.
+     */
+    arePublic() {
+        return this.addPredicate(fnArePublic());
+    }
+    /** Filter to `protected` class methods (standalone functions never match). */
+    areProtected() {
+        return this.addPredicate(fnAreProtected());
+    }
+    /** Filter to `private` class methods (standalone functions never match). */
+    arePrivate() {
+        return this.addPredicate(fnArePrivate());
+    }
+    // --- Function-specific predicates ---
+    /** Filter to functions declared with the `async` keyword. */
+    areAsync() {
+        return this.addPredicate(fnAreAsync());
+    }
+    /** Filter to functions NOT declared `async`. */
+    areNotAsync() {
+        return this.addPredicate(fnAreNotAsync());
+    }
+    /** Filter to functions that declare exactly `n` parameters. */
+    haveParameterCount(n) {
+        return this.addPredicate(fnHaveParameterCount(n));
+    }
+    /** Filter to functions that declare more than `n` parameters. */
+    haveParameterCountGreaterThan(n) {
+        return this.addPredicate(fnHaveParameterCountGreaterThan(n));
+    }
+    /** Filter to functions that declare fewer than `n` parameters. */
+    haveParameterCountLessThan(n) {
+        return this.addPredicate(fnHaveParameterCountLessThan(n));
+    }
+    /** Filter to functions that declare a parameter with the given exact name. */
+    haveParameterNamed(name) {
+        return this.addPredicate(fnHaveParameterNamed(name));
+    }
+    /**
+     * Filter to functions whose return type text matches the pattern
+     * (e.g. `/Promise</`, `'void'`). A string is compiled to a RegExp.
+     */
+    haveReturnType(pattern) {
+        return this.addPredicate(fnHaveReturnType(pattern));
+    }
+    /** Filter to functions that declare a rest parameter (`...args`). */
+    haveRestParameter() {
+        return this.addPredicate(fnHaveRestParameter());
+    }
+    /** Filter to functions with at least one optional (`x?`) or default-valued parameter. */
+    haveOptionalParameter() {
+        return this.addPredicate(fnHaveOptionalParameter());
+    }
+    /**
+     * Filter to functions whose parameter at `index` has a type satisfying
+     * the matcher. Out-of-bounds indices never match; for a rest parameter
+     * the type is the array type (e.g. `string[]`).
+     */
+    haveParameterOfType(index, matcher) {
+        return this.addPredicate(fnHaveParameterOfType(index, matcher));
+    }
+    /** Filter to functions with at least one parameter whose name matches the regex. */
+    haveParameterNameMatching(pattern) {
+        return this.addPredicate(fnHaveParameterNameMatching(pattern));
+    }
+    // --- Condition methods ---
+    /**
+     * Register a condition. Public API for passing standalone conditions
+     * (like notExist(), beExported()) into the builder chain.
+     */
+    withCondition(condition) {
+        return this.addCondition(condition);
+    }
+    /**
+     * The filtered function set must be empty.
+     */
+    notExist() {
+        return this.addCondition(fnNotExist());
+    }
+    /**
+     * Functions must be exported from their module.
+     */
+    beExported() {
+        return this.addCondition(fnBeExported());
+    }
+    /**
+     * Functions must be async.
+     */
+    beAsync() {
+        return this.addCondition(fnBeAsync());
+    }
+    /** @deprecated Use `haveNameMatching()` after `.should()` instead. */
+    conditionHaveNameMatching(pattern) {
+        return this.addCondition(fnConditionHaveNameMatching(pattern));
+    }
+    // --- Parameter type condition methods (plan 0031) ---
+    /**
+     * Assert that at least one parameter has a type matching the given matcher.
+     *
+     * **Scope note:** Scans only the function's own parameter list.
+     * Unlike the class-level counterpart, does NOT scan set accessors
+     * because `collectFunctions()` excludes them.
+     */
+    acceptParameterOfType(matcher) {
+        return this.addCondition(fnAcceptParameterOfType(matcher));
+    }
+    /**
+     * Assert that NO parameter has a type matching the given matcher.
+     * Reports one violation per matching parameter.
+     *
+     * **Scope note:** Scans only the function's own parameter list.
+     * Unlike the class-level counterpart, does NOT scan set accessors
+     * because `collectFunctions()` excludes them.
+     */
+    notAcceptParameterOfType(matcher) {
+        return this.addCondition(fnNotAcceptParameterOfType(matcher));
+    }
+    // --- Return type condition (plan 0033) ---
+    /**
+     * Assert that the function's return type satisfies the given TypeMatcher.
+     *
+     * Uses TypeMatcher for composability with `isString()`, `matching()`,
+     * `not()`, `exactly()`, etc.
+     *
+     * @example
+     * functions(project)
+     *   .that().haveNameMatching(/^list/)
+     *   .should().haveReturnTypeMatching(matching(/Collection/))
+     *   .check()
+     */
+    haveReturnTypeMatching(matcher) {
+        return this.addCondition(fnHaveReturnTypeMatching(matcher));
+    }
+    // --- Body analysis condition methods (plan 0011) ---
+    /**
+     * Assert that the function body contains at least one match.
+     */
+    contain(matcher) {
+        return this.addCondition(functionContain(matcher));
+    }
+    /**
+     * Assert that the function body does NOT contain any match.
+     * Produces one violation per matching node found.
+     */
+    notContain(matcher) {
+        return this.addCondition(functionNotContain(matcher));
+    }
+    /**
+     * Assert: must NOT contain 'bad' AND must contain 'good'.
+     * Better violation messages than combining notContain + contain separately.
+     */
+    useInsteadOf(bad, good) {
+        return this.addCondition(functionUseInsteadOf(bad, good));
+    }
+    /**
+     * Assert that matched functions do not have empty bodies.
+     * Expression-bodied arrows always pass (no block body).
+     */
+    notHaveEmptyBody() {
+        return this.addCondition(functionNotHaveEmptyBody());
+    }
+    /**
+     * Assert that matched functions follow an architectural pattern.
+     *
+     * Checks that return types contain all properties defined in
+     * the pattern's returnShape with matching types.
+     */
+    followPattern(pattern) {
+        return this.addCondition(followPatternCondition(pattern));
+    }
+}
+/**
+ * Entry point for function-level architecture rules.
+ *
+ * Scans all source files in the project for both FunctionDeclarations
+ * and const arrow functions (VariableDeclaration with ArrowFunction initializer).
+ *
+ * @example
+ * ```typescript
+ * import { project, functions } from '@nielspeter/eess-ts'
+ *
+ * const p = project('tsconfig.json')
+ *
+ * // All parseXxxOrder functions should not exist
+ * functions(p)
+ *   .that().haveNameMatching(/^parse\w+Order$/)
+ *   .should(notExist())
+ *   .because('use shared parseOrder() utility instead')
+ *   .check()
+ * ```
+ */
+export function functions(p) {
+    return new FunctionRuleBuilder(p);
+}
+//# sourceMappingURL=function-rule-builder.js.map

package/dist/builders/function-rule-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"function-rule-builder.js","sourceRoot":"","sources":["../../src/builders/function-rule-builder.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,yCAAyC,CAAA;AAEhD,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAC7D,OAAO,EAAE,aAAa,IAAI,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AAElF,OAAO,EACL,QAAQ,IAAI,UAAU,EACtB,UAAU,IAAI,YAAY,EAC1B,OAAO,IAAI,SAAS,EACpB,gBAAgB,IAAI,2BAA2B,EAC/C,qBAAqB,IAAI,uBAAuB,EAChD,wBAAwB,IAAI,0BAA0B,EACtD,sBAAsB,IAAI,wBAAwB,EAClD,YAAY,IAAI,uBAAuB,EACvC,cAAc,IAAI,yBAAyB,GAC5C,MAAM,2BAA2B,CAAA;AAClC,OAAO,EACL,gBAAgB,IAAI,wBAAwB,EAC5C,oBAAoB,IAAI,4BAA4B,EACpD,kBAAkB,IAAI,0BAA0B,EAChD,YAAY,IAAI,oBAAoB,EACpC,cAAc,IAAI,sBAAsB,EACxC,WAAW,IAAI,mBAAmB,EAClC,cAAc,IAAI,sBAAsB,GACzC,MAAM,2BAA2B,CAAA;AAElC,OAAO,EACL,SAAS,IAAI,WAAW,EACxB,YAAY,IAAI,cAAc,EAC9B,UAAU,IAAI,YAAY,EAC1B,QAAQ,IAAI,UAAU,EACtB,WAAW,IAAI,aAAa,EAC5B,kBAAkB,IAAI,oBAAoB,EAC1C,6BAA6B,IAAI,+BAA+B,EAChE,0BAA0B,IAAI,4BAA4B,EAC1D,kBAAkB,IAAI,oBAAoB,EAC1C,cAAc,IAAI,gBAAgB,EAClC,iBAAiB,IAAI,mBAAmB,EACxC,qBAAqB,IAAI,uBAAuB,EAChD,mBAAmB,IAAI,qBAAqB,EAC5C,yBAAyB,IAAI,2BAA2B,GACzD,MAAM,2BAA2B,CAAA;AAElC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,OAAO,mBAAoB,SAAQ,WAAsC;IACnE,WAAW;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5E,CAAC;IAED,gEAAgE;IAEhE;;;OAGG;IACH,gBAAgB,CAAC,OAAwB;QACvC,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;YACzE,OAAO,IAAI,CAAC,YAAY,CAAC,2BAA2B,CAAC,KAAK,CAAC,CAAC,CAAA;QAC9D,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,wBAAwB,CAAe,OAAO,CAAC,CAAC,CAAA;IAC3E,CAAC;IAED,mEAAmE;IACnE,oBAAoB,CAAC,MAAc;QACjC,OAAO,IAAI,CAAC,YAAY,CAAC,4BAA4B,CAAe,MAAM,CAAC,CAAC,CAAA;IAC9E,CAAC;IAED,iEAAiE;IACjE,kBAAkB,CAAC,MAAc;QAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,0BAA0B,CAAe,MAAM,CAAC,CAAC,CAAA;IAC5E,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,IAAY;QACvB,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAA;QACzD,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAe,IAAI,CAAC,CAAC,CAAA;IACpE,CAAC;IAED;;;OAGG;IACH,cAAc,CAAC,IAAY;QACzB,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,YAAY,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAA;QAC3D,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAe,IAAI,CAAC,CAAC,CAAA;IACtE,CAAC;IAED,+DAA+D;IAC/D,WAAW;QACT,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAgB,CAAC,CAAA;IAC/D,CAAC;IAED,mEAAmE;IACnE,cAAc;QACZ,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,EAAgB,CAAC,CAAA;IAClE,CAAC;IAED,4CAA4C;IAE5C;;;OAGG;IACH,SAAS;QACP,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC,CAAA;IACzC,CAAC;IAED,8EAA8E;IAC9E,YAAY;QACV,OAAO,IAAI,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC,CAAA;IAC5C,CAAC;IAED,4EAA4E;IAC5E,UAAU;QACR,OAAO,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,CAAC,CAAA;IAC1C,CAAC;IAED,uCAAuC;IAEvC,6DAA6D;IAC7D,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAA;IACxC,CAAC;IAED,gDAAgD;IAChD,WAAW;QACT,OAAO,IAAI,CAAC,YAAY,CAAC,aAAa,EAAE,CAAC,CAAA;IAC3C,CAAC;IAED,+DAA+D;IAC/D,kBAAkB,CAAC,CAAS;QAC1B,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAA;IACnD,CAAC;IAED,iEAAiE;IACjE,6BAA6B,CAAC,CAAS;QACrC,OAAO,IAAI,CAAC,YAAY,CAAC,+BAA+B,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9D,CAAC;IAED,kEAAkE;IAClE,0BAA0B,CAAC,CAAS;QAClC,OAAO,IAAI,CAAC,YAAY,CAAC,4BAA4B,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3D,CAAC;IAED,8EAA8E;IAC9E,kBAAkB,CAAC,IAAY;QAC7B,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAA;IACtD,CAAC;IAED;;;OAGG;IACH,cAAc,CAAC,OAAwB;QACrC,OAAO,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAA;IACrD,CAAC;IAED,qEAAqE;IACrE,iBAAiB;QACf,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC,CAAA;IACjD,CAAC;IAED,yFAAyF;IACzF,qBAAqB;QACnB,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,EAAE,CAAC,CAAA;IACrD,CAAC;IAED;;;;OAIG;IACH,mBAAmB,CAAC,KAAa,EAAE,OAAoB;QACrD,OAAO,IAAI,CAAC,YAAY,CAAC,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IACjE,CAAC;IAED,oFAAoF;IACpF,yBAAyB,CAAC,OAAe;QACvC,OAAO,IAAI,CAAC,YAAY,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC,CAAA;IAChE,CAAC;IAED,4BAA4B;IAE5B;;;OAGG;IACH,aAAa,CAAC,SAAkC;QAC9C,OAAO,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;IACrC,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAA;IACxC,CAAC;IAED;;OAEG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,CAAC,CAAA;IAC1C,CAAC;IAED;;OAEG;IACH,OAAO;QACL,OAAO,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,CAAA;IACvC,CAAC;IAED,sEAAsE;IACtE,yBAAyB,CAAC,OAAe;QACvC,OAAO,IAAI,CAAC,YAAY,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC,CAAA;IAChE,CAAC;IAED,uDAAuD;IAEvD;;;;;;OAMG;IACH,qBAAqB,CAAC,OAAoB;QACxC,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAA;IAC5D,CAAC;IAED;;;;;;;OAOG;IACH,wBAAwB,CAAC,OAAoB;QAC3C,OAAO,IAAI,CAAC,YAAY,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAA;IAC/D,CAAC;IAED,4CAA4C;IAE5C;;;;;;;;;;;OAWG;IACH,sBAAsB,CAAC,OAAoB;QACzC,OAAO,IAAI,CAAC,YAAY,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED,sDAAsD;IAEtD;;OAEG;IACH,OAAO,CAAC,OAA0B;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAA;IACpD,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,OAA0B;QACnC,OAAO,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAA;IACvD,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,GAAsB,EAAE,IAAuB;QAC1D,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;IAC3D,CAAC;IAED;;;OAGG;IACH,gBAAgB;QACd,OAAO,IAAI,CAAC,YAAY,CAAC,wBAAwB,EAAE,CAAC,CAAA;IACtD,CAAC;IAED;;;;;OAKG;IACH,aAAa,CAAC,OAAoB;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAA;IAC3D,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,SAAS,CAAC,CAAc;IACtC,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,CAAA;AACnC,CAAC"}

package/dist/builders/jsx-rule-builder.d.ts

@@ -0,0 +1,113 @@
+import type { ArchProject } from '../core/project.js';
+import { RuleBuilder } from '@nielspeter/eess';
+import type { ArchJsxElement } from '../models/arch-jsx-element.js';
+/**
+ * Rule builder for JSX element architecture rules.
+ *
+ * Operates on JsxElement and JsxSelfClosingElement nodes across all .tsx/.jsx
+ * source files, wrapped in the ArchJsxElement model for uniform predicate access.
+ *
+ * Uses **distinct names** for predicates vs conditions on attributes:
+ * - Predicates (`.that()` phase): `withAttribute`, `withAttributeMatching`
+ * - Conditions (`.should()` phase): `haveAttribute`, `notHaveAttribute`,
+ *   `haveAttributeMatching`, `notHaveAttributeMatching`
+ *
+ * @example
+ * ```typescript
+ * // No raw <button> — use design system components
+ * jsxElements(project)
+ *   .that().areHtmlElements('button', 'input', 'select')
+ *   .should().notExist()
+ *   .because('use design system components instead of raw HTML')
+ *   .check()
+ *
+ * // Every <img> must have alt
+ * jsxElements(project)
+ *   .that().areHtmlElements('img')
+ *   .should().haveAttribute('alt')
+ *   .because('images must have alt text for accessibility')
+ *   .check()
+ *
+ * // Elements with onClick must have aria-label
+ * jsxElements(project)
+ *   .that().withAttribute('onClick')
+ *   .should().haveAttribute('aria-label')
+ *   .check()
+ * ```
+ */
+export declare class JsxRuleBuilder extends RuleBuilder<ArchJsxElement, ArchProject> {
+    protected getElements(): ArchJsxElement[];
+    /** Filter to JSX elements whose tag/component name matches the pattern. */
+    haveNameMatching(pattern: RegExp | string): this;
+    /** Filter to JSX elements whose tag/component name starts with the prefix. */
+    haveNameStartingWith(prefix: string): this;
+    /** Filter to JSX elements whose tag/component name ends with the suffix. */
+    haveNameEndingWith(suffix: string): this;
+    /** Filter to JSX elements in a file whose absolute path matches the glob. */
+    resideInFile(glob: string): this;
+    /** Filter to JSX elements in a folder whose path matches the glob. */
+    resideInFolder(glob: string): this;
+    /**
+     * Filter to intrinsic HTML elements with any of the given lowercase tags
+     * (e.g. `areHtmlElements('button', 'input')`). Requires at least one tag.
+     */
+    areHtmlElements(...tags: string[]): this;
+    /**
+     * Filter to component elements (uppercase or dotted names). With no
+     * arguments matches all components; with names, only those (use the full
+     * dotted name for namespaced components, e.g. `'Icons.Check'`).
+     */
+    areComponents(...names: string[]): this;
+    /** Filter to elements that have the named attribute, regardless of value. */
+    withAttribute(name: string): this;
+    /** Filter to elements whose named attribute value equals the string or matches the regex. */
+    withAttributeMatching(name: string, value: string | RegExp): this;
+    /**
+     * The filtered JSX element set must be empty.
+     */
+    notExist(): this;
+    /**
+     * Every matched element must have the named attribute.
+     */
+    haveAttribute(name: string): this;
+    /**
+     * No matched element may have the named attribute.
+     */
+    notHaveAttribute(name: string): this;
+    /**
+     * Every matched element must have the named attribute matching the value.
+     */
+    haveAttributeMatching(name: string, value: string | RegExp): this;
+    /**
+     * No matched element may have the named attribute matching the value.
+     */
+    notHaveAttributeMatching(name: string, value: string | RegExp): this;
+}
+/**
+ * Entry point for JSX element architecture rules.
+ *
+ * Scans all .tsx/.jsx source files in the project for JsxElement and
+ * JsxSelfClosingElement nodes and wraps them in ArchJsxElement for
+ * predicate/condition evaluation.
+ *
+ * @example
+ * ```typescript
+ * import { project, jsxElements, STANDARD_HTML_TAGS } from '@nielspeter/eess-ts'
+ *
+ * const p = project('tsconfig.json')
+ *
+ * // Ban raw HTML form elements
+ * jsxElements(p)
+ *   .that().areHtmlElements('button', 'input', 'select')
+ *   .should().notExist()
+ *   .check()
+ *
+ * // Every <img> must have alt
+ * jsxElements(p)
+ *   .that().areHtmlElements('img')
+ *   .should().haveAttribute('alt')
+ *   .check()
+ * ```
+ */
+export declare function jsxElements(p: ArchProject): JsxRuleBuilder;
+//# sourceMappingURL=jsx-rule-builder.d.ts.map

package/dist/builders/jsx-rule-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-rule-builder.d.ts","sourceRoot":"","sources":["../../src/builders/jsx-rule-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAuBnE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,qBAAa,cAAe,SAAQ,WAAW,CAAC,cAAc,EAAE,WAAW,CAAC;IAC1E,SAAS,CAAC,WAAW,IAAI,cAAc,EAAE;IAMzC,2EAA2E;IAC3E,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAIhD,8EAA8E;IAC9E,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAI1C,4EAA4E;IAC5E,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAIxC,6EAA6E;IAC7E,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAIhC,sEAAsE;IACtE,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAMlC;;;OAGG;IACH,eAAe,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAIxC;;;;OAIG;IACH,aAAa,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAIvC,6EAA6E;IAC7E,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAIjC,6FAA6F;IAC7F,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAMjE;;OAEG;IACH,QAAQ,IAAI,IAAI;IAIhB;;OAEG;IACH,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAIjC;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAIpC;;OAEG;IACH,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAIjE;;OAEG;IACH,wBAAwB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;CAGrE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,WAAW,GAAG,cAAc,CAE1D"}

package/dist/builders/jsx-rule-builder.js

@@ -0,0 +1,150 @@
+import { RuleBuilder } from '@nielspeter/eess';
+import { collectJsxElements } from '../models/arch-jsx-element.js';
+import { haveNameMatching as identityHaveNameMatching, haveNameStartingWith as identityHaveNameStartingWith, haveNameEndingWith as identityHaveNameEndingWith, resideInFile as identityResideInFile, resideInFolder as identityResideInFolder, } from '../predicates/identity.js';
+import { areHtmlElements as jsxAreHtmlElements, areComponents as jsxAreComponents, withAttribute as jsxWithAttribute, withAttributeMatching as jsxWithAttributeMatching, } from '../predicates/jsx.js';
+import { notExist as jsxNotExist, haveAttribute as conditionHaveAttribute, notHaveAttribute as conditionNotHaveAttribute, haveAttributeMatching as conditionHaveAttributeMatching, notHaveAttributeMatching as conditionNotHaveAttributeMatching, } from '../conditions/jsx.js';
+/**
+ * Rule builder for JSX element architecture rules.
+ *
+ * Operates on JsxElement and JsxSelfClosingElement nodes across all .tsx/.jsx
+ * source files, wrapped in the ArchJsxElement model for uniform predicate access.
+ *
+ * Uses **distinct names** for predicates vs conditions on attributes:
+ * - Predicates (`.that()` phase): `withAttribute`, `withAttributeMatching`
+ * - Conditions (`.should()` phase): `haveAttribute`, `notHaveAttribute`,
+ *   `haveAttributeMatching`, `notHaveAttributeMatching`
+ *
+ * @example
+ * ```typescript
+ * // No raw <button> — use design system components
+ * jsxElements(project)
+ *   .that().areHtmlElements('button', 'input', 'select')
+ *   .should().notExist()
+ *   .because('use design system components instead of raw HTML')
+ *   .check()
+ *
+ * // Every <img> must have alt
+ * jsxElements(project)
+ *   .that().areHtmlElements('img')
+ *   .should().haveAttribute('alt')
+ *   .because('images must have alt text for accessibility')
+ *   .check()
+ *
+ * // Elements with onClick must have aria-label
+ * jsxElements(project)
+ *   .that().withAttribute('onClick')
+ *   .should().haveAttribute('aria-label')
+ *   .check()
+ * ```
+ */
+export class JsxRuleBuilder extends RuleBuilder {
+    getElements() {
+        return this.project.getSourceFiles().flatMap(collectJsxElements);
+    }
+    // --- Identity predicates (predicate-only, following CallRuleBuilder pattern) ---
+    /** Filter to JSX elements whose tag/component name matches the pattern. */
+    haveNameMatching(pattern) {
+        return this.addPredicate(identityHaveNameMatching(pattern));
+    }
+    /** Filter to JSX elements whose tag/component name starts with the prefix. */
+    haveNameStartingWith(prefix) {
+        return this.addPredicate(identityHaveNameStartingWith(prefix));
+    }
+    /** Filter to JSX elements whose tag/component name ends with the suffix. */
+    haveNameEndingWith(suffix) {
+        return this.addPredicate(identityHaveNameEndingWith(suffix));
+    }
+    /** Filter to JSX elements in a file whose absolute path matches the glob. */
+    resideInFile(glob) {
+        return this.addPredicate(identityResideInFile(glob));
+    }
+    /** Filter to JSX elements in a folder whose path matches the glob. */
+    resideInFolder(glob) {
+        return this.addPredicate(identityResideInFolder(glob));
+    }
+    // --- JSX-specific predicates ---
+    /**
+     * Filter to intrinsic HTML elements with any of the given lowercase tags
+     * (e.g. `areHtmlElements('button', 'input')`). Requires at least one tag.
+     */
+    areHtmlElements(...tags) {
+        return this.addPredicate(jsxAreHtmlElements(...tags));
+    }
+    /**
+     * Filter to component elements (uppercase or dotted names). With no
+     * arguments matches all components; with names, only those (use the full
+     * dotted name for namespaced components, e.g. `'Icons.Check'`).
+     */
+    areComponents(...names) {
+        return this.addPredicate(jsxAreComponents(...names));
+    }
+    /** Filter to elements that have the named attribute, regardless of value. */
+    withAttribute(name) {
+        return this.addPredicate(jsxWithAttribute(name));
+    }
+    /** Filter to elements whose named attribute value equals the string or matches the regex. */
+    withAttributeMatching(name, value) {
+        return this.addPredicate(jsxWithAttributeMatching(name, value));
+    }
+    // --- Condition methods ---
+    /**
+     * The filtered JSX element set must be empty.
+     */
+    notExist() {
+        return this.addCondition(jsxNotExist());
+    }
+    /**
+     * Every matched element must have the named attribute.
+     */
+    haveAttribute(name) {
+        return this.addCondition(conditionHaveAttribute(name));
+    }
+    /**
+     * No matched element may have the named attribute.
+     */
+    notHaveAttribute(name) {
+        return this.addCondition(conditionNotHaveAttribute(name));
+    }
+    /**
+     * Every matched element must have the named attribute matching the value.
+     */
+    haveAttributeMatching(name, value) {
+        return this.addCondition(conditionHaveAttributeMatching(name, value));
+    }
+    /**
+     * No matched element may have the named attribute matching the value.
+     */
+    notHaveAttributeMatching(name, value) {
+        return this.addCondition(conditionNotHaveAttributeMatching(name, value));
+    }
+}
+/**
+ * Entry point for JSX element architecture rules.
+ *
+ * Scans all .tsx/.jsx source files in the project for JsxElement and
+ * JsxSelfClosingElement nodes and wraps them in ArchJsxElement for
+ * predicate/condition evaluation.
+ *
+ * @example
+ * ```typescript
+ * import { project, jsxElements, STANDARD_HTML_TAGS } from '@nielspeter/eess-ts'
+ *
+ * const p = project('tsconfig.json')
+ *
+ * // Ban raw HTML form elements
+ * jsxElements(p)
+ *   .that().areHtmlElements('button', 'input', 'select')
+ *   .should().notExist()
+ *   .check()
+ *
+ * // Every <img> must have alt
+ * jsxElements(p)
+ *   .that().areHtmlElements('img')
+ *   .should().haveAttribute('alt')
+ *   .check()
+ * ```
+ */
+export function jsxElements(p) {
+    return new JsxRuleBuilder(p);
+}
+//# sourceMappingURL=jsx-rule-builder.js.map

package/dist/builders/jsx-rule-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-rule-builder.js","sourceRoot":"","sources":["../../src/builders/jsx-rule-builder.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AAClE,OAAO,EACL,gBAAgB,IAAI,wBAAwB,EAC5C,oBAAoB,IAAI,4BAA4B,EACpD,kBAAkB,IAAI,0BAA0B,EAChD,YAAY,IAAI,oBAAoB,EACpC,cAAc,IAAI,sBAAsB,GACzC,MAAM,2BAA2B,CAAA;AAClC,OAAO,EACL,eAAe,IAAI,kBAAkB,EACrC,aAAa,IAAI,gBAAgB,EACjC,aAAa,IAAI,gBAAgB,EACjC,qBAAqB,IAAI,wBAAwB,GAClD,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EACL,QAAQ,IAAI,WAAW,EACvB,aAAa,IAAI,sBAAsB,EACvC,gBAAgB,IAAI,yBAAyB,EAC7C,qBAAqB,IAAI,8BAA8B,EACvD,wBAAwB,IAAI,iCAAiC,GAC9D,MAAM,sBAAsB,CAAA;AAE7B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,OAAO,cAAe,SAAQ,WAAwC;IAChE,WAAW;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAA;IAClE,CAAC;IAED,kFAAkF;IAElF,2EAA2E;IAC3E,gBAAgB,CAAC,OAAwB;QACvC,OAAO,IAAI,CAAC,YAAY,CAAC,wBAAwB,CAAiB,OAAO,CAAC,CAAC,CAAA;IAC7E,CAAC;IAED,8EAA8E;IAC9E,oBAAoB,CAAC,MAAc;QACjC,OAAO,IAAI,CAAC,YAAY,CAAC,4BAA4B,CAAiB,MAAM,CAAC,CAAC,CAAA;IAChF,CAAC;IAED,4EAA4E;IAC5E,kBAAkB,CAAC,MAAc;QAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,0BAA0B,CAAiB,MAAM,CAAC,CAAC,CAAA;IAC9E,CAAC;IAED,6EAA6E;IAC7E,YAAY,CAAC,IAAY;QACvB,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAiB,IAAI,CAAC,CAAC,CAAA;IACtE,CAAC;IAED,sEAAsE;IACtE,cAAc,CAAC,IAAY;QACzB,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAiB,IAAI,CAAC,CAAC,CAAA;IACxE,CAAC;IAED,kCAAkC;IAElC;;;OAGG;IACH,eAAe,CAAC,GAAG,IAAc;QAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;IACvD,CAAC;IAED;;;;OAIG;IACH,aAAa,CAAC,GAAG,KAAe;QAC9B,OAAO,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IACtD,CAAC;IAED,6EAA6E;IAC7E,aAAa,CAAC,IAAY;QACxB,OAAO,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAA;IAClD,CAAC;IAED,6FAA6F;IAC7F,qBAAqB,CAAC,IAAY,EAAE,KAAsB;QACxD,OAAO,IAAI,CAAC,YAAY,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IACjE,CAAC;IAED,4BAA4B;IAE5B;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC,CAAA;IACzC,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,IAAY;QACxB,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAA;IACxD,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,IAAY;QAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAA;IAC3D,CAAC;IAED;;OAEG;IACH,qBAAqB,CAAC,IAAY,EAAE,KAAsB;QACxD,OAAO,IAAI,CAAC,YAAY,CAAC,8BAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IACvE,CAAC;IAED;;OAEG;IACH,wBAAwB,CAAC,IAAY,EAAE,KAAsB;QAC3D,OAAO,IAAI,CAAC,YAAY,CAAC,iCAAiC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1E,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,WAAW,CAAC,CAAc;IACxC,OAAO,IAAI,cAAc,CAAC,CAAC,CAAC,CAAA;AAC9B,CAAC"}