[#BloombergLP-bsls-FuzzTestPreconditionTracker]
= xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/bsls.adoc[bsls]::FuzzTestPreconditionTracker
:relfileprefix: ../../
:mrdocs:

This utility class is used by the preprocessor macros to appropriately handle precondition violations that occur in different levels and components.

== Synopsis

Declared in `<bsls_fuzztest.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
struct FuzzTestPreconditionTracker;
----

== Static Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:BloombergLP/bsls/FuzzTestPreconditionTracker/handleAssertViolation.adoc[`handleAssertViolation`] 
| Handle an assertion violation for fuzz‐test precondition tracking.
| xref:BloombergLP/bsls/FuzzTestPreconditionTracker/handleException.adoc[`handleException`] 
| Handle a caught fuzz‐test precondition exception.
| xref:BloombergLP/bsls/FuzzTestPreconditionTracker/handlePreconditionsBegin.adoc[`handlePreconditionsBegin`] 
| Increment the assertion/review block depth level counter.
| xref:BloombergLP/bsls/FuzzTestPreconditionTracker/handlePreconditionsEnd.adoc[`handlePreconditionsEnd`] 
| Record the end of a precondition assertion/review block.
| xref:BloombergLP/bsls/FuzzTestPreconditionTracker/handleReviewViolation.adoc[`handleReviewViolation`] 
| Handle a review violation for fuzz‐test precondition tracking.
| xref:BloombergLP/bsls/FuzzTestPreconditionTracker/initStaticState.adoc[`initStaticState`] 
| Initialize static state before evaluating a top‐level fuzz‐test expression.
|===



[.small]#Created with https://www.mrdocs.com[MrDocs]#