Uses of Class
org.jmlspecs.jml4.rac.runtime.JMLPostconditionError

Packages that use JMLPostconditionError

org.jmlspecs.jml4.rac.runtime

Uses of JMLPostconditionError in org.jmlspecs.jml4.rac.runtime

Subclasses of JMLPostconditionError in org.jmlspecs.jml4.rac.runtime

class	JMLExceptionalPostconditionError A JML error class to notify exceptional postcondition violations.
class	JMLExitExceptionalPostconditionError A JML error class to notify exit exceptional postcondition violations.
class	JMLExitNormalPostconditionError A JML error class to notify exit normal postcondition violations.
class	JMLInternalExceptionalPostconditionError A JML error class to notify internal exceptional postcondition violations.
class	JMLInternalNormalPostconditionError A JML error class to notify internal normal postcondition violations.
class	JMLNormalPostconditionError A JML error class to notify normal postcondition violations.