Class IntegerList

    • Field Detail

      • EMPTY_INT_ITERATOR

        public static java.util.PrimitiveIterator.OfInt EMPTY_INT_ITERATOR
    • Constructor Detail

      • IntegerList

        protected IntegerList()
      • IntegerList

        public IntegerList​(JCas jcas)
      • IntegerList

        public IntegerList​(TypeImpl t,
                           CASImpl c)
        used by generator Make a new AnnotationBase
        Parameters:
        c - -
        t - -
    • Method Detail

      • getNthElement

        public int getNthElement​(int i)
      • pushNode

        public NonEmptyIntegerList pushNode()
        Description copied from interface: CommonList
        Creates a new node and pushes it onto the front of the existing node
        Specified by:
        pushNode in interface CommonList
        Returns:
        the new node
      • iterator

        public java.util.PrimitiveIterator.OfInt iterator()
        Specified by:
        iterator in interface java.lang.Iterable<java.lang.Integer>
      • push

        public NonEmptyIntegerList push​(int item)
        pushes item onto front of this list
        Parameters:
        item - the item to push onto the list
        Returns:
        the new list, with this item as the head value of the first element
      • create

        public static IntegerList create​(JCas jcas,
                                         int[] a)
        Create an IntegerList from an existing array of ints
        Parameters:
        jcas - the JCas to use
        a - the array of ints to populate the list with
        Returns:
        an IntegerList, with the elements from the array
      • stream

        public java.util.stream.Stream<java.lang.Integer> stream()
      • spliterator

        public java.util.Spliterator.OfInt spliterator()
        Specified by:
        spliterator in interface java.lang.Iterable<java.lang.Integer>
      • contains

        public boolean contains​(int v)