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