The expected type of the input to the method.
The expected type of the output of the method.
The expected type of the authentication context.
OptionalensuresAn array of post-conditions that must pass after the method executes successfully.
OptionalinvariantsAn array of invariant conditions that must hold true before and after method execution.
OptionallayerThe layer of the application where the contract is applied (e.g., "presentation", "action", "business", "data", "unknown", "test").
OptionalrequiresAn array of pre-conditions that must pass before the method executes.
OptionalretryThe maximum number of retry attempts for recoverable errors. Defaults to 0 (no retries).
OptionalretryThe delay in milliseconds between retry attempts. Defaults to 100ms.
OptionalretryAn array of ErrorCategory values that should trigger a retry.
If not provided, it will retry on errors where isRecoverable is true.
Options for the
@contractdecorator.