Class ConditionChecker
- java.lang.Object
-
- ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
-
public final class ConditionChecker extends Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddConditionGroup(Supplier<Optional<String>>... conditionGroupViolationSuppliers)voidcheck()voidcheck(Object thisObject)static voiddisableObjects(Object... objects)static voidenableObjects(Object... objects)static booleanisUniversallyEnabled()static ConditionCheckernewInvariantChecker()static ConditionCheckernewPostconditionChecker()static ConditionCheckernewPreconditionChecker()static voiduniversallyDisable()static voiduniversallyEnable()
-
-
-
Method Detail
-
newPreconditionChecker
public static ConditionChecker newPreconditionChecker()
-
newPostconditionChecker
public static ConditionChecker newPostconditionChecker()
-
newInvariantChecker
public static ConditionChecker newInvariantChecker()
-
addConditionGroup
@SafeVarargs public final void addConditionGroup(Supplier<Optional<String>>... conditionGroupViolationSuppliers)
-
universallyDisable
public static void universallyDisable()
-
universallyEnable
public static void universallyEnable()
-
isUniversallyEnabled
public static boolean isUniversallyEnabled()
-
disableObjects
public static void disableObjects(Object... objects)
-
enableObjects
public static void enableObjects(Object... objects)
-
check
public final void check() throws Contract.ContractConditionViolation
-
check
public final void check(Object thisObject) throws Contract.ContractConditionViolation
-
-