|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavax.swing.text.AbstractDocument
javax.swing.text.PlainDocument
SFE.GUI.ProgramDocument
public class ProgramDocument
ProgramDocument is a PlainDocument extended type, with some additional comfortable operations
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 | |
---|---|
ProgramDocument()
Create a new ProgramDocument |
|
ProgramDocument(java.lang.String doc)
Create a new ProgramDocument |
Method Summary | |
---|---|
void |
appendDoc(java.lang.String doc)
Add data to the end of the document |
boolean |
equals(java.lang.Object other)
Compare documents by data |
java.lang.String |
getDoc()
Get document data |
int |
length()
Get document length |
void |
setDoc(java.lang.String doc)
Set document data |
java.lang.String |
toString()
String representation of document |
Methods inherited from class javax.swing.text.PlainDocument |
---|
getDefaultRootElement, getParagraphElement, insertString |
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 |
---|
getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ProgramDocument()
public ProgramDocument(java.lang.String doc)
doc
- Initial string to put in documentMethod Detail |
---|
public void setDoc(java.lang.String doc)
doc
- Data to put in documentpublic java.lang.String getDoc()
public void appendDoc(java.lang.String doc)
doc
- String to addpublic int length()
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |