public static final class ContractExecutionTracker.ContractExecution
extends Object
Identifies one contract execution so recursive re-entry can be suppressed.
| Constructor and description |
|---|
ContractExecution(String className, String methodIdentifier, String assertionType, boolean isStatic)Creates a contract execution identifier. |
Creates a contract execution identifier.
className - the declaring class namemethodIdentifier - the executable identifierassertionType - the logical contract kindisStatic - whether the executable is staticCompares two execution identifiers for logical equality.
o - the object to compare againsttrue if both identifiers describe the same executionReturns the hash code for this execution identifier.
Copyright © 2003-2026 The Apache Software Foundation. All rights reserved.