abstract class AbstractIterableItems<T : Any> : Functional<ExecutionContext>
Fields
| Name | Description |
|---|---|
protected abstract isIterable: Boolean
|
|
protected abstract items: Sequence
|
Constructors
<init>
constructor(iterable: String, target: KClass<T>)
Parameters
| Name | Description |
|---|---|
iterable: String
|
|
target: KClass<T>
|
Methods
toIterable
protected abstract fun Sequence
Receiver
| Name | Description |
|---|---|
Sequence
|
ReturnValue
| Name | Description |
|---|---|
T
|
computeOneSubstitution
protected open fun Request<ExecutionContext>.computeOneSubstitution(first: Term, second: Term): Substitution
Receiver
| Name | Description |
|---|---|
Request<ExecutionContext>
|
ReturnValue
| Name | Description |
|---|---|
Substitution
|