net.digitalid.utility.contracts.exceptions.ContractException Maven / Gradle / Ivy
The newest version!
package net.digitalid.utility.contracts.exceptions;
import net.digitalid.utility.exceptions.InternalException;
import net.digitalid.utility.validation.annotations.type.Immutable;
/**
* A contract exception indicates that a contract has been violated.
*
* @see InvariantException
* @see PreconditionException
* @see PostconditionException
*/
@Immutable
public abstract class ContractException extends InternalException {}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy