
com.github.valid8j.pcond.validator.exceptions.PostconditionViolationException Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of valid8j Show documentation
Show all versions of valid8j Show documentation
Java Library Providing Uniformed Programming Experiences across DbC, Value Checking, and Test Assertions
package com.github.valid8j.pcond.validator.exceptions;
/**
* An exception intended to be used, when a post-condition is not satisfied.
*/
public class PostconditionViolationException extends RuntimeException {
public PostconditionViolationException(String message) {
super(message);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy