public class WorkspaceConfig extends Object
| Modifier and Type | Field and Description |
|---|---|
protected ArrayList |
search |
protected String |
workspace |
| Constructor and Description |
|---|
WorkspaceConfig() |
WorkspaceConfig(VNS parent) |
| Modifier and Type | Method and Description |
|---|---|
void |
load(FileReader f) |
static void |
main(String[] args) |
void |
save(Writer f) |
public WorkspaceConfig()
public WorkspaceConfig(VNS parent)
public void save(Writer f) throws IOException
IOExceptionpublic void load(FileReader f) throws IOException
IOExceptionCopyright © 2018. All rights reserved.