import { PiElement } from "../language";
export interface PiValidator {
    validate(modelelement: PiElement, includeChildren?: boolean): PiError[];
}
export declare class PiError {
    message: string;
    reportedOn: PiElement | PiElement[];
    locationdescription: string;
    severity: PiErrorSeverity;
    constructor(message: string, element: PiElement | PiElement[], locationdescription: string, severity?: PiErrorSeverity);
}
export declare enum PiErrorSeverity {
    Error = "Error",
    Improvement = "Improvement",
    ToDo = "TODO",
    Info = "Info",
    NONE = "NONE"
}
//# sourceMappingURL=PiValidator.d.ts.map