Serialized Form

Package ch.usi.si.codelounge.jsicko

Class ch.usi.si.codelounge.jsicko.Contract.ContractConditionViolation extends AssertionError implements Serializable

Class ch.usi.si.codelounge.jsicko.Contract.InvariantViolation extends Contract.ContractConditionViolation implements Serializable

Class ch.usi.si.codelounge.jsicko.Contract.PostconditionViolation extends Contract.ContractConditionViolation implements Serializable

Class ch.usi.si.codelounge.jsicko.Contract.PreconditionViolation extends Contract.ContractConditionViolation implements Serializable