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

Package ch.usi.si.codelounge.jsicko.plugin

Class ch.usi.si.codelounge.jsicko.plugin.OldValuesTable extends Object implements Serializable

Serialized Fields

table

Deque<ch.usi.si.codelounge.jsicko.plugin.OldValuesTable.MethodScope> table

Package ch.usi.si.codelounge.jsicko.plugin.diagnostics

Class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoError extends RuntimeException implements Serializable