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
IOException
public void load(FileReader f) throws IOException
IOException
Copyright © 2006–2014 The Apache Software Foundation. All rights reserved.