import { App, Identifier, MemberExpression, View, ViewElement, BaseNode, Return, Variable, Assignment, BatchAssignment, CallFunction, AuthLogicForCallInterface, BusinessComponent, BusinessLogic, Logic, OverriddenLogic, SubLogic, Process, ProcessV2, ProcessElement, ProcessElementV2, CallLogic, FrontendType, CallQueryComponent } from '../index';
import { SyntaxNode } from '../concepts/utils/types';
export declare const firstScreenNaslNodesCount: {
    count: number;
};
export type CallLogicCtx = {
    callLogicToView: Map<CallLogic, View>;
    callLogicToBsComponent: Map<CallLogic, BusinessComponent>;
};
export type VarScopeCtx = {
    frontendGlobalVars: Set<string>;
    isInViewOrComponent: boolean;
    memExprToViewElem: Map<MemberExpression, ViewElement>;
    idToView: Map<Identifier, View>;
    idToViewElem: Map<Identifier, ViewElement>;
    idToBsComponent: Map<Identifier, BusinessComponent>;
    idToCallLogic: Map<Identifier, CallLogic>;
    idToFrontendType: Map<Identifier, FrontendType>;
    idToCallQueryComponent: Map<Identifier, CallQueryComponent>;
};
export type ScopeCtx = {
    ctxBsComponent: Array<BusinessComponent>;
    ctxCallLogic: Array<CallLogic>;
    ctxViewElement: Array<ViewElement>;
    ctxView: Array<View>;
    ctxFrontendType: FrontendType | null;
    ctxCallQueryComponent: CallQueryComponent | null;
};
export type LogicIndirectDependencies = Map<Logic, Set<Logic>>;
export type TyInferCtx = {
    inferViaAsgnMap: Map<string, [Variable | Return, Assignment | BatchAssignment]>;
    inferViaFnCallMap: Map<string, [Variable | Return, CallFunction]>;
    scope: Array<AuthLogicForCallInterface | BusinessComponent | BusinessLogic | Logic | OverriddenLogic | SubLogic | View>;
    capturedVars: Map<string, Variable | Return>;
};
export type SubLogicCtx = {
    ctx: Logic | Process | ProcessV2 | ProcessElement | ProcessElementV2 | null;
    tmpSubLogics: Set<SubLogic>;
};
type LogicContainer = AuthLogicForCallInterface | BusinessComponent | BusinessLogic | Logic | OverriddenLogic | SubLogic | View;
export declare class SemanticData {
    constructor();
    isFirstScreen: boolean;
    varScopeCtx: VarScopeCtx;
    scopeCtx: ScopeCtx;
    callLogicCtx: CallLogicCtx;
    private viewElementCache;
    private getViewElementCacheKey;
    queryViewElementByCallLogic(callLogic: CallLogic): ViewElement;
    setViewElementCache(viewElement: ViewElement): void;
    tyInferCtx: TyInferCtx;
    subLogicCtx: SubLogicCtx;
    static last: <T>(arr: Array<T>) => T;
    collectAllSemanticCtx: (app: App) => void;
    updateSemanticCtxAsPer(nd: BaseNode): Generator<any, void, any>;
    collectFrontendVariablesTask(app: App): Generator<never, void, unknown>;
    collectScopeCtxTask(nd: SyntaxNode): Generator<never, void, unknown>;
    scopeCtxCleanup(nd: SyntaxNode): Generator<never, void, unknown>;
    collectIdCtxTask(nd: SyntaxNode): Generator<never, void, unknown>;
    collectCallLogicCtxTask(nd: SyntaxNode): Generator<never, void, unknown>;
    collectViewElementCacheTask(nd: SyntaxNode): Generator<never, void, unknown>;
    collectSubLogicCtxTask(nd: SyntaxNode): Generator<never, void, unknown>;
    subLogicCtxCleanup(nd: SyntaxNode): Generator<never, void, unknown>;
    collectNaslNodesCountTask(nd: SyntaxNode): Generator<never, void, unknown>;
    static addVars: (nd: Array<Variable> | Array<Return>, s: Map<string, Variable | Return>) => void;
    static removeVars: (nd: Array<Variable> | Array<Return>, s: Map<string, Variable | Return>) => void;
    collectTyInferCtxTask(nd0: SyntaxNode): Generator<any, void, any>;
    collectTyInferCtxCleanup(nd: SyntaxNode): Generator<never, void, unknown>;
    static genVarScopedName(nd: Variable | Return): string;
    reCollectTyInferCtx(inferViaAsgn: Map<string, [Variable | Return, Assignment | BatchAssignment]>, inferViaFnCall: Map<string, [Variable | Return, CallFunction]>, self: LogicContainer): Generator<any, void, any>;
    collectAsgn(inferViaAsgnMap: Map<string, [Variable | Return, Assignment | BatchAssignment]>, inferViaBuiltinFnMap: Map<string, [Variable | Return, CallFunction]>, nd: SyntaxNode): Generator<any, void, any>;
    clearSemanticData: () => void;
    redirectSlowGetters(app: App): void;
    recoverSlowGetters(): void;
    printSemanticDataInfo: () => void;
}
export {};
//# sourceMappingURL=semanticData.d.ts.map