public static class CreateCounterexample.Builder
extends java.lang.Object
Constructor and Description |
---|
Builder()
Instantiates a new builder.
|
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 Builder()
public Builder(java.lang.String text)
text
- the textpublic CreateCounterexample build()
public CreateCounterexample.Builder text(java.lang.String text)
text
- the text