Class IndexerWithMemory

    • Method Detail

      • instantiateMailbox

        protected Mailbox instantiateMailbox()
        Instantiates the Mailbox of this receiver. Subclasses may override this method to provide their own mailbox implementation.
        Returns:
        the mailbox
        Since:
        2.0
      • update

        public void update​(Direction direction,
                           Tuple updateElement,
                           Timestamp timestamp)
        Description copied from interface: Receiver
        Updates the receiver with a newly found or lost partial matching.
        Specified by:
        update in interface Receiver
      • update

        protected abstract void update​(Direction direction,
                                       Tuple updateElement,
                                       Tuple signature,
                                       boolean change,
                                       Timestamp timestamp)
        Refined version of update
        Since:
        2.4
      • appendParent

        public void appendParent​(Supplier supplier)
        Description copied from interface: Receiver
        appends a parent that will continuously send insert and revoke updates to this supplier
        Specified by:
        appendParent in interface Receiver
      • getParents

        public java.util.Collection<Supplier> getParents()
        Description copied from interface: Receiver
        access active parent
        Specified by:
        getParents in interface Receiver
        Since:
        2.4
      • resumeAt

        public void resumeAt​(Timestamp timestamp)
        Description copied from interface: org.eclipse.viatra.query.runtime.rete.network.communication.timely.ResumableNode
        When called, the folding of the state shall be resumed at the given timestamp. The resumable is expected to do a folding step at the given timestamp only. Afterwards, folding shall be interrupted, even if there is more folding to do towards higher timestamps.
        Specified by:
        resumeAt in interface org.eclipse.viatra.query.runtime.rete.network.communication.timely.ResumableNode
        Since:
        2.4
      • getResumableTimestamp

        public Timestamp getResumableTimestamp()
        Description copied from interface: org.eclipse.viatra.query.runtime.rete.network.communication.timely.ResumableNode
        Returns the smallest timestamp where lazy folding shall be resumed, or null if there is no more folding to do in this resumable.
        Specified by:
        getResumableTimestamp in interface org.eclipse.viatra.query.runtime.rete.network.communication.timely.ResumableNode
        Since:
        2.4