http://www.jooq.org/jooq: jOOQ effectively combines complex SQL, typesafety, source code generation, active records, stored procedures, advanced data types, and Java in a fluent, intuitive DSL. 
public interface org.jooq.Check<R extends org.jooq.Record> extends org.jooq.Named
  minor version: 0
  major version: 59
  flags: flags: (0x0601) ACC_PUBLIC, ACC_INTERFACE, ACC_ABSTRACT
  this_class: org.jooq.Check
  super_class: java.lang.Object
{
  public abstract org.jooq.Table<R> getTable();
    descriptor: ()Lorg/jooq/Table;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
    Signature: ()Lorg/jooq/Table<TR;>;

  public abstract org.jooq.Condition condition();
    descriptor: ()Lorg/jooq/Condition;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public abstract org.jooq.Constraint constraint();
    descriptor: ()Lorg/jooq/Constraint;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public abstract boolean enforced();
    descriptor: ()Z
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
}
Signature: <R::Lorg/jooq/Record;>Ljava/lang/Object;Lorg/jooq/Named;
SourceFile: "Check.java"