typir/lib/kinds/bottom/bottom-type.d.ts

General purpose type checking library

/******************************************************************************
 * Copyright 2024 TypeFox GmbH
 * This program and the accompanying materials are made available under the
 * terms of the MIT License, which is available in the project root.
 ******************************************************************************/
import { TypeGraphListener } from '../../graph/type-graph.js';
import { Type } from '../../graph/type-node.js';
import { TypirSpecifics } from '../../typir.js';
import { TypirProblem } from '../../utils/utils-definitions.js';
import { BottomKind, BottomTypeDetails } from './bottom-kind.js';
export declare class BottomType extends Type implements TypeGraphListener {
    readonly kind: BottomKind<TypirSpecifics>;
    constructor(kind: BottomKind<TypirSpecifics>, identifier: string, typeDetails: BottomTypeDetails<TypirSpecifics>);
    dispose(): void;
    onAddedType(type: Type, _key: string): void;
    getName(): string;
    getUserRepresentation(): string;
    analyzeTypeEqualityProblems(otherType: Type): TypirProblem[];
}
export declare function isBottomType(type: unknown): type is BottomType;
//# sourceMappingURL=bottom-type.d.ts.map