autrace 0.0.1

package/build/src/ContractAnalyser.js

@@ -0,0 +1,171 @@
+export class SmartContractAnalyzer {
+    constructor() {
+        this.analyzeContractInstance = (instance) => {
+            const contractClass = Object.getPrototypeOf(instance).constructor;
+            const contractName = contractClass.name;
+            // Analyze state fields
+            const stateFields = this.extractStateFields(contractClass);
+            // Analyze methods and their relationships
+            const methods = this.extractMethods(contractClass);
+            // Analyze permissions
+            const permissions = this.extractPermissions(contractClass);
+            this.contracts.set(contractName, {
+                name: contractName,
+                stateFields,
+                methods,
+                permissions
+            });
+        };
+        this.extractStateFields = (contractClass) => {
+            const stateFields = [];
+            let stateIndex = 0;
+            Object.getOwnPropertyNames(contractClass.prototype).forEach(prop => {
+                //console.log(prop)
+                const descriptor = Object.getOwnPropertyDescriptor(contractClass.prototype, prop);
+                //console.log('Descriptor: ', descriptor);
+                if (descriptor?.get && prop !== 'address') {
+                    stateFields.push({
+                        name: prop,
+                        index: stateIndex++
+                    });
+                }
+            });
+            //console.log('StateFields: ', stateFields)
+            return stateFields;
+        };
+        this.extractMethods = (contractClass) => {
+            const methods = [];
+            Object.getOwnPropertyNames(contractClass.prototype).forEach(prop => {
+                const descriptor = Object.getOwnPropertyDescriptor(contractClass.prototype, prop);
+                if (descriptor?.value instanceof Function) {
+                    const methodStr = descriptor.value.toString();
+                    methods.push({
+                        name: prop,
+                        childCalls: this.extractChildCalls(methodStr),
+                        stateChanges: this.extractStateChanges(methodStr),
+                        authorization: {
+                            requiresProof: methodStr.includes('@method'),
+                            requiresSignature: methodStr.includes('requireSignature')
+                        }
+                    });
+                }
+            });
+            return methods;
+        };
+        this.extractChildCalls = (methodStr) => {
+            const childCalls = [];
+            // Detect internal method calls
+            const internalCallMatch = methodStr.match(/await this\.(\w+)\(/g);
+            if (internalCallMatch) {
+                childCalls.push({
+                    internalMethod: internalCallMatch[0].replace('await this.', '').replace('(', '')
+                });
+            }
+            // Detect contract instantiations and calls
+            const contractCallMatch = methodStr.match(/const\s+(\w+)\s*=\s*new\s+(\w+)\([^)]*\).*?await\s+\1\.(\w+)\(/s);
+            if (contractCallMatch) {
+                childCalls.push({
+                    contractMethod: `${contractCallMatch[2]}.${contractCallMatch[3]}`
+                });
+            }
+            return childCalls;
+        };
+        this.extractStateChanges = (methodStr) => {
+            const stateChanges = [];
+            // Match state get operations
+            const getMatches = methodStr.match(/this\.(\w+)\.get(?:AndRequireEquals)?\(\)/g);
+            if (getMatches) {
+                getMatches.forEach(match => {
+                    const field = match.split('.')[1];
+                    stateChanges.push({ field, operation: 'get' });
+                });
+            }
+            // Match state set operations
+            const setMatches = methodStr.match(/this\.(\w+)\.set\([^)]+\)/g);
+            if (setMatches) {
+                setMatches.forEach(match => {
+                    const field = match.split('.')[1];
+                    stateChanges.push({ field, operation: 'set' });
+                });
+            }
+            return stateChanges;
+        };
+        this.extractPermissions = (contractClass) => {
+            const deployMethod = contractClass.prototype.deploy;
+            if (!deployMethod)
+                return [];
+            const deployStr = deployMethod.toString();
+            const permissions = [];
+            // Extract permission settings
+            const permissionMatches = deployStr.match(/Permissions\.(\w+)\(\)/g);
+            if (permissionMatches) {
+                permissions.push(...permissionMatches.map((p) => p.replace('Permissions.', '').replace('()', '')));
+            }
+            return permissions;
+        };
+        this.buildRelationshipGraph = () => {
+            const relationships = new Map();
+            this.contracts.forEach((contract, contractName) => {
+                const contractRelations = {
+                    parents: [],
+                    children: [],
+                    stateAccess: [],
+                    onChainStates: contract.stateFields.map(field => field.name).join(', ')
+                };
+                contract.methods.forEach(method => {
+                    // Add child relationships
+                    method.childCalls.forEach(call => {
+                        if (call.contractMethod) {
+                            const [childContract, childMethod] = call.contractMethod.split('.');
+                            contractRelations.children.push({
+                                contract: childContract,
+                                method: childMethod
+                            });
+                        }
+                        else if (call.internalMethod) {
+                            contractRelations.children.push({
+                                method: call.internalMethod
+                            });
+                        }
+                    });
+                    // Track state access
+                    method.stateChanges.forEach(change => {
+                        const existing = contractRelations.stateAccess.find(s => s.field === change.field);
+                        if (existing) {
+                            if (!existing.operations.includes(change.operation)) {
+                                existing.operations.push(change.operation);
+                            }
+                        }
+                        else {
+                            contractRelations.stateAccess.push({
+                                field: change.field,
+                                operations: [change.operation]
+                            });
+                        }
+                    });
+                });
+                relationships.set(contractName, contractRelations);
+            });
+            // Second pass to fill in parent relationships
+            relationships.forEach((relations, contractName) => {
+                relations.children.forEach((child) => {
+                    if (child.contract) {
+                        const childRelations = relationships.get(child.contract);
+                        if (childRelations && !childRelations.parents.includes(contractName)) {
+                            childRelations.parents.push(contractName);
+                        }
+                    }
+                });
+            });
+            return relationships;
+        };
+        this.contracts = new Map();
+    }
+    getContracts() {
+        return this.contracts;
+    }
+    getContract(contractName) {
+        return this.contracts.get(contractName);
+    }
+}
+//# sourceMappingURL=ContractAnalyser.js.map

package/build/src/ContractAnalyser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ContractAnalyser.js","sourceRoot":"","sources":["../../src/ContractAnalyser.ts"],"names":[],"mappings":"AAGA,MAAM,OAAO,qBAAqB;IAG9B;QAIO,4BAAuB,GAAG,CAAC,QAAuB,EAAE,EAAE;YACzD,MAAM,aAAa,GAAG,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC;YAClE,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC;YAExC,uBAAuB;YACvB,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,aAAa,CAAC,CAAC;YAE3D,0CAA0C;YAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;YAEnD,sBAAsB;YACtB,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,aAAa,CAAC,CAAC;YAE3D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE;gBAC7B,IAAI,EAAE,YAAY;gBAClB,WAAW;gBACX,OAAO;gBACP,WAAW;aACd,CAAC,CAAC;QACP,CAAC,CAAA;QAUO,uBAAkB,GAAG,CAAC,aAAkB,EAAsC,EAAE;YACpF,MAAM,WAAW,GAAuC,EAAE,CAAC;YAC3D,IAAI,UAAU,GAAG,CAAC,CAAC;YAEnB,MAAM,CAAC,mBAAmB,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;gBAC/D,mBAAmB;gBACnB,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;gBAClF,0CAA0C;gBAC1C,IAAI,UAAU,EAAE,GAAG,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACxC,WAAW,CAAC,IAAI,CAAC;wBACb,IAAI,EAAE,IAAI;wBACV,KAAK,EAAE,UAAU,EAAE;qBACtB,CAAC,CAAC;gBACP,CAAC;YACL,CAAC,CAAC,CAAA;YACF,2CAA2C;YAC3C,OAAO,WAAW,CAAC;QACvB,CAAC,CAAA;QAEO,mBAAc,GAAG,CAAC,aAAkB,EAAoB,EAAE;YAC9D,MAAM,OAAO,GAAqB,EAAE,CAAC;YAErC,MAAM,CAAC,mBAAmB,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;gBAC/D,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;gBAClF,IAAI,UAAU,EAAE,KAAK,YAAY,QAAQ,EAAE,CAAC;oBACxC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;oBAE9C,OAAO,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,IAAI;wBACV,UAAU,EAAE,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC;wBAC7C,YAAY,EAAE,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC;wBACjD,aAAa,EAAE;4BACX,aAAa,EAAE,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC;4BAC5C,iBAAiB,EAAE,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC;yBAC5D;qBACJ,CAAC,CAAC;gBACP,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,OAAO,OAAO,CAAC;QACnB,CAAC,CAAA;QAEO,sBAAiB,GAAG,CAAC,SAAiB,EAA2D,EAAE;YACvG,MAAM,UAAU,GAAG,EAAE,CAAC;YAEtB,+BAA+B;YAC/B,MAAM,iBAAiB,GAAG,SAAS,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAClE,IAAI,iBAAiB,EAAE,CAAC;gBACpB,UAAU,CAAC,IAAI,CAAC;oBACZ,cAAc,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;iBACnF,CAAC,CAAC;YACP,CAAC;YAED,2CAA2C;YAC3C,MAAM,iBAAiB,GAAG,SAAS,CAAC,KAAK,CAAC,iEAAiE,CAAC,CAAC;YAC7G,IAAI,iBAAiB,EAAE,CAAC;gBACpB,UAAU,CAAC,IAAI,CAAC;oBACZ,cAAc,EAAE,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE;iBACpE,CAAC,CAAC;YACP,CAAC;YAED,OAAO,UAAU,CAAC;QACtB,CAAC,CAAA;QAEO,wBAAmB,GAAG,CAAC,SAAiB,EAAkD,EAAE;YAChG,MAAM,YAAY,GAAQ,EAAE,CAAC;YAE7B,6BAA6B;YAC7B,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;YACjF,IAAI,UAAU,EAAE,CAAC;gBACb,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;oBACvB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBAClC,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;gBACnD,CAAC,CAAC,CAAC;YACP,CAAC;YAED,6BAA6B;YAC7B,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;YACjE,IAAI,UAAU,EAAE,CAAC;gBACb,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;oBACvB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBAClC,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;gBACnD,CAAC,CAAC,CAAC;YACP,CAAC;YAED,OAAO,YAAY,CAAC;QACxB,CAAC,CAAA;QAEO,uBAAkB,GAAG,CAAC,aAAkB,EAAY,EAAE;YAC1D,MAAM,YAAY,GAAG,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC;YACpD,IAAI,CAAC,YAAY;gBAAE,OAAO,EAAE,CAAC;YAE7B,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,EAAE,CAAC;YAEvB,8BAA8B;YAC9B,MAAM,iBAAiB,GAAG,SAAS,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;YACrE,IAAI,iBAAiB,EAAE,CAAC;gBACpB,WAAW,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CACpD,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAClD,CAAC,CAAC;YACP,CAAC;YAED,OAAO,WAAW,CAAC;QACvB,CAAC,CAAA;QAEM,2BAAsB,GAAG,GAW7B,EAAE;YACD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAE,CAAC;YAEhC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,YAAY,EAAE,EAAE;gBAC9C,MAAM,iBAAiB,GAAG;oBACtB,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,EAAgD;oBAC1D,WAAW,EAAE,EAA2D;oBACxE,aAAa,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;iBAC1E,CAAC;gBAEF,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBAC9B,0BAA0B;oBAC1B,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;wBAC7B,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;4BACtB,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;4BACpE,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC;gCAC5B,QAAQ,EAAE,aAAa;gCACvB,MAAM,EAAE,WAAY;6BACvB,CAAC,CAAC;wBACP,CAAC;6BAAM,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;4BAC7B,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC;gCAC5B,MAAM,EAAE,IAAI,CAAC,cAAc;6BAC9B,CAAC,CAAC;wBACP,CAAC;oBACL,CAAC,CAAC,CAAC;oBAEH,qBAAqB;oBACrB,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;wBACjC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;wBACnF,IAAI,QAAQ,EAAE,CAAC;4BACX,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;gCAClD,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;4BAC/C,CAAC;wBACL,CAAC;6BAAM,CAAC;4BACJ,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC;gCAC/B,KAAK,EAAE,MAAM,CAAC,KAAK;gCACnB,UAAU,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC;6BACjC,CAAC,CAAC;wBACP,CAAC;oBACL,CAAC,CAAC,CAAC;gBACP,CAAC,CAAC,CAAC;gBAEH,aAAa,CAAC,GAAG,CAAC,YAAY,EAAE,iBAAiB,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC;YAEH,8CAA8C;YAC9C,aAAa,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,YAAY,EAAE,EAAE;gBAC9C,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAyB,EAAE,EAAE;oBACrD,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;wBACjB,MAAM,cAAc,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;wBACzD,IAAI,cAAc,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;4BACnE,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;wBAC9C,CAAC;oBACL,CAAC;gBACL,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;YACH,OAAO,aAAa,CAAC;QACzB,CAAC,CAAA;QA/MG,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;IAC/B,CAAC;IAuBM,YAAY;QACf,OAAO,IAAI,CAAC,SAAS,CAAC;IAC1B,CAAC;IAEM,WAAW,CAAC,YAAoB;QACnC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC5C,CAAC;CAqLJ"}

package/build/src/Interface.d.ts

@@ -0,0 +1,172 @@
+type TreeOperation = 'deploy' | 'prove' | 'sign' | 'send';
+interface TreeSnapshot {
+    operation: TreeOperation;
+    timestamp: number;
+    tree: any;
+    changes: ChangeLog;
+}
+type ChangeLog = {
+    added: {
+        path: string;
+        node: any;
+    }[];
+    removed: {
+        path: string;
+        node: any;
+    }[];
+    updated: {
+        path: string;
+        changes: {
+            field: string;
+            oldValue: any;
+            newValue: any;
+        }[];
+    }[];
+};
+interface TransactionNode {
+    id: string;
+    type: AccountType;
+    label: string;
+    publicKey: string;
+    role?: string;
+    contractType?: string;
+    features?: Record<string, any>;
+    contractMetadata?: ContractMetadata;
+}
+interface TransactionState {
+    nodes: Map<string, TransactionNode>;
+    edges: Edge[];
+    balanceStates: Map<string, number[]>;
+    metadata: {
+        totalProofs: number;
+        totalSignatures: number;
+        totalFees: number;
+        accountUpdates: number;
+    };
+    relationships: Map<string, AccountUpdateRelationship>;
+}
+interface Edge {
+    id: string;
+    fromNode: string;
+    toNode: string;
+    operation: {
+        sequence: number;
+        type: string;
+        status: 'success' | 'rejected';
+        amount?: {
+            value: number;
+            denomination: string;
+        };
+        fee?: string;
+    };
+}
+interface AUMetadata {
+    id: string;
+    label: string;
+    type: 'proof' | 'signature' | 'none';
+    publicKey: string;
+    balanceChange: string;
+    methodName?: string;
+    args?: any[];
+}
+type AccountType = 'account' | 'contract';
+interface ContractMetadata {
+    methods: MethodAnalysis[];
+    state: {
+        fields: string[];
+        hasOnChainState: boolean;
+    };
+}
+interface EnhancedTransactionState extends TransactionState {
+    contractMetadata: Map<string, ContractMetadata>;
+}
+interface AccountUpdateBody {
+    callDepth?: number;
+    balanceChange?: any;
+    publicKey?: any;
+    mayUseToken?: any;
+}
+interface ParsedAccountUpdate {
+    id: string | number;
+    label?: string;
+    body: AccountUpdateBody;
+    lazyAuthorization?: {
+        kind?: string;
+        methodName?: string;
+    };
+    caller?: string;
+}
+interface MethodAnalysis {
+    name: string;
+    childCalls: {
+        contractMethod?: string;
+        internalMethod?: string;
+    }[];
+    stateChanges: {
+        field: string;
+        operation: 'set' | 'get';
+    }[];
+    authorization: {
+        requiresProof: boolean;
+        requiresSignature: boolean;
+    };
+}
+interface MethodAccountUpdate {
+    creates: boolean;
+    requiresSignature: boolean;
+    balanceChanges: boolean;
+}
+interface ContractMethod {
+    name: string;
+    authorization: {
+        requiresProof: boolean;
+        requiresSignature: boolean;
+    };
+    accountUpdates: MethodAccountUpdate[];
+}
+interface ContractAnalysis {
+    name: string;
+    stateFields: {
+        name: string;
+        index: number;
+    }[];
+    methods: MethodAnalysis[];
+    permissions: string[];
+}
+interface AccountUpdateRelationship {
+    id: string;
+    label: string;
+    parentId?: string;
+    children: string[];
+    depth: number;
+    method?: {
+        name: string;
+        contract: string;
+    };
+    onChainStates?: string;
+    stateChanges?: {
+        field: string;
+        value: any;
+    }[];
+}
+interface PlainRelationshipMap {
+    [key: string]: AccountUpdateRelationship;
+}
+interface EntityInfo {
+    id: string;
+    type: string;
+    name: string;
+    operations: Set<string>;
+    publicKey: string;
+    contractType?: string;
+    labels: Set<string>;
+}
+interface FlowOperation {
+    from: string;
+    to: string;
+    action: string;
+    fee?: string;
+    status?: string;
+    parameters?: Record<string, string>;
+}
+export { TreeSnapshot, EntityInfo, FlowOperation, PlainRelationshipMap, AccountUpdateRelationship, TreeOperation, ContractAnalysis, ChangeLog, ContractMethod, MethodAccountUpdate, AUMetadata, Edge, TransactionNode, TransactionState, AccountType, ContractMetadata, MethodAnalysis, EnhancedTransactionState, ParsedAccountUpdate };

package/build/src/Interface.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Interface.js.map

package/build/src/Interface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Interface.js","sourceRoot":"","sources":["../../src/Interface.ts"],"names":[],"mappings":""}

package/build/src/Visualiser.d.ts

@@ -0,0 +1,26 @@
+export declare class AUVisualizer {
+    private stateHistory;
+    private entities;
+    constructor(stateHistory: any[]);
+    private getUniqueNodeId;
+    private formatLabel;
+    private getNodeStyle;
+    private formatEdgeLabel;
+    private extractOperationDetails;
+    private hasConnections;
+    private generateStateSubgraph;
+    private processEntities;
+    private extractEntityName;
+    private extractOperation;
+    private generateEntityRegistry;
+    private processStateOperations;
+    private generateASCIIFlow;
+    private generateTransactionFlow;
+    private generateMetadata;
+    generateMermaidCode: () => string;
+    generateMarkdown(): string;
+    openInBrowser(filePath: string): Promise<void>;
+    generateSVG(outputPath?: string): Promise<void>;
+    generatePNG(outputPath?: string): Promise<void>;
+    generateMarkdownFile(outputPath?: string): Promise<void>;
+}