[Home](./index.md) > [@contract-case/case-definition-dsl](./case-definition-dsl.md) > [matchers](./case-definition-dsl.matchers.md) > [convenience](./case-definition-dsl.matchers.convenience.md) ## matchers.convenience namespace ## Classes

Class	Description
[And](./case-definition-dsl.matchers.convenience.and.md)	Matches all of the provided matchers. Useful for combining restrictions provided by different matchers, or creating new matchers without needing plugins. For best results, wrap the And matcher in a WithExample matcher.
[ChangeLogLevel](./case-definition-dsl.matchers.convenience.changeloglevel.md)	Alters the ContractCase log level below this matcher. Useful for debugging. This has no effect on matching. Note that this log level matcher will be saved into the contract, so it will also affect the log level during verification. Usually you will want to remove the use of this matcher before saving the contract.
[NamedMatch](./case-definition-dsl.matchers.convenience.namedmatch.md)	Saves the matcher below it with a unique name that can be used with lookups in tests after this one. Lookups can be made with [matchers.convenience.ReferenceMatch](./case-definition-dsl.matchers.convenience.referencematch.md).
[ReferenceMatch](./case-definition-dsl.matchers.convenience.referencematch.md)	Matches a named matcher created with [matchers.convenience.NamedMatch](./case-definition-dsl.matchers.convenience.namedmatch.md).
[StateVariable](./case-definition-dsl.matchers.convenience.statevariable.md)	Matches the content of a variable that comes from a state. See [state definitions](https://case.contract-testing.io/docs/defining-contracts/state-definitions) and [state handlers](https://case.contract-testing.io/docs/reference/state-handlers) for more details.
[WithExample](./case-definition-dsl.matchers.convenience.withexample.md)	Adds an example to the provided matcher. Useful when you have a complicated set of constraints and ContractCase can't figure out what the best example should be. Note that providing any example will override examples provided further down the tree.