public class ListCounterexamplesOptions
extends com.ibm.cloud.sdk.core.service.model.GenericModel
Modifier and Type | Class and Description |
---|---|
static class |
ListCounterexamplesOptions.Builder
Builder.
|
static interface |
ListCounterexamplesOptions.Sort
The attribute by which returned counterexamples will be sorted.
|
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
cursor |
protected java.lang.Boolean |
includeAudit |
protected java.lang.Long |
pageLimit |
protected java.lang.String |
sort |
protected java.lang.String |
workspaceId |
Modifier | Constructor and Description |
---|---|
protected |
ListCounterexamplesOptions(ListCounterexamplesOptions.Builder builder) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
cursor()
Gets the cursor.
|
java.lang.Boolean |
includeAudit()
Gets the includeAudit.
|
ListCounterexamplesOptions.Builder |
newBuilder()
New builder.
|
java.lang.Long |
pageLimit()
Gets the pageLimit.
|
java.lang.String |
sort()
Gets the sort.
|
java.lang.String |
workspaceId()
Gets the workspaceId.
|
protected java.lang.String workspaceId
protected java.lang.Long pageLimit
protected java.lang.String sort
protected java.lang.String cursor
protected java.lang.Boolean includeAudit
protected ListCounterexamplesOptions(ListCounterexamplesOptions.Builder builder)
public ListCounterexamplesOptions.Builder newBuilder()
public java.lang.String workspaceId()
Unique identifier of the workspace.
public java.lang.Long pageLimit()
The number of records to return in each page of results.
public java.lang.String sort()
The attribute by which returned counterexamples will be sorted. To reverse the sort order, prefix the value with a minus sign (`-`).
public java.lang.String cursor()
A token identifying the page of results to retrieve.
public java.lang.Boolean includeAudit()
Whether to include the audit properties (`created` and `updated` timestamps) in the response.