Serialized Form

Package com.io7m.jaffirm.core

Class com.io7m.jaffirm.core.ContractException extends java.lang.RuntimeException implements Serializable

Serialized Fields

violations

int violations

Class com.io7m.jaffirm.core.InvariantViolationException extends ContractException implements Serializable

Class com.io7m.jaffirm.core.PostconditionViolationException extends ContractException implements Serializable

Class com.io7m.jaffirm.core.PreconditionViolationException extends ContractException implements Serializable