typir/lib/kinds/primitive/primitive-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 { Type } from '../../graph/type-node.js';
import { TypirSpecifics } from '../../typir.js';
import { TypirProblem } from '../../utils/utils-definitions.js';
import { PrimitiveKind, PrimitiveTypeDetails } from './primitive-kind.js';
export declare class PrimitiveType extends Type {
    readonly kind: PrimitiveKind<TypirSpecifics>;
    constructor(kind: PrimitiveKind<TypirSpecifics>, identifier: string, typeDetails: PrimitiveTypeDetails<TypirSpecifics>);
    getName(): string;
    getUserRepresentation(): string;
    analyzeTypeEqualityProblems(otherType: Type): TypirProblem[];
    protected analyzeSubTypeProblems(subType: PrimitiveType, superType: PrimitiveType): TypirProblem[];
}
export declare function isPrimitiveType(type: unknown): type is PrimitiveType;
//# sourceMappingURL=primitive-type.d.ts.map