org.ggp.base.validator.ValidatorException Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package org.ggp.base.validator;

@SuppressWarnings("serial")
public class ValidatorException extends Exception {
    public ValidatorException(String explanation) {
        super("Validator: " + explanation);
    }

    public ValidatorException(String explanation, Throwable t) {
        super("Validator: " + explanation, t);
    }
}