• Home
• net.digitalid.utility
• utility-contracts
• 0.7.0
• source code
• ContractException.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

net.digitalid.utility.contracts.exceptions.ContractException Maven / Gradle / Ivy

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 {}