Class LatestFirstSystemMessageList$


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

      • LatestFirstSystemMessageList$

        public LatestFirstSystemMessageList$()
    • Method Detail

      • isEmpty$extension

        public final boolean isEmpty$extension​(LatestFirstSystemMessageList $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​(LatestFirstSystemMessageList $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​(LatestFirstSystemMessageList $this)
        Indicates if the list is empty or not. This operation has constant cost.
        Parameters:
        $this - (undocumented)
        Returns:
        (undocumented)
      • tail$extension

        public final LatestFirstSystemMessageList tail$extension​(LatestFirstSystemMessageList $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)