Packages

c

info.kwarc.mmt.odk.LMFDB

QueryIteratorJoin

class QueryIteratorJoin[T, L] extends QueryIterator[List[T], L]

a lazy query iterator that joins

Source
QueryIterator.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. QueryIteratorJoin
  2. QueryIterator
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new QueryIteratorJoin(l: QueryIterator[List[T], L], r: QueryIterator[List[T], L])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def >(left: L, right: L): Boolean

    order: just recurse

    order: just recurse

    Definition Classes
    QueryIteratorJoinQueryIterator
  5. def all: List[List[T]]

    gets all elements from this iterator

    gets all elements from this iterator

    Definition Classes
    QueryIterator
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. def drop(n: Int): QueryIterator[List[T], L]
    Definition Classes
    QueryIterator
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. def get: Option[(List[T], L)]

    Gets the next element and its label from this QueryIterator, or None if there is no such element

    Gets the next element and its label from this QueryIterator, or None if there is no such element

    Definition Classes
    QueryIterator
  13. def getActual: Option[(List[T], L)]

    function to receive the next element along with it's label from the underlying implementation.

    function to receive the next element along with it's label from the underlying implementation.

    Assumption: getActual returns the results in order of labels

    Definition Classes
    QueryIteratorJoinQueryIterator
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def getNext: Option[List[T]]

    Gets the next data item (without label) from the result

    Gets the next data item (without label) from the result

    Definition Classes
    QueryIterator
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. def slice(from: Int, to: Int): List[List[T]]

    takes a given slice from this query iterator

    takes a given slice from this query iterator

    Definition Classes
    QueryIterator
  22. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  23. def take(n: Int): List[List[T]]

    take the next n elements

    take the next n elements

    Definition Classes
    QueryIterator
  24. def toString(): String
    Definition Classes
    AnyRef → Any
  25. def unget(e: (List[T], L)): Unit

    ungets an element, i.e.

    ungets an element, i.e. adds it to the pushback

    Definition Classes
    QueryIterator
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from QueryIterator[List[T], L]

Inherited from AnyRef

Inherited from Any

Ungrouped