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

package net.digitalid.utility.contracts;

import net.digitalid.utility.annotations.method.Pure;
import net.digitalid.utility.validation.annotations.type.Immutable;

/**
 * This class stores whether a constraint is fulfilled or violated based on a condition.
 */
@Immutable
public abstract class Constraint {
    
    /* -------------------------------------------------- Condition -------------------------------------------------- */
    
    private final boolean condition;
    
    @Pure
    protected final boolean isFulfilled() {
        return condition;
    }
    
    @Pure
    protected final boolean isViolated() {
        return !condition;
    }
    
    /* -------------------------------------------------- Constructors -------------------------------------------------- */
    
    protected Constraint(boolean condition) {
        this.condition = condition;
    }
    
}