autrace/build/src/ContractAnalyser.d.ts

Account Update analyser for MINA

import { SmartContract } from "o1js";
import { ContractAnalysis } from "./Interface.js";
export declare class SmartContractAnalyzer {
    private contracts;
    constructor();
    analyzeContractInstance: (instance: SmartContract) => void;
    getContracts(): Map<string, ContractAnalysis>;
    getContract(contractName: string): ContractAnalysis | undefined;
    private extractStateFields;
    private extractMethods;
    private extractChildCalls;
    private extractStateChanges;
    private extractPermissions;
    buildRelationshipGraph: () => Map<string, {
        parents: string[];
        children: Array<{
            contract?: string;
            method: string;
        }>;
        stateAccess: Array<{
            field: string;
            operations: ("get" | "set")[];
        }>;
        state: string;
    }>;
}