/**
 * An error in a diagram detected by a diagram validator.
 * @public
 * @see DiagramValidator
 */
export interface DiagramError {
    /**
     * Error message to be displayed to the user.
     * @public
     */
    message: string;
    /**
     * If applicable, id of the diagram element which contains this error.
     * @public
     * @see DiagramElement
     */
    elementId?: string;
    /**
     * If applicable, list of keys under which to find the property which contains this error in the value set which contains this error.
     * @public
     * @see ValueSet
     */
    propertyNames?: string[];
}