com.partnersoft.workbench.editors
Class MapsetsDirectoryEditor

java.lang.Object
  com.partnersoft.workbench.model.AbstractWorkbenchDirectoryEditor
      com.partnersoft.workbench.editors.MapsetsDirectoryEditor

All Implemented Interfaces:

WorkbenchDirectoryEditor, WorkbenchEditor

public class MapsetsDirectoryEditor
extends AbstractWorkbenchDirectoryEditor

Field Summary

Fields inherited from class com.partnersoft.workbench.model.AbstractWorkbenchDirectoryEditor

actionBureau, directory, gui, name, workbench

Constructor Summary

MapsetsDirectoryEditor()

Method Summary

void	load()
void	makeDirectory(java.lang.String path)
void	newMapset()
void	save()

Methods inherited from class com.partnersoft.workbench.model.AbstractWorkbenchDirectoryEditor

doAction, doAction, getDirectory, getGui, getName, getWorkbench, reload, setDirectory, setWorkbench

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MapsetsDirectoryEditor

public MapsetsDirectoryEditor()

Method Detail

load

public void load()
          throws java.io.IOException

Throws:

java.io.IOException

save

public void save()
          throws java.io.IOException

Throws:

java.io.IOException

makeDirectory

public void makeDirectory(java.lang.String path)
                   throws java.lang.Exception

Throws:

java.lang.Exception

newMapset

public void newMapset()
               throws java.lang.Exception

Throws:

java.lang.Exception