Uses of Class
ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker

Packages that use ConditionChecker

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

Uses of ConditionChecker in ch.usi.si.codelounge.jsicko

Methods in ch.usi.si.codelounge.jsicko that return ConditionChecker

Modifier and Type	Method	Description
default ConditionChecker	Contract.emptyPreconditionChecker()

Uses of ConditionChecker in ch.usi.si.codelounge.jsicko.plugin.utils

Methods in ch.usi.si.codelounge.jsicko.plugin.utils that return ConditionChecker

Modifier and Type	Method	Description
static ConditionChecker	ConditionChecker.newInvariantChecker()
static ConditionChecker	ConditionChecker.newPostconditionChecker()
static ConditionChecker	ConditionChecker.newPreconditionChecker()