Package ch.usi.si.codelounge.jsicko

Interface Contract

public interface Contract

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	Contract.ContractConditionViolation	Abstract class representing generic contract condition violations.
static interface	Contract.Ensures	Declares the postconditions of a method.
static interface	Contract.Invariant	Declares the method as specifying a class invariant.
static class	Contract.InvariantViolation
static class	Contract.PostconditionViolation
static class	Contract.PreconditionViolation
static interface	Contract.Pure	Declares the method as pure, so that it can be used as a clause in contract annotations.
static interface	Contract.Requires	Declares the preconditions of a method.

Method Summary

Modifier and Type	Method	Description
default OldValuesTable	emptyOldValuesTable()
default ConditionChecker	emptyPreconditionChecker()
default <X> X	instanceOld(String rep, X object)
static <T> T	old(T object)
default boolean	pure()
static <X> X	staticOld(Class<? extends Contract> clazz, String rep, X object)

Method Detail

emptyOldValuesTable

default OldValuesTable emptyOldValuesTable()

emptyPreconditionChecker

default ConditionChecker emptyPreconditionChecker()

instanceOld

default <X> X instanceOld(String rep,
                          X object)

staticOld

static <X> X staticOld(Class<? extends Contract> clazz,
                       String rep,
                       X object)

old

static <T> T old(T object)

pure

default boolean pure()