Uses of Class
ch.usi.si.codelounge.jsicko.Contract.ContractConditionViolation

Packages that use Contract.ContractConditionViolation

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

Uses of Contract.ContractConditionViolation in ch.usi.si.codelounge.jsicko

Subclasses of Contract.ContractConditionViolation in ch.usi.si.codelounge.jsicko

Modifier and Type	Class	Description
static class	Contract.InvariantViolation
static class	Contract.PostconditionViolation
static class	Contract.PreconditionViolation

Uses of Contract.ContractConditionViolation in ch.usi.si.codelounge.jsicko.plugin

Methods in ch.usi.si.codelounge.jsicko.plugin that return types with arguments of type Contract.ContractConditionViolation

Modifier and Type	Method	Description
abstract Function<String,Contract.ContractConditionViolation>	ContractConditionEnum.violationConstructor()

Uses of Contract.ContractConditionViolation in ch.usi.si.codelounge.jsicko.plugin.utils

Methods in ch.usi.si.codelounge.jsicko.plugin.utils that throw Contract.ContractConditionViolation

Modifier and Type	Method	Description
void	ConditionChecker.check()
void	ConditionChecker.check(Object thisObject)