cortexweaver/dist/agents/property-tester.d.ts

CortexWeaver is a command-line interface (CLI) tool that orchestrates a swarm of specialized AI agents, powered by Claude Code and Gemini CLI, to assist in software development. It transforms a high-level project plan (plan.md) into a series of coordinate

import { Agent } from '../agent';
export interface PropertyInvariant {
    name: string;
    description: string;
    applicableMethods: string[];
    generators: string[];
    complexity: 'simple' | 'moderate' | 'complex';
}
export interface GeneratorStrategy {
    parameterName: string;
    parameterType: string;
    generator: string;
    constraints: string[];
    edgeCases: string[];
}
export interface TestQualityValidation {
    isValid: boolean;
    score: number;
    violations: string[];
    suggestions: string[];
}
export interface CoverageAnalysis {
    inputSpaceCoverage: number;
    edgeCasesCovered: number;
    propertyTypes: string[];
    recommendations: string[];
}
export interface PropertyTestSuite {
    code: string;
    invariants: PropertyInvariant[];
    generators: GeneratorStrategy[];
    coverage: CoverageAnalysis;
}
export declare class PropertyTester extends Agent {
    getPromptTemplate(): string;
    executeTask(): Promise<any>;
    identifyInvariants(sourceCode: string): Promise<PropertyInvariant[]>;
    selectGenerators(methodSignature: string): Promise<string[]>;
    generateEdgeCaseGenerators(methodSignature: string): Promise<string[]>;
    generateRoundTripProperties(methods: string[]): Promise<string[]>;
    generateMetamorphicProperties(methodInfo: any): Promise<string[]>;
    generateContractProperties(methodInfo: any): Promise<string[]>;
    defineShrinkingStrategy(dataType: string, structure: any): Promise<string>;
    validateTestQuality(testCode: string): Promise<TestQualityValidation>;
    analyzeCoverage(generators: string[], testRuns: number): Promise<CoverageAnalysis>;
    private readSourceFiles;
    private generatePropertyTestSuite;
    private extractMethods;
    private isMathematicalOperation;
    private generateMathematicalInvariants;
    private generateDomainInvariants;
    private generateGenericInvariants;
    private extractParameters;
    private selectGeneratorForType;
    private getEdgeCasesForType;
    private areRoundTripPair;
    private isCommutativeOperation;
    private isMonotonicOperation;
    private translatePostcondition;
    private estimateInputSpaceCoverage;
    private countEdgeCases;
    private identifyPropertyTypes;
    private generateCoverageRecommendations;
    private extractGeneratorStrategies;
    private generateTestFilePath;
}
//# sourceMappingURL=property-tester.d.ts.map