Failure

data class Failure<C : ClauseCollection>(val collection: C) : RetrieveResult<C>

A failed retrieval result, carrying the unchanged collection.

Constructors

Link copied to clipboard
constructor(collection: C)

Properties

Link copied to clipboard
open override val clauses: Nothing?

The clauses that were actually removed, in removal order; null if the operation isFailure.

Link copied to clipboard
open override val collection: C

The clause collection resulting from the operation (unchanged, if it isFailure).

Link copied to clipboard
open override val firstClause: Nothing?

The first successfully removed clause; null if the operation isFailure.

Link copied to clipboard
open override val isFailure: Boolean

Whether the operation removed no clause at all.

Link copied to clipboard
open val isSuccess: Boolean

Whether the operation removed at least one clause.