import { AssertNode, AssignmentExpressionNode, AssignmentNode, AugmentedAssignmentNode, AwaitNode, BinaryOperationNode, CallNode, CaseNode, ClassNode, ComprehensionIfNode, ComprehensionNode, DelNode, DictionaryNode, ErrorNode, ExceptNode, ForNode, FormatStringNode, FunctionNode, GlobalNode, IfNode, ImportAsNode, ImportFromAsNode, ImportFromNode, IndexNode, LambdaNode, ListNode, MatchNode, MemberAccessNode, ModuleNameNode, NameNode, NonlocalNode, ParseNode, PatternClassNode, RaiseNode, ReturnNode, SetNode, SliceNode, StatementListNode, StringListNode, SuiteNode, TernaryNode, TryNode, TupleNode, TypeAliasNode, TypeAnnotationNode, TypeParameterListNode, TypeParameterNode, UnaryOperationNode, UnpackNode, WhileNode, WithNode, YieldFromNode, YieldNode } from '../parser/parseNodes';
import { ParserOutput } from '../parser/parser';
import { ImportResolver } from './importResolver';
import { ParseTreeWalker } from './parseTreeWalker';
import { TypeEvaluator } from './typeEvaluatorTypes';
export declare class Checker extends ParseTreeWalker {
    private _importResolver;
    private _evaluator;
    private _dependentFiles?;
    private readonly _moduleNode;
    private readonly _fileInfo;
    private _isUnboundCheckSuppressed;
    private _scopedNodes;
    private _typeParamLists;
    private _multipartImports;
    constructor(_importResolver: ImportResolver, _evaluator: TypeEvaluator, parseResults: ParserOutput, _dependentFiles?: ParserOutput[] | undefined);
    check(): void;
    walk(node: ParseNode): void;
    visitSuite(node: SuiteNode): boolean;
    visitStatementList(node: StatementListNode): boolean;
    visitClass(node: ClassNode): boolean;
    visitFunction(node: FunctionNode): boolean;
    visitLambda(node: LambdaNode): boolean;
    visitCall(node: CallNode): boolean;
    visitAwait(node: AwaitNode): boolean;
    visitFor(node: ForNode): boolean;
    visitList(node: ListNode): boolean;
    visitSet(node: SetNode): boolean;
    visitDictionary(node: DictionaryNode): boolean;
    visitComprehension(node: ComprehensionNode): boolean;
    visitComprehensionIf(node: ComprehensionIfNode): boolean;
    visitIf(node: IfNode): boolean;
    visitWhile(node: WhileNode): boolean;
    visitWith(node: WithNode): boolean;
    visitReturn(node: ReturnNode): boolean;
    visitYield(node: YieldNode): boolean;
    visitYieldFrom(node: YieldFromNode): boolean;
    visitRaise(node: RaiseNode): boolean;
    visitExcept(node: ExceptNode): boolean;
    visitAssert(node: AssertNode): boolean;
    visitAssignment(node: AssignmentNode): boolean;
    visitAssignmentExpression(node: AssignmentExpressionNode): boolean;
    visitAugmentedAssignment(node: AugmentedAssignmentNode): boolean;
    visitIndex(node: IndexNode): boolean;
    visitBinaryOperation(node: BinaryOperationNode): boolean;
    visitSlice(node: SliceNode): boolean;
    visitUnpack(node: UnpackNode): boolean;
    visitTuple(node: TupleNode): boolean;
    visitUnaryOperation(node: UnaryOperationNode): boolean;
    visitTernary(node: TernaryNode): boolean;
    visitStringList(node: StringListNode): boolean;
    visitFormatString(node: FormatStringNode): boolean;
    visitGlobal(node: GlobalNode): boolean;
    visitNonlocal(node: NonlocalNode): boolean;
    visitName(node: NameNode): boolean;
    visitDel(node: DelNode): boolean;
    visitMemberAccess(node: MemberAccessNode): boolean;
    visitImportAs(node: ImportAsNode): boolean;
    visitImportFrom(node: ImportFromNode): boolean;
    visitImportFromAs(node: ImportFromAsNode): boolean;
    visitModuleName(node: ModuleNameNode): boolean;
    visitTypeParameterList(node: TypeParameterListNode): boolean;
    visitTypeParameter(node: TypeParameterNode): boolean;
    visitTypeAlias(node: TypeAliasNode): boolean;
    visitTypeAnnotation(node: TypeAnnotationNode): boolean;
    visitMatch(node: MatchNode): boolean;
    visitCase(node: CaseNode): boolean;
    visitPatternClass(node: PatternClassNode): boolean;
    visitTry(node: TryNode): boolean;
    visitError(node: ErrorNode): boolean;
    private _reportUnusedMultipartImports;
    private _isMultipartImportUnused;
    private _getImportResult;
    private _addMissingModuleSourceDiagnosticIfNeeded;
    private _validateConditionalIsBool;
    private _reportUnnecessaryConditionExpression;
    private _reportUnusedExpression;
    private _validateNonlocalTypeParam;
    private _validateExhaustiveMatch;
    private _suppressUnboundCheck;
    private _validateIllegalDefaultParamInitializer;
    private _validateStandardCollectionInstantiation;
    private _validateContainmentTypes;
    private _validateComparisonTypes;
    private _validateGeneratorReturnType;
    private _isTypeValidForUnusedValueTest;
    private _validateFunctionTypeVarUsage;
    private _validateOverloadAttributeConsistency;
    private _validateOverloadConsistency;
    private _findNodeForOverload;
    private _isOverlappingOverload;
    private _validateOverloadImplementation;
    private _walkStatementsAndReportUnreachable;
    private _validateStubStatement;
    private _validateExceptionTypeRecursive;
    private _validateExceptionType;
    private _reportUnusedDunderAllSymbols;
    private _validateSymbolTables;
    private _reportInvalidOverload;
    private _reportFinalInLoop;
    private _reportOverwriteOfImportedFinal;
    private _reportOverwriteOfBuiltinsFinal;
    private _reportMultipleFinalDeclarations;
    private _reportMultipleTypeAliasDeclarations;
    private _reportIncompatibleDeclarations;
    private _conditionallyReportUnusedSymbol;
    private _conditionallyReportUnusedDeclaration;
    private _validateIsInstanceCall;
    private _validateUnsafeProtocolOverlap;
    private _isTypeSupportedTypeForIsInstance;
    private _validateNotDataProtocol;
    private _isSymbolPrivate;
    private _reportDeprecatedClassProperty;
    private _reportDeprecatedUseForMemberAccess;
    private _reportDeprecatedUseForOperation;
    private _reportDeprecatedUseForType;
    private _reportDeprecatedDiagnostic;
    private _reportUnboundName;
    private _conditionallyReportPrivateUsage;
    private _validateEnumClassOverride;
    private _validateTypedDictClassSuite;
    private _validateTypeGuardFunction;
    private _validateDunderSignatures;
    private _validateFunctionReturn;
    private _validateReturnTypeIsNotContravariant;
    private _reportUnknownReturnResult;
    private _validateFinalMemberOverrides;
    private _validateEnumMembers;
    private _validateDataClassPostInit;
    private _validateFinalClassNotAbstract;
    private _validateInstanceVariableInitialization;
    private _validateProtocolTypeParamVariance;
    private _validateSlotsClassVarConflict;
    private _validateConstructorConsistency;
    private _validateMultipleInheritanceBaseClasses;
    private _validateMultipleInheritanceCompatibility;
    private _validateMultipleInheritanceOverride;
    private _addMultipleInheritanceRelatedInfo;
    private _validateMultipleInheritancePropertyOverride;
    private _validateOverloadDecoratorConsistency;
    private _validateOverloadAbstractConsistency;
    private _validateOverloadFinalOverride;
    private _validateTypedDictOverrides;
    private _validateBaseClassOverrides;
    private _validateOverrideDecoratorPresent;
    private _isMethodExemptFromLsp;
    private _validateOverrideDecoratorNotPresent;
    private _validateBaseClassOverride;
    private _isFinalFunction;
    private _validatePropertyOverride;
    private _validateMethod;
    private _validateSuperCallForMethod;
    private _validateClsSelfParamType;
    private _validateYieldType;
    private _reportUnusedExceptStatements;
    private _reportDuplicateImports;
}