Serialized Form

Class SoftwareInterfaces.AssertionViolation implements Serializable

Class SoftwareInterfaces.InvariantViolation implements Serializable

Class SoftwareInterfaces.PostconditionViolation implements Serializable

Class SoftwareInterfaces.PreconditionViolation implements Serializable