public final class JmlChecks extends java.lang.Object
This facades holds a list of all known jmlChecks. Add yours to jmlChecks to used in JmlIO.
jmlChecks
JmlIO
static java.util.List<JmlCheck>
getJmlChecks()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static java.util.List<JmlCheck> getJmlChecks()
Copyright © 2003-2019 The KeY-Project.