fr.umlv.unitex
Class ListDocument

java.lang.Object
  extended by javax.swing.text.AbstractDocument
      extended by javax.swing.text.PlainDocument
          extended by fr.umlv.unitex.ListDocument
All Implemented Interfaces:
java.io.Serializable, javax.swing.text.Document

public class ListDocument
extends javax.swing.text.PlainDocument

This class describes a PlainDocument object that detects multiple word copies. If the text that must be added to the document contains carridge returns, a multiple word copy is done. If not, the normal paste operation is done to add this text to the document.

Author:
Sébastien Paumier
See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class javax.swing.text.AbstractDocument
javax.swing.text.AbstractDocument.AbstractElement, javax.swing.text.AbstractDocument.AttributeContext, javax.swing.text.AbstractDocument.BranchElement, javax.swing.text.AbstractDocument.Content, javax.swing.text.AbstractDocument.DefaultDocumentEvent, javax.swing.text.AbstractDocument.ElementEdit, javax.swing.text.AbstractDocument.LeafElement
 
Field Summary
 
Fields inherited from class javax.swing.text.PlainDocument
lineLimitAttribute, tabSizeAttribute
 
Fields inherited from class javax.swing.text.AbstractDocument
BidiElementName, ContentElementName, ElementNameAttribute, ParagraphElementName, SectionElementName
 
Fields inherited from interface javax.swing.text.Document
StreamDescriptionProperty, TitleProperty
 
Constructor Summary
ListDocument()
           
 
Method Summary
 void insertString(int offs, java.lang.String s, javax.swing.text.AttributeSet a)
          Tries to insert a string in the document.
 
Methods inherited from class javax.swing.text.PlainDocument
getDefaultRootElement, getParagraphElement
 
Methods inherited from class javax.swing.text.AbstractDocument
addDocumentListener, addUndoableEditListener, createPosition, dump, getAsynchronousLoadPriority, getBidiRootElement, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, putProperty, readLock, readUnlock, remove, removeDocumentListener, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ListDocument

public ListDocument()
Method Detail

insertString

public void insertString(int offs,
                         java.lang.String s,
                         javax.swing.text.AttributeSet a)
                  throws javax.swing.text.BadLocationException
Tries to insert a string in the document.

Specified by:
insertString in interface javax.swing.text.Document
Overrides:
insertString in class javax.swing.text.PlainDocument
Parameters:
offs - offset to insert the string
s - string to be inserted
a - attribute set
Throws:
javax.swing.text.BadLocationException