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