net.jqwik.api.stateful.Invariant Maven / Gradle / Ivy
package net.jqwik.api.stateful;
import org.apiguardian.api.*;
import static org.apiguardian.api.API.Status.*;
@FunctionalInterface
@API(status = MAINTAINED, since = "1.0")
public interface Invariant {
void check(T model);
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy