class ExceptionCoordInvalide extends ErrorException {

    public Coord co;

    public ExceptionCoordInvalide() {
        co = null;
    }

    public ExceptionCoordInvalide(Coord ref) {
        co = ref;
    }

    public String errorLabel() {
        return "référence invalide: " + co.avoirNom();
    }

    public int errorType() {
        return errorCoordInvalide;
    }

}