[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) > [WithExample](./case-definition-dsl.matchers.convenience.withexample.md) ## matchers.convenience.WithExample class 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. **Signature:** ```typescript export declare class WithExample extends CascadingContextMatcher ``` **Extends:** CascadingContextMatcher ## Constructors

Constructor	Modifiers	Description
[(constructor)(matcher, example)](./case-definition-dsl.matchers.convenience.withexample._constructor_.md)		Adds an example to the provided matcher. Useful when you have a complicated set of [matchers.convenience.And](./case-definition-dsl.matchers.convenience.and.md) 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.

## Methods

Method	Modifiers	Description
[toJSON()](./case-definition-dsl.matchers.convenience.withexample.tojson.md)		For non-TypeScript implementations (see `AnyMatcher.toJSON`)