de.uni_paderborn.fujaba.mpEdit
Class mpEDIT

java.lang.Object
  extended byde.uni_paderborn.fujaba.mpEdit.mpEDIT
All Implemented Interfaces:
EditorInterface

public class mpEDIT
extends java.lang.Object
implements EditorInterface

No comment provided by developer, please add a comment to improve documentation.

Version:
$Revision: 1.26 $
Author:
$Author: schneider $

Field Summary
private  java.util.Vector beans
          No comment provided by developer, please add a comment to improve documentation.
private  java.util.Vector docs
          No comment provided by developer, please add a comment to improve documentation.
private  EditorOwnerInterface editorOwner
          No comment provided by developer, please add a comment to improve documentation.
private  FrameMain frameMain
          No comment provided by developer, please add a comment to improve documentation.
private  boolean highlightingEnabled
          No comment provided by developer, please add a comment to improve documentation.
private  KeyMap keyMap
          No comment provided by developer, please add a comment to improve documentation.
private static java.lang.String keytableFilename
          No comment provided by developer, please add a comment to improve documentation.
private  java.awt.Point lastPlace
          No comment provided by developer, please add a comment to improve documentation.
(package private)  java.lang.String openDir
          No comment provided by developer, please add a comment to improve documentation.
private  PropMan propMan
          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.
(package private)  java.lang.String saveDir
          No comment provided by developer, please add a comment to improve documentation.
private  java.awt.Dimension screenDim
          No comment provided by developer, please add a comment to improve documentation.
private  java.util.Vector searchPatterns
          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.
static java.lang.String stringsResourceName
          No comment provided by developer, please add a comment to improve documentation.
private  int untitled_count
          No comment provided by developer, please add a comment to improve documentation.
private  int windowOffset
          No comment provided by developer, please add a comment to improve documentation.
private  java.awt.Dimension windowSize
          No comment provided by developer, please add a comment to improve documentation.
 
Constructor Summary
mpEDIT(FrameMain main)
          Constructor for class mpEDIT
mpEDIT(FrameMain main, boolean highlightingEnabled)
          Constructor for class mpEDIT
 
Method Summary
 void addSearchPattern(java.lang.String patt)
          Access method for an one to n association.
 void closeDoc(DocMan doc)
          No comment provided by developer, please add a comment to improve documentation.
 void closeDocs(boolean bail)
          Closes all documents.
 java.util.Vector getBeans()
          Get the beans attribute of the mpEDIT object
private  java.lang.String getFileForOpen(TextFrame textFrame)
          Get the fileForOpen attribute of the mpEDIT object
 FrameMain getFrameMain()
          Get the frameMain attribute of the mpEDIT object
 boolean getHighlightingEnabled()
          Get the highlightingEnabled attribute of the mpEDIT object
 java.lang.String getKeyAction(int modifiers, int keys)
          Get the keyAction attribute of the mpEDIT object
 java.lang.String getLatestSearchPattern()
          Get the latestSearchPattern attribute of the mpEDIT object
 EditorOwnerInterface getOwner()
          Get the owner attribute of the mpEDIT object
 java.awt.Point getPlace(java.awt.Dimension size)
          Get the place attribute of the mpEDIT object
 java.lang.String getSaveDir()
          Get the saveDir attribute of the mpEDIT object
 java.lang.String[] getSearchPatterns()
          Get the searchPatterns attribute of the mpEDIT object
 int getUntitled()
          Get the untitled attribute of the mpEDIT object
 java.awt.Dimension getWindowSize()
          Get the windowSize attribute of the mpEDIT object
private  void init(FrameMain main)
          No comment provided by developer, please add a comment to improve documentation.
 void loadKeytable()
          No comment provided by developer, please add a comment to improve documentation.
 DocInterface newDoc()
          No comment provided by developer, please add a comment to improve documentation.
 DocInterface newDoc(DocOwnerInterface o)
          Opens a new, empty, document.
 DocInterface openDoc(DocOwnerInterface o, java.lang.String filename)
          Opens a new editor window containing the specified file.
 DocInterface openDoc(java.lang.String filename)
          No comment provided by developer, please add a comment to improve documentation.
 void openDocDialog(DocMan doc, TextFrame textFrame)
          Opens a file dialog, and then the specified file.
 void openOneDoc()
          No comment provided by developer, please add a comment to improve documentation.
 void saveKeytable()
          No comment provided by developer, please add a comment to improve documentation.
 void setHighlightingEnabled(boolean value)
          Sets the highlightingEnabled attribute of the mpEDIT object
 void setSaveDir(java.lang.String dir)
          Sets the saveDir attribute of the mpEDIT object
 void updateProperties(java.util.Properties p)
          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

strings

private java.util.ResourceBundle strings
No comment provided by developer, please add a comment to improve documentation.


propMan

private PropMan propMan
No comment provided by developer, please add a comment to improve documentation.


props

private java.util.Properties props
No comment provided by developer, please add a comment to improve documentation.


docs

private java.util.Vector docs
No comment provided by developer, please add a comment to improve documentation.


beans

private java.util.Vector beans
No comment provided by developer, please add a comment to improve documentation.


keyMap

private KeyMap keyMap
No comment provided by developer, please add a comment to improve documentation.


editorOwner

private EditorOwnerInterface editorOwner
No comment provided by developer, please add a comment to improve documentation.


untitled_count

private int untitled_count
No comment provided by developer, please add a comment to improve documentation.


screenDim

private java.awt.Dimension screenDim
No comment provided by developer, please add a comment to improve documentation.


windowSize

private java.awt.Dimension windowSize
No comment provided by developer, please add a comment to improve documentation.


windowOffset

private int windowOffset
No comment provided by developer, please add a comment to improve documentation.


lastPlace

private java.awt.Point lastPlace
No comment provided by developer, please add a comment to improve documentation.


highlightingEnabled

private boolean highlightingEnabled
No comment provided by developer, please add a comment to improve documentation.


frameMain

private FrameMain frameMain
No comment provided by developer, please add a comment to improve documentation.


stringsResourceName

public static final java.lang.String stringsResourceName
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values

openDir

java.lang.String openDir
No comment provided by developer, please add a comment to improve documentation.


keytableFilename

private static final java.lang.String keytableFilename
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values

searchPatterns

private java.util.Vector searchPatterns
No comment provided by developer, please add a comment to improve documentation.


saveDir

java.lang.String saveDir
No comment provided by developer, please add a comment to improve documentation.

Constructor Detail

mpEDIT

public mpEDIT(FrameMain main)
Constructor for class mpEDIT

Parameters:
main - No description provided

mpEDIT

public mpEDIT(FrameMain main,
              boolean highlightingEnabled)
Constructor for class mpEDIT

Parameters:
main - No description provided
highlightingEnabled - No description provided
Method Detail

init

private void init(FrameMain main)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
main - No description provided

setHighlightingEnabled

public void setHighlightingEnabled(boolean value)
Sets the highlightingEnabled attribute of the mpEDIT object

Parameters:
value - The new highlightingEnabled value

getHighlightingEnabled

public boolean getHighlightingEnabled()
Get the highlightingEnabled attribute of the mpEDIT object

Returns:
The highlightingEnabled value

getOwner

public EditorOwnerInterface getOwner()
Get the owner attribute of the mpEDIT object

Returns:
The owner value

getUntitled

public int getUntitled()
Get the untitled attribute of the mpEDIT object

Returns:
The untitled value

newDoc

public DocInterface newDoc(DocOwnerInterface o)
Opens a new, empty, document.

Specified by:
newDoc in interface EditorInterface
Parameters:
o - No description provided
Returns:
A DocInterface for the opened document.

newDoc

public DocInterface newDoc()
No comment provided by developer, please add a comment to improve documentation.

Returns:
No description provided

openDocDialog

public void openDocDialog(DocMan doc,
                          TextFrame textFrame)
Opens a file dialog, and then the specified file. The current document is used if it is not busy, or else a new editor document is created.

Parameters:
doc - The current document.
textFrame - The current textFrame.

openDoc

public DocInterface openDoc(DocOwnerInterface o,
                            java.lang.String filename)
Opens a new editor window containing the specified file.

Specified by:
openDoc in interface EditorInterface
Parameters:
filename - A full path to a text file to be opened.
o - No description provided
Returns:
A DocInterface for the opened document.

openDoc

public DocInterface openDoc(java.lang.String filename)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
filename - No description provided
Returns:
No description provided

openOneDoc

public void openOneDoc()
No comment provided by developer, please add a comment to improve documentation.


closeDoc

public void closeDoc(DocMan doc)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
doc - No description provided

getWindowSize

public java.awt.Dimension getWindowSize()
Get the windowSize attribute of the mpEDIT object

Returns:
The windowSize value

getPlace

public java.awt.Point getPlace(java.awt.Dimension size)
Get the place attribute of the mpEDIT object

Parameters:
size - No description provided
Returns:
The place value

getFileForOpen

private java.lang.String getFileForOpen(TextFrame textFrame)
Get the fileForOpen attribute of the mpEDIT object

Parameters:
textFrame - No description provided
Returns:
The fileForOpen value

getKeyAction

public java.lang.String getKeyAction(int modifiers,
                                     int keys)
Get the keyAction attribute of the mpEDIT object

Parameters:
modifiers - No description provided
keys - No description provided
Returns:
The keyAction value

loadKeytable

public void loadKeytable()
No comment provided by developer, please add a comment to improve documentation.


saveKeytable

public void saveKeytable()
No comment provided by developer, please add a comment to improve documentation.


addSearchPattern

public void addSearchPattern(java.lang.String patt)
Access method for an one to n association.

Parameters:
patt - The object added.

getSearchPatterns

public java.lang.String[] getSearchPatterns()
Get the searchPatterns attribute of the mpEDIT object

Returns:
The searchPatterns value

getLatestSearchPattern

public java.lang.String getLatestSearchPattern()
Get the latestSearchPattern attribute of the mpEDIT object

Returns:
The latestSearchPattern value

setSaveDir

public void setSaveDir(java.lang.String dir)
Sets the saveDir attribute of the mpEDIT object

Parameters:
dir - The new saveDir value

getSaveDir

public java.lang.String getSaveDir()
Get the saveDir attribute of the mpEDIT object

Returns:
The saveDir value

getFrameMain

public FrameMain getFrameMain()
Get the frameMain attribute of the mpEDIT object

Returns:
The frameMain value

updateProperties

public void updateProperties(java.util.Properties p)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
p - No description provided

getBeans

public java.util.Vector getBeans()
Get the beans attribute of the mpEDIT object

Returns:
The beans value

closeDocs

public void closeDocs(boolean bail)
Closes all documents. If the "bail" flag is true changes will be discarded, otherwise the user will be queried.

Specified by:
closeDocs in interface EditorInterface
Parameters:
bail - Exit immediately, discarding changes.