public static class CreateCounterexampleOptions.Builder
extends java.lang.Object
| Constructor and Description | 
|---|
| Builder()Instantiates a new builder. | 
| 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 Builder()
public 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