com.github.dakusui.thincrest.metamor.PropositionPredicate Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of thincrest-pcond Show documentation

Yet another assertion library powered by "pcond"

The newest version!

package com.github.dakusui.thincrest.metamor;

import com.github.dakusui.thincrest_pcond.core.Evaluable;
import com.github.dakusui.thincrest_pcond.core.printable.PrintablePredicate;

import java.util.function.Predicate;

import static java.util.Collections.emptyList;

public class PropositionPredicate extends PrintablePredicate implements Evaluable.LeafPred {
  public static final PropositionPredicate INSTANCE = new PropositionPredicate();
  
  protected PropositionPredicate() {
    super(new Object(), emptyList(), () -> "evaluate", Proposition::evaluate);
  }
  
  @Override
  public Predicate predicate() {
    return super.predicate;
  }
}