driftdetect-detectors 0.1.0

package/dist/types/type-assertions.d.ts

@@ -0,0 +1,98 @@
+/**
+ * Type Assertions Detector - Type assertion pattern detection
+ *
+ * Detects type assertion patterns including:
+ * - as keyword assertions
+ * - Angle bracket assertions
+ * - Non-null assertions (!)
+ * - const assertions
+ * - satisfies operator
+ * - Type guards
+ * - Type predicates
+ *
+ * @requirements 18.6 - Type assertion patterns
+ */
+import type { Violation, QuickFix, PatternCategory, Language } from 'driftdetect-core';
+import { RegexDetector } from '../base/regex-detector.js';
+import type { DetectionContext, DetectionResult } from '../base/base-detector.js';
+export type TypeAssertionPatternType = 'as-assertion' | 'as-const' | 'as-unknown' | 'as-any' | 'angle-bracket' | 'non-null-assertion' | 'definite-assignment' | 'satisfies' | 'type-guard-typeof' | 'type-guard-instanceof' | 'type-guard-in' | 'type-predicate' | 'assertion-function' | 'double-assertion';
+export type TypeAssertionViolationType = 'unsafe-as-any' | 'excessive-non-null' | 'double-assertion' | 'unnecessary-assertion' | 'missing-type-guard';
+export interface TypeAssertionPatternInfo {
+    type: TypeAssertionPatternType;
+    file: string;
+    line: number;
+    column: number;
+    matchedText: string;
+    targetType?: string | undefined;
+    guardType?: string | undefined;
+    context?: string | undefined;
+}
+export interface TypeAssertionViolationInfo {
+    type: TypeAssertionViolationType;
+    file: string;
+    line: number;
+    column: number;
+    matchedText: string;
+    issue: string;
+    suggestedFix?: string | undefined;
+    severity: 'high' | 'medium' | 'low';
+}
+export interface TypeAssertionsAnalysis {
+    patterns: TypeAssertionPatternInfo[];
+    violations: TypeAssertionViolationInfo[];
+    asAssertionCount: number;
+    nonNullAssertionCount: number;
+    typeGuardCount: number;
+    usesSatisfies: boolean;
+    usesConstAssertions: boolean;
+    confidence: number;
+}
+export declare const AS_ASSERTION_PATTERNS: readonly [RegExp, RegExp, RegExp];
+export declare const AS_CONST_PATTERNS: readonly [RegExp, RegExp, RegExp];
+export declare const AS_UNKNOWN_PATTERNS: readonly [RegExp];
+export declare const AS_ANY_PATTERNS: readonly [RegExp];
+export declare const ANGLE_BRACKET_PATTERNS: readonly [RegExp, RegExp];
+export declare const NON_NULL_ASSERTION_PATTERNS: readonly [RegExp, RegExp, RegExp];
+export declare const DEFINITE_ASSIGNMENT_PATTERNS: readonly [RegExp, RegExp, RegExp, RegExp, RegExp];
+export declare const SATISFIES_PATTERNS: readonly [RegExp, RegExp, RegExp];
+export declare const TYPE_GUARD_TYPEOF_PATTERNS: readonly [RegExp, RegExp, RegExp];
+export declare const TYPE_GUARD_INSTANCEOF_PATTERNS: readonly [RegExp];
+export declare const TYPE_GUARD_IN_PATTERNS: readonly [RegExp, RegExp];
+export declare const TYPE_PREDICATE_PATTERNS: readonly [RegExp, RegExp];
+export declare const ASSERTION_FUNCTION_PATTERNS: readonly [RegExp, RegExp, RegExp];
+export declare const DOUBLE_ASSERTION_PATTERNS: readonly [RegExp, RegExp, RegExp];
+export declare const UNSAFE_AS_ANY_PATTERNS: readonly [RegExp, RegExp];
+export declare const EXCESSIVE_NON_NULL_PATTERNS: readonly [RegExp, RegExp, RegExp];
+export declare const UNNECESSARY_ASSERTION_PATTERNS: readonly [RegExp];
+export declare function shouldExcludeFile(filePath: string): boolean;
+export declare function detectAsAssertions(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectAsConst(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectAsUnknown(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectAsAny(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectAngleBracket(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectNonNullAssertion(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectDefiniteAssignment(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectSatisfies(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectTypeGuardTypeof(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectTypeGuardInstanceof(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectTypeGuardIn(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectTypePredicate(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectAssertionFunction(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectDoubleAssertion(content: string, filePath: string): TypeAssertionPatternInfo[];
+export declare function detectUnsafeAsAnyViolations(content: string, filePath: string): TypeAssertionViolationInfo[];
+export declare function detectExcessiveNonNullViolations(content: string, filePath: string): TypeAssertionViolationInfo[];
+export declare function detectDoubleAssertionViolations(content: string, filePath: string): TypeAssertionViolationInfo[];
+export declare function detectUnnecessaryAssertionViolations(content: string, filePath: string): TypeAssertionViolationInfo[];
+export declare function analyzeTypeAssertions(content: string, filePath: string): TypeAssertionsAnalysis;
+export declare class TypeAssertionsDetector extends RegexDetector {
+    readonly id = "types/type-assertions";
+    readonly name = "Type Assertions Detector";
+    readonly description = "Detects type assertion patterns including as, non-null, and type guards";
+    readonly category: PatternCategory;
+    readonly subcategory = "type-assertions";
+    readonly supportedLanguages: Language[];
+    detect(context: DetectionContext): Promise<DetectionResult>;
+    generateQuickFix(_violation: Violation): QuickFix | null;
+}
+export declare function createTypeAssertionsDetector(): TypeAssertionsDetector;
+//# sourceMappingURL=type-assertions.d.ts.map

package/dist/types/type-assertions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-assertions.d.ts","sourceRoot":"","sources":["../../src/types/type-assertions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACvF,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAMlF,MAAM,MAAM,wBAAwB,GAChC,cAAc,GACd,UAAU,GACV,YAAY,GACZ,QAAQ,GACR,eAAe,GACf,oBAAoB,GACpB,qBAAqB,GACrB,WAAW,GACX,mBAAmB,GACnB,uBAAuB,GACvB,eAAe,GACf,gBAAgB,GAChB,oBAAoB,GACpB,kBAAkB,CAAC;AAEvB,MAAM,MAAM,0BAA0B,GAClC,eAAe,GACf,oBAAoB,GACpB,kBAAkB,GAClB,uBAAuB,GACvB,oBAAoB,CAAC;AAEzB,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,wBAAwB,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC9B;AAED,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,0BAA0B,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;CACrC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,wBAAwB,EAAE,CAAC;IACrC,UAAU,EAAE,0BAA0B,EAAE,CAAC;IACzC,gBAAgB,EAAE,MAAM,CAAC;IACzB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,OAAO,CAAC;IACvB,mBAAmB,EAAE,OAAO,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC;CACpB;AAMD,eAAO,MAAM,qBAAqB,mCAIxB,CAAC;AAEX,eAAO,MAAM,iBAAiB,mCAIpB,CAAC;AAEX,eAAO,MAAM,mBAAmB,mBAEtB,CAAC;AAEX,eAAO,MAAM,eAAe,mBAElB,CAAC;AAEX,eAAO,MAAM,sBAAsB,2BAGzB,CAAC;AAEX,eAAO,MAAM,2BAA2B,mCAI9B,CAAC;AAEX,eAAO,MAAM,4BAA4B,mDAM/B,CAAC;AAEX,eAAO,MAAM,kBAAkB,mCAIrB,CAAC;AAEX,eAAO,MAAM,0BAA0B,mCAI7B,CAAC;AAEX,eAAO,MAAM,8BAA8B,mBAEjC,CAAC;AAEX,eAAO,MAAM,sBAAsB,2BAGzB,CAAC;AAEX,eAAO,MAAM,uBAAuB,2BAG1B,CAAC;AAEX,eAAO,MAAM,2BAA2B,mCAI9B,CAAC;AAEX,eAAO,MAAM,yBAAyB,mCAI5B,CAAC;AAEX,eAAO,MAAM,sBAAsB,2BAGzB,CAAC;AAEX,eAAO,MAAM,2BAA2B,mCAI9B,CAAC;AAEX,eAAO,MAAM,8BAA8B,mBAEjC,CAAC;AAMX,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAS3D;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CA6B5B;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CAwB5B;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CAwB5B;AAED,wBAAgB,WAAW,CACzB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CAwB5B;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CA2B5B;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CA+B5B;AAED,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CAuB5B;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CAwB5B;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CAwB5B;AAED,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CAwB5B;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CA2B5B;AAED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CAwB5B;AAED,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CAwB5B;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,wBAAwB,EAAE,CAwB5B;AAED,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,0BAA0B,EAAE,CAyB9B;AAED,wBAAgB,gCAAgC,CAC9C,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,0BAA0B,EAAE,CAyB9B;AAED,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,0BAA0B,EAAE,CAyB9B;AAED,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,0BAA0B,EAAE,CAyB9B;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,sBAAsB,CAgExB;AAMD,qBAAa,sBAAuB,SAAQ,aAAa;IACvD,QAAQ,CAAC,EAAE,2BAA2B;IACtC,QAAQ,CAAC,IAAI,8BAA8B;IAC3C,QAAQ,CAAC,WAAW,6EACwD;IAC5E,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAW;IAC7C,QAAQ,CAAC,WAAW,qBAAqB;IACzC,QAAQ,CAAC,kBAAkB,EAAE,QAAQ,EAAE,CAAkB;IAEnD,MAAM,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,eAAe,CAAC;IAwBjE,gBAAgB,CAAC,UAAU,EAAE,SAAS,GAAG,QAAQ,GAAG,IAAI;CAGzD;AAED,wBAAgB,4BAA4B,IAAI,sBAAsB,CAErE"}