Class StringList

    • Field Detail

      • typeIndexID

        public static final int typeIndexID
      • type

        public static final int type
    • Constructor Detail

      • StringList

        protected StringList()
      • StringList

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

        public StringList​(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 java.lang.String getNthElement​(int i)
      • iterator

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

        public NonEmptyStringList push​(java.lang.String s)
        pushes a String onto front of this list
        Parameters:
        s - the String to push
        Returns:
        the new list, with this String as the first element's head value