de.uni_paderborn.fujaba.mpEdit
Interface DocOwnerInterface


public interface DocOwnerInterface

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

Version:
$Revision: 1.9 $
Author:
$Author: schneider $

Method Summary
 void savedAsDoc(DocInterface doc, java.lang.String filename)
          Called when the user has writes out a document using "save as".
 void savedDoc(DocInterface doc)
          Called when the user has writes out a document using "save".
 

Method Detail

savedDoc

public void savedDoc(DocInterface doc)
Called when the user has writes out a document using "save".

Parameters:
doc - The document which has been written.

savedAsDoc

public void savedAsDoc(DocInterface doc,
                       java.lang.String filename)
Called when the user has writes out a document using "save as".

Parameters:
doc - The document which has been written.
filename - The new document name (full path).