Class EarliestFirstSystemMessageList$


  • public class EarliestFirstSystemMessageList$
    extends java.lang.Object
    • Constructor Detail

      • EarliestFirstSystemMessageList$

        public EarliestFirstSystemMessageList$()
    • Method Detail

      • isEmpty$extension

        public final boolean isEmpty$extension​(EarliestFirstSystemMessageList $this)
        Indicates if the list is empty or not. This operation has constant cost.
        Parameters:
        $this - (undocumented)
        Returns:
        (undocumented)
      • nonEmpty$extension

        public final boolean nonEmpty$extension​(EarliestFirstSystemMessageList $this)
        Indicates if the list has at least one element or not. This operation has constant cost.
        Parameters:
        $this - (undocumented)
        Returns:
        (undocumented)
      • size$extension

        public final int size$extension​(EarliestFirstSystemMessageList $this)
        Indicates if the list is empty or not. This operation has constant cost.
        Parameters:
        $this - (undocumented)
        Returns:
        (undocumented)
      • tail$extension

        public final EarliestFirstSystemMessageList tail$extension​(EarliestFirstSystemMessageList $this)
        Gives back the list containing all the elements except the first. This operation has constant cost.

        *Warning:* as the underlying list nodes (the SystemMessage instances) are mutable, care should be taken when passing the tail to other methods. SystemMessage.unlink() should be called on the head if one wants to detach the tail permanently.

        Parameters:
        $this - (undocumented)
        Returns:
        (undocumented)
      • reversePrepend$extension

        public final EarliestFirstSystemMessageList reversePrepend$extension​(EarliestFirstSystemMessageList $this,
                                                                             LatestFirstSystemMessageList other)
        Prepends a list in a reversed order to the head of this list. The prepended list will be reversed during the process.

        Example: (3, 4, 5) reversePrepend (2, 1, 0) == (0, 1, 2, 3, 4, 5)

        The cost of this operation is linear in the size of the list that is to be prepended.

        Parameters:
        $this - (undocumented)
        other - (undocumented)
        Returns:
        (undocumented)