public final class TableDescriptions
extends java.lang.Object
Constructor | Description |
---|---|
TableDescriptions(java.io.File database_path) |
Constructs this object with the database in the given directory.
|
Modifier and Type | Method | Description |
---|---|---|
boolean |
exists() |
Returns true if the table descriptions file exists.
|
DataTableDef |
getDef(java.lang.String table_name) |
Returns the DataTableDef object for the table with the given name.
|
java.lang.String[] |
getTableList() |
Returns a list of table name's sorted in alphebetical order.
|
void |
load() |
Load the entire list of table descriptions for this database.
|
void |
save() |
Updates the table description file in the database.
|
public TableDescriptions(java.io.File database_path)
public boolean exists()
public void load() throws java.io.IOException
java.io.IOException
public void save() throws java.io.IOException
java.io.IOException
public java.lang.String[] getTableList()
public DataTableDef getDef(java.lang.String table_name)
Copyright © 2018. All rights reserved.