Class IntegerList

    • Field Detail

      • typeIndexID

        public static final int typeIndexID
      • type

        public static final int type
    • Constructor Detail

      • IntegerList

        protected IntegerList()
      • IntegerList

        public IntegerList​(int addr,
                           TOP_Type type)
      • IntegerList

        public IntegerList​(JCas jcas)
    • Method Detail

      • getTypeIndexID

        public int getTypeIndexID()
        Description copied from class: TOP
        used to obtain reference to the TOP_Type instance
        Overrides:
        getTypeIndexID in class TOP
        Returns:
        the type array index
      • getNthElement

        public int getNthElement​(int i)
      • 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
      • iterator

        public java.util.Iterator<java.lang.Integer> iterator()
        Specified by:
        iterator in interface java.lang.Iterable<java.lang.Integer>