Serialized Form

Package org.obligate.annotations.contract

Class org.obligate.annotations.contract.ConditionResultsFilter extends java.lang.Object implements Serializable

serialVersionUID: 3690045760607301453L

Class org.obligate.annotations.contract.ContractResultsFilter extends java.lang.Object implements Serializable

serialVersionUID: 3690045760607301453L

Class org.obligate.annotations.contract.ContractViolationException extends java.lang.RuntimeException implements Serializable

serialVersionUID: 2203698475559920873L

Class org.obligate.annotations.contract.PostconditionException extends ContractViolationException implements Serializable

serialVersionUID: 5897037554409751252L

Class org.obligate.annotations.contract.PreconditionException extends ContractViolationException implements Serializable

serialVersionUID: 5529062971702705311L