gui.multisource
Class MultisourceDocument.SourceSegment

java.lang.Object
  gui.multisource.MultisourceDocument.SourceSegment

Enclosing class:

MultisourceDocument

public class MultisourceDocument.SourceSegment
extends java.lang.Object

A SourceSegment represents a contiguous, single source segment of text in a multisource document. It provides information about the start and end offsets of the segment and its source.

Method Summary

int	getEndOffset()
java.lang.Object	getSource()
int	getStartOffset()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getSource

public java.lang.Object getSource()

getStartOffset

public int getStartOffset()

getEndOffset

public int getEndOffset()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object