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