abstract class PredicateWithoutArguments<E : ExecutionContext> : PrimitiveWrapper<E>
Constructors
<init>
constructor(operator: String)
A base class to implement predicates with zero argument
Parameters
Name | Description |
---|---|
operator: String
|
Methods
computeAll
protected abstract fun Request<E>.computeAll(): Sequence
Template method that should compute the response of the application of this predicate to a term Term
Receiver
Name | Description |
---|---|
Request<E>
|
ReturnValue
Name | Description |
---|---|
Sequence
|
uncheckedImplementation
protected fun uncheckedImplementation(request: Request<E>): Sequence
The function expressing the implementation of the primitive, without any check for application to correct signature
Parameters
Name | Description |
---|---|
request: Request<E>
|
ReturnValue
Name | Description |
---|---|
Sequence
|
A base class to implement predicates with zero argument