Class: ContractMatrixViolationError
Every harness failure. The message carries the route identity, the module provenance, and the recovery step, so a failing consumer test never has to be re-run under a debugger to learn which route and which proof level produced it.
Extends
Constructors
Constructor
new ContractMatrixViolationError(
message,failures,report,options):ContractMatrixViolationError
Parameters
message
string
failures
readonly ContractMatrixFailure[]
report
options
details
readonly string[]
recovery
string
Returns
ContractMatrixViolationError
Overrides
Properties
~effect/ErrorReporter/attributes?
readonlyoptional~effect/ErrorReporter/attributes?:ReadonlyRecord<string,unknown>
Inherited from
AgentTestError.~effect/ErrorReporter/attributes
~effect/ErrorReporter/ignore?
readonlyoptional~effect/ErrorReporter/ignore?:boolean
Inherited from
AgentTestError.~effect/ErrorReporter/ignore
~effect/ErrorReporter/severity?
readonlyoptional~effect/ErrorReporter/severity?:Severity
Inherited from
AgentTestError.~effect/ErrorReporter/severity
~effect/Runtime/errorExitCode?
readonlyoptional~effect/Runtime/errorExitCode?:number
Inherited from
AgentTestError.~effect/Runtime/errorExitCode
~effect/Runtime/errorReported?
readonlyoptional~effect/Runtime/errorReported?:boolean
Inherited from
AgentTestError.~effect/Runtime/errorReported
cause?
optionalcause?:unknown
Inherited from
code
readonlycode:AgentTestErrorCode
Inherited from
failures
readonlyfailures: readonlyContractMatrixFailure[]
message
message:
string
Inherited from
name
name:
string
Inherited from
provenance?
readonlyoptionalprovenance?:RenderedRouteProvenance
Inherited from
report
readonlyreport:ContractMatrixReport
stack?
optionalstack?:string
Inherited from
stackTraceLimit
staticstackTraceLimit:number
The Error.stackTraceLimit property specifies the number of stack frames
collected by a stack trace (whether generated by new Error().stack or
Error.captureStackTrace(obj)).
The default value is 10 but may be set to any valid JavaScript number. Changes
will affect any stack trace captured after the value has been changed.
If set to a non-number value, or set to a negative number, stack traces will not capture any frames.
Inherited from
AgentTestError.stackTraceLimit
Methods
captureStackTrace()
staticcaptureStackTrace(targetObject,constructorOpt?):void
Creates a .stack property on targetObject, which when accessed returns
a string representing the location in the code at which
Error.captureStackTrace() was called.
The first line of the trace will be prefixed with
${myObject.name}: ${myObject.message}.
The optional constructorOpt argument accepts a function. If given, all frames
above constructorOpt, including constructorOpt, will be omitted from the
generated stack trace.
The constructorOpt argument is useful for hiding implementation
details of error generation from the user. For instance:
Parameters
targetObject
object
constructorOpt?
Function
Returns
void
Inherited from
AgentTestError.captureStackTrace
prepareStackTrace()
staticprepareStackTrace(err,stackTraces):any
Parameters
err
Error
stackTraces
CallSite[]
Returns
any
See
https://v8.dev/docs/stack-trace-api#customizing-stack-traces