|
|||||||||
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.DefaultStyledDocument
com.judoscript.studio.SourceCodeDocument
public final class SourceCodeDocument
Nested Class Summary |
---|
Nested classes/interfaces inherited from class javax.swing.text.DefaultStyledDocument |
---|
javax.swing.text.DefaultStyledDocument.AttributeUndoableEdit, javax.swing.text.DefaultStyledDocument.ElementBuffer, javax.swing.text.DefaultStyledDocument.ElementSpec, javax.swing.text.DefaultStyledDocument.SectionElement |
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 | |
---|---|
static int |
maxBufLen
|
Fields inherited from class javax.swing.text.DefaultStyledDocument |
---|
buffer, BUFFER_SIZE_DEFAULT |
Fields inherited from class javax.swing.text.AbstractDocument |
---|
BAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementName |
Fields inherited from interface javax.swing.text.Document |
---|
StreamDescriptionProperty, TitleProperty |
Constructor Summary | |
---|---|
SourceCodeDocument()
|
|
SourceCodeDocument(java.io.File file)
|
|
SourceCodeDocument(java.lang.String fileName)
|
Method Summary | |
---|---|
void |
clear()
|
java.io.File |
getFile()
|
int |
getLineNumber(int pos)
|
java.io.Reader |
getReader(boolean forSave)
|
javax.swing.Action |
getRedoAction()
|
javax.swing.Action |
getUndoAction()
|
int |
gotoLine(int lineNum)
|
boolean |
hasFile()
|
boolean |
isDirty()
|
void |
load(java.io.File f)
|
void |
save()
|
void |
save(java.io.File file)
|
void |
save(java.lang.String path)
|
void |
setFile(java.io.File f)
|
Methods inherited from class javax.swing.text.DefaultStyledDocument |
---|
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChanged |
Methods inherited from class javax.swing.text.AbstractDocument |
---|
addUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireChangedUpdate, fireInsertUpdate, fireRemoveUpdate, fireUndoableEditUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, insertString, postRemoveUpdate, putProperty, readLock, readUnlock, remove, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface javax.swing.text.Document |
---|
addUndoableEditListener, createPosition, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, insertString, putProperty, remove, removeUndoableEditListener, render |
Field Detail |
---|
public static final int maxBufLen
Constructor Detail |
---|
public SourceCodeDocument(java.lang.String fileName) throws java.io.IOException
java.io.IOException
public SourceCodeDocument(java.io.File file) throws java.io.IOException
java.io.IOException
public SourceCodeDocument()
Method Detail |
---|
public javax.swing.Action getUndoAction()
public javax.swing.Action getRedoAction()
public java.io.File getFile()
public void setFile(java.io.File f)
public boolean hasFile()
public boolean isDirty()
public void clear()
public void load(java.io.File f) throws java.io.IOException
java.io.IOException
public void save(java.io.File file) throws java.io.IOException
java.io.IOException
public void save(java.lang.String path) throws java.io.IOException
java.io.IOException
public void save() throws java.io.IOException
java.io.IOException
public int getLineNumber(int pos) throws javax.swing.text.BadLocationException
javax.swing.text.BadLocationException
public int gotoLine(int lineNum)
public java.io.Reader getReader(boolean forSave)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |