• Home
• net.digitalid.utility
• utility-contracts
• 0.7.0
• source code
• PostconditionException.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.PostconditionException Maven / Gradle / Ivy

package net.digitalid.utility.contracts.exceptions;

import net.digitalid.utility.contracts.Ensure;
import net.digitalid.utility.validation.annotations.type.Immutable;

/**
 * A postcondition exception indicates that a postcondition has been violated.
 * 
 * @see Ensure
 */
@Immutable
public abstract class PostconditionException extends ContractException {}