VerificationException.java :  » JVM » mandarax » org » mandarax » dsl » Java Open Source

/*
 * Copyright 2010 Jens Dietrich Licensed under the GNU AFFERO GENERAL PUBLIC LICENSE, Version 3
 * (the "License"); you may not use this file except in compliance with the
 * License. You may obtain a copy of the License at
 * http://www.gnu.org/licenses/agpl.html Unless required by applicable law
 * or agreed to in writing, software distributed under the License is
 * distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
 * KIND, either express or implied. See the License for the specific language
 * governing permissions and limitations under the License.
 */

package org.mandarax.dsl;

import org.mandarax.MandaraxException;

/**
 * Exception used to report verification problems.
 * @author jens dietrich
 */
@SuppressWarnings("serial")
public class VerificationException extends MandaraxException {

  public VerificationException() {}

  public VerificationException(String message) {
    super(message);
  }

  public VerificationException(Throwable cause) {
    super(cause);
  }

  public VerificationException(String message, Throwable cause) {
    super(message, cause);
  }

}