|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.uni_paderborn.fujaba.mpEdit.DocMan
No comment provided by developer, please add a comment to improve documentation.
Field Summary | |
private static int |
DELETE
No comment provided by developer, please add a comment to improve documentation. |
private static int |
DELETE_LINE
No comment provided by developer, please add a comment to improve documentation. |
private boolean |
dirty
No comment provided by developer, please add a comment to improve documentation. |
private DocOwnerInterface |
docOwner
No comment provided by developer, please add a comment to improve documentation. |
private java.io.File |
file
No comment provided by developer, please add a comment to improve documentation. |
private java.util.Vector |
frames
No comment provided by developer, please add a comment to improve documentation. |
private boolean |
hiding
No comment provided by developer, please add a comment to improve documentation. |
private boolean |
highlighting
No comment provided by developer, please add a comment to improve documentation. |
private Hilite |
hilite
No comment provided by developer, please add a comment to improve documentation. |
private static int |
INSERT
No comment provided by developer, please add a comment to improve documentation. |
private static int |
JOIN_LINE
No comment provided by developer, please add a comment to improve documentation. |
private LineMan |
lines
No comment provided by developer, please add a comment to improve documentation. |
private java.lang.String |
lineSeparator
No comment provided by developer, please add a comment to improve documentation. |
private mpEDIT |
mpEdit
No comment provided by developer, please add a comment to improve documentation. |
private boolean |
neverNamed
No comment provided by developer, please add a comment to improve documentation. |
(package private) int |
nextTag
No comment provided by developer, please add a comment to improve documentation. |
private boolean |
privateProps
No comment provided by developer, please add a comment to improve documentation. |
private java.util.Properties |
props
No comment provided by developer, please add a comment to improve documentation. |
private boolean |
readOnly
No comment provided by developer, please add a comment to improve documentation. |
private JournalItem |
redo_list
No comment provided by developer, please add a comment to improve documentation. |
private static int |
REPLACE_LINE
No comment provided by developer, please add a comment to improve documentation. |
private Ruler |
ruler
No comment provided by developer, please add a comment to improve documentation. |
private java.lang.Boolean |
saveReadOnly
No comment provided by developer, please add a comment to improve documentation. |
private int |
SLOW_READ
No comment provided by developer, please add a comment to improve documentation. |
private int |
SLOW_WRITE
No comment provided by developer, please add a comment to improve documentation. |
private static int |
SPLIT_LINE
No comment provided by developer, please add a comment to improve documentation. |
private java.util.ResourceBundle |
strings
No comment provided by developer, please add a comment to improve documentation. |
private static int |
SWAP_LINES
No comment provided by developer, please add a comment to improve documentation. |
private java.util.Vector |
textMenus
No comment provided by developer, please add a comment to improve documentation. |
private JournalItem |
undo_list
No comment provided by developer, please add a comment to improve documentation. |
Constructor Summary | |
DocMan(mpEDIT mpe,
java.util.ResourceBundle str,
java.util.Properties pr)
Constructor for class DocMan |
Method Summary | |
boolean |
addLine(TagLine tag,
java.lang.String s)
Insert a line of text before the TagLine. |
void |
addTextMenu(TextMenu e)
Access method for an one to n association. |
TextFrame |
anyFrame()
No comment provided by developer, please add a comment to improve documentation. |
void |
applyProperties()
No comment provided by developer, please add a comment to improve documentation. |
java.lang.String |
clear_line(int line)
No comment provided by developer, please add a comment to improve documentation. |
void |
clear_undo()
No comment provided by developer, please add a comment to improve documentation. |
void |
closeDoc(boolean bail)
Closes this document. |
void |
closeFrame(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation. |
private java.lang.String |
copy_or_cut(JournalItem i,
boolean cut)
No comment provided by developer, please add a comment to improve documentation. |
void |
delete_char(int line,
int column)
No comment provided by developer, please add a comment to improve documentation. |
java.lang.String |
delete_line(int line)
No comment provided by developer, please add a comment to improve documentation. |
java.lang.String |
delete_section(int line,
int column,
int eline,
int ecolumn,
boolean cut)
No comment provided by developer, please add a comment to improve documentation. |
boolean |
deleteLine(TagLine tag)
Delete a line. |
void |
doCloseFrame(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation. |
private boolean |
doSaveFile(TextFrame textFrame,
boolean As)
No comment provided by developer, please add a comment to improve documentation. |
void |
extendHilite(int highest)
No comment provided by developer, please add a comment to improve documentation. |
void |
filePrint(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation. |
boolean |
fileSave(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation. |
void |
fileSaveAs(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation. |
java.awt.Color |
getCommentColor()
Get the commentColor attribute of the DocMan object |
java.awt.Color |
getCommentXColor()
Get the commentXColor attribute of the DocMan object |
javax.swing.text.Document |
getDocument()
Copies the content of this doc into a swing-Document. |
private java.lang.String |
getFileForSave(TextFrame textFrame)
Get the fileForSave attribute of the DocMan object |
java.lang.String |
getFilename()
Returns the filename (no path) for this document. |
java.awt.Font |
getFont()
Get the font attribute of the DocMan object |
java.lang.String |
getFontStyle()
Get the fontStyle attribute of the DocMan object |
java.awt.Color |
getHideColor()
Get the hideColor attribute of the DocMan object |
int |
getHideLevel()
Get the hideLevel attribute of the DocMan object |
java.awt.Color |
getHideXColor()
Get the hideXColor attribute of the DocMan object |
private int |
getHighest()
Get the highest attribute of the DocMan object |
Hilite |
getHilite()
Get the hilite attribute of the DocMan object |
java.awt.Color |
getKeywordColor()
Get the keywordColor attribute of the DocMan object |
java.awt.Color |
getKeywordXColor()
Get the keywordXColor attribute of the DocMan object |
java.lang.String |
getLine(int i)
Get the line attribute of the DocMan object |
java.lang.String |
getLine(TagLine tag)
Get the text for a line. |
int |
getLineCount()
Get the line count for a document. |
LineInfo |
getLineInfo(int i)
Get the lineInfo attribute of the DocMan object |
DocOwnerInterface |
getOwner()
Get the owner attribute of the DocMan object |
java.lang.String |
getPathname()
Returns the full path to this document. |
java.lang.String |
getProperty(java.lang.String p)
Get the property attribute of the DocMan object |
java.awt.Color |
getQuoteColor()
Get the quoteColor attribute of the DocMan object |
java.awt.Color |
getQuoteXColor()
Get the quoteXColor attribute of the DocMan object |
int |
getTabSize()
Get the tabSize attribute of the DocMan object |
java.awt.Color |
getTextColor()
Get the textColor attribute of the DocMan object |
java.awt.Color |
getTextXColor()
Get the textXColor attribute of the DocMan object |
void |
insert_char(int line,
int column,
char c)
No comment provided by developer, please add a comment to improve documentation. |
void |
insert_line(int after,
java.lang.String txt)
No comment provided by developer, please add a comment to improve documentation. |
TextPosition |
insert_section(int line,
int column,
java.lang.String s,
boolean update)
No comment provided by developer, please add a comment to improve documentation. |
TextPosition |
insert(JournalItem i)
No comment provided by developer, please add a comment to improve documentation. |
private void |
internal_swap_lines(int first,
int second)
No comment provided by developer, please add a comment to improve documentation. |
boolean |
isBusy()
Get the busy attribute of the DocMan object |
boolean |
isDirty()
Fetch the dirty flag. |
boolean |
isReadOnly()
Get the readOnly attribute of the DocMan object |
void |
join_line(int line,
int column)
No comment provided by developer, please add a comment to improve documentation. |
private void |
legalizeCursors()
No comment provided by developer, please add a comment to improve documentation. |
int |
lineFromTag(TagLine tag)
Get the current line number for a TagLine. |
void |
newDoc()
No comment provided by developer, please add a comment to improve documentation. |
TextFrame |
newFrame(java.awt.Point point,
java.awt.Dimension size)
No comment provided by developer, please add a comment to improve documentation. |
void |
openDoc(TextFrame textFrame,
java.lang.String filename)
No comment provided by developer, please add a comment to improve documentation. |
void |
read(TextFrame textFrame,
java.lang.String filename)
No comment provided by developer, please add a comment to improve documentation. |
private void |
redo_line(JournalItem i)
No comment provided by developer, please add a comment to improve documentation. |
void |
redo(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation. |
private void |
remember_line(int line,
int column,
java.lang.String s)
No comment provided by developer, please add a comment to improve documentation. |
void |
saveAsDoc(java.lang.String pathname)
Writes out this document. |
void |
saveDoc()
Writes out this document. |
void |
scan()
No comment provided by developer, please add a comment to improve documentation. |
void |
setDirty(boolean d)
This sets the dirty flag. |
void |
setFilename(java.lang.String fileName)
Sets the filename for this document. |
void |
setFontStyle(java.lang.String style)
Sets the fontStyle attribute of the DocMan object |
boolean |
setLine(TagLine tag,
java.lang.String s)
Set the text for a line. |
void |
setOwner(DocOwnerInterface o)
Sets the owner attribute of the DocMan object |
void |
setProperties(java.util.Properties p)
Sets the properties attribute of the DocMan object |
void |
setProperty(java.lang.String p,
java.lang.String v)
Sets the property attribute of the DocMan object |
void |
setReadOnly(boolean aReadOnly)
Sets the readOnly attribute of the DocMan object |
void |
setTitles()
Sets the titles attribute of the DocMan object |
void |
setUntitled(int count)
Sets the untitled attribute of the DocMan object |
boolean |
showLine(TagLine tag)
Bring forward any view window and scroll to the desired line. |
void |
split_line(int line,
int column)
No comment provided by developer, please add a comment to improve documentation. |
void |
split_or_join(JournalItem i,
boolean join)
No comment provided by developer, please add a comment to improve documentation. |
void |
splitProperties()
No comment provided by developer, please add a comment to improve documentation. |
void |
swap_lines(int first,
int second)
No comment provided by developer, please add a comment to improve documentation. |
TagLine |
tagLine(int line)
No comment provided by developer, please add a comment to improve documentation. |
TagLine |
tagLine(int line,
java.awt.Color color)
Set a TagLine (including a tag color), used to track lines even when lines have been inserted or deleted elsewhere in the document. |
void |
undo(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation. |
void |
updateFrames(int first,
int last)
No comment provided by developer, please add a comment to improve documentation. |
private void |
updateMenus()
No comment provided by developer, please add a comment to improve documentation. |
void |
updateProperties(boolean global)
No comment provided by developer, please add a comment to improve documentation. |
void |
updateUndoItems(boolean un,
boolean re)
No comment provided by developer, please add a comment to improve documentation. |
void |
write(TextFrame textFrame,
java.io.File file)
No comment provided by developer, please add a comment to improve documentation. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private mpEDIT mpEdit
private java.util.ResourceBundle strings
private java.util.Properties props
private Hilite hilite
private Ruler ruler
private LineMan lines
private DocOwnerInterface docOwner
private java.util.Vector frames
private java.util.Vector textMenus
private java.io.File file
private JournalItem undo_list
private JournalItem redo_list
private boolean dirty
private boolean neverNamed
private boolean privateProps
private boolean highlighting
private boolean hiding
private java.lang.Boolean saveReadOnly
private boolean readOnly
private java.lang.String lineSeparator
private static final int REPLACE_LINE
private static final int SPLIT_LINE
private static final int JOIN_LINE
private static final int INSERT
private static final int DELETE
private static final int SWAP_LINES
private static final int DELETE_LINE
int nextTag
private final int SLOW_READ
private final int SLOW_WRITE
Constructor Detail |
public DocMan(mpEDIT mpe, java.util.ResourceBundle str, java.util.Properties pr)
mpe
- No description providedstr
- No description providedpr
- No description providedMethod Detail |
public void setOwner(DocOwnerInterface o)
o
- The new owner valuepublic DocOwnerInterface getOwner()
public void closeDoc(boolean bail)
closeDoc
in interface DocInterface
bail
- Exit immediately, discarding changes.public void saveDoc()
saveDoc
in interface DocInterface
public void saveAsDoc(java.lang.String pathname)
saveAsDoc
in interface DocInterface
pathname
- New document name (full path).public java.lang.String getPathname()
getPathname
in interface DocInterface
public java.lang.String getFilename()
getFilename
in interface DocInterface
public void setFilename(java.lang.String fileName)
setFilename
in interface DocInterface
fileName
- Document name .public boolean isDirty()
isDirty
in interface DocInterface
public void setDirty(boolean d)
setDirty
in interface DocInterface
d
- The new dirty valuepublic int getLineCount()
getLineCount
in interface DocInterface
public TagLine tagLine(int line)
tagLine
in interface DocInterface
line
- No description provided
public TagLine tagLine(int line, java.awt.Color color)
tagLine
in interface DocInterface
color
- The Color to display (pass null to clear).line
- No description provided
public int lineFromTag(TagLine tag)
lineFromTag
in interface DocInterface
tag
- No description provided
public boolean showLine(TagLine tag)
showLine
in interface DocInterface
tag
- No description provided
public java.lang.String getLine(TagLine tag)
getLine
in interface DocInterface
tag
- No description provided
public boolean setLine(TagLine tag, java.lang.String s)
setLine
in interface DocInterface
tag
- The new line values
- The new line value
public boolean addLine(TagLine tag, java.lang.String s)
addLine
in interface DocInterface
tag
- The object added.s
- The object added.
public boolean deleteLine(TagLine tag)
deleteLine
in interface DocInterface
tag
- No description provided
public javax.swing.text.Document getDocument()
getDocument
in interface DocInterface
public void setUntitled(int count)
count
- The new untitled valuepublic void setTitles()
public TextFrame newFrame(java.awt.Point point, java.awt.Dimension size)
point
- No description providedsize
- No description provided
public void closeFrame(TextFrame textFrame)
textFrame
- No description providedpublic void doCloseFrame(TextFrame textFrame)
textFrame
- No description providedpublic void newDoc()
public boolean isBusy()
public boolean isReadOnly()
public void setReadOnly(boolean aReadOnly)
aReadOnly
- The new readOnly valuepublic TextFrame anyFrame()
public void openDoc(TextFrame textFrame, java.lang.String filename)
textFrame
- No description providedfilename
- No description providedpublic void filePrint(TextFrame textFrame)
textFrame
- No description providedpublic boolean fileSave(TextFrame textFrame)
textFrame
- No description provided
public void fileSaveAs(TextFrame textFrame)
textFrame
- No description providedprivate boolean doSaveFile(TextFrame textFrame, boolean As)
textFrame
- No description providedAs
- No description provided
private java.lang.String getFileForSave(TextFrame textFrame)
textFrame
- No description provided
public void read(TextFrame textFrame, java.lang.String filename)
textFrame
- No description providedfilename
- No description providedpublic void write(TextFrame textFrame, java.io.File file)
textFrame
- No description providedfile
- No description providedpublic void clear_undo()
public void scan()
public void extendHilite(int highest)
highest
- No description providedpublic Hilite getHilite()
public java.awt.Color getTextColor()
public java.awt.Color getTextXColor()
public java.awt.Color getCommentColor()
public java.awt.Color getCommentXColor()
public java.awt.Color getKeywordColor()
public java.awt.Color getKeywordXColor()
public java.awt.Color getQuoteColor()
public java.awt.Color getQuoteXColor()
public java.awt.Color getHideColor()
public java.awt.Color getHideXColor()
public void updateFrames(int first, int last)
first
- No description providedlast
- No description providedprivate void legalizeCursors()
private int getHighest()
public java.lang.String getProperty(java.lang.String p)
p
- No description provided
public void setProperty(java.lang.String p, java.lang.String v)
p
- The new property valuev
- The new property valuepublic void setProperties(java.util.Properties p)
p
- The new properties valuepublic void splitProperties()
public void updateProperties(boolean global)
global
- No description providedpublic void applyProperties()
public java.lang.String getFontStyle()
public void setFontStyle(java.lang.String style)
style
- The new fontStyle valuepublic java.awt.Font getFont()
public int getTabSize()
public int getHideLevel()
public java.lang.String getLine(int i)
i
- No description provided
public LineInfo getLineInfo(int i)
i
- No description provided
public void addTextMenu(TextMenu e)
e
- The object added.public void updateUndoItems(boolean un, boolean re)
un
- No description providedre
- No description providedprivate void updateMenus()
public void undo(TextFrame textFrame)
textFrame
- No description providedpublic void redo(TextFrame textFrame)
textFrame
- No description providedpublic void insert_char(int line, int column, char c)
line
- No description providedcolumn
- No description providedc
- No description providedpublic void delete_char(int line, int column)
line
- No description providedcolumn
- No description providedprivate void remember_line(int line, int column, java.lang.String s)
line
- No description providedcolumn
- No description provideds
- No description providedprivate void redo_line(JournalItem i)
i
- No description providedpublic void split_line(int line, int column)
line
- No description providedcolumn
- No description providedpublic void join_line(int line, int column)
line
- No description providedcolumn
- No description providedpublic void split_or_join(JournalItem i, boolean join)
i
- No description providedjoin
- No description providedpublic TextPosition insert_section(int line, int column, java.lang.String s, boolean update)
line
- No description providedcolumn
- No description provideds
- No description providedupdate
- No description provided
public TextPosition insert(JournalItem i)
i
- No description provided
public java.lang.String delete_section(int line, int column, int eline, int ecolumn, boolean cut)
line
- No description providedcolumn
- No description providedeline
- No description providedecolumn
- No description providedcut
- No description provided
private java.lang.String copy_or_cut(JournalItem i, boolean cut)
i
- No description providedcut
- No description provided
public java.lang.String delete_line(int line)
line
- No description provided
public java.lang.String clear_line(int line)
line
- No description provided
public void insert_line(int after, java.lang.String txt)
after
- No description providedtxt
- No description providedprivate void internal_swap_lines(int first, int second)
first
- No description providedsecond
- No description providedpublic void swap_lines(int first, int second)
first
- No description providedsecond
- No description provided
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |