public static class CreateCounterexample.Builder
extends java.lang.Object
| Constructor and Description |
|---|
CreateCounterexample.Builder()
Instantiates a new builder.
|
CreateCounterexample.Builder(java.lang.String text)
Instantiates a new builder with required properties.
|
| Modifier and Type | Method and Description |
|---|---|
CreateCounterexample |
build()
Builds a CreateCounterexample.
|
CreateCounterexample.Builder |
text(java.lang.String text)
Set the text.
|
public CreateCounterexample.Builder()
public CreateCounterexample.Builder(java.lang.String text)
text - the textpublic CreateCounterexample build()
public CreateCounterexample.Builder text(java.lang.String text)
text - the text