Serialized Form

Package com.io7m.jaffirm.core

Exception com.io7m.jaffirm.core.ContractException

class ContractException extends RuntimeException implements Serializable

Serialized Fields

violations

int violations

Exception com.io7m.jaffirm.core.InvariantViolationException

class InvariantViolationException extends ContractException implements Serializable

Exception com.io7m.jaffirm.core.PostconditionViolationException

class PostconditionViolationException extends ContractException implements Serializable

Exception com.io7m.jaffirm.core.PreconditionViolationException

class PreconditionViolationException extends ContractException implements Serializable