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