Theia API Documentation v1.65.0
    Preparing search index...

    Interface ProblemStat

    interface ProblemStat {
        errors: number;
        infos: number;
        warnings: number;
    }
    Index

    Properties

    errors infos warnings

    Properties

    errors: number
    infos: number
    warnings: number

    Settings

    Member Visibility

    On This Page

    Properties