Class Segment

    • Field Detail

      • REF_MARKER

        public static String REF_MARKER
    • Constructor Detail

      • Segment

        public Segment()
        Creates an empty Segment object with a null identifier.
      • Segment

        public Segment​(String id)
        Creates an empty Segment object with a given identifier.
        Parameters:
        id - identifier for the new segment (Can be null).
      • Segment

        public Segment​(String id,
                       TextFragment text)
        Creates a Segment object with a given identifier and a given text fragment.
        Parameters:
        id - identifier for the new segment (Can be null).
        text - text fragment for the new segment.