public class ContractExecutionTracker
extends ObjectKeeps track of contract executions to avoid cyclic contract checks.
| Modifiers | Name | Description |
|---|---|---|
static class |
ContractExecutionTracker.ContractExecution |
Identifies one contract execution so recursive re-entry can be suppressed. |
| Type Params | Return Type | Name and description |
|---|---|---|
|
public static void |
clear(String className, String methodIdentifier, String assertionType, boolean isStatic)Removes a previously tracked contract execution from the current thread. |
|
public static boolean |
track(String className, String methodIdentifier, String assertionType, boolean isStatic)Attempts to register a contract execution for the current thread. |
Removes a previously tracked contract execution from the current thread.
className - the declaring class namemethodIdentifier - the executable identifierassertionType - the logical contract kindisStatic - whether the executable is staticAttempts to register a contract execution for the current thread.
className - the declaring class namemethodIdentifier - the executable identifierassertionType - the logical contract kindisStatic - whether the executable is statictrue if the execution was newly tracked, false if it was already active