public static class Counterexample.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 |
---|---|
Counterexample |
build()
Builds a Counterexample.
|
Counterexample.Builder |
created(java.util.Date created)
Set the created.
|
Counterexample.Builder |
text(java.lang.String text)
Set the text.
|
Counterexample.Builder |
updated(java.util.Date updated)
Set the updated.
|
public Builder()
public Builder(java.lang.String text)
text
- the textpublic Counterexample build()
public Counterexample.Builder text(java.lang.String text)
text
- the textpublic Counterexample.Builder created(java.util.Date created)
created
- the createdpublic Counterexample.Builder updated(java.util.Date updated)
updated
- the updated