Package | Description |
---|---|
PrologDB | |
PrologParser |
Modifier and Type | Method and Description |
---|---|
DBSchema |
DBSchema.copy()
copy a database schema -- please do not alter existing table definitions
and subtable definitions.
|
DBSchema |
Table.getDBSchema()
returns the DBSchema of this table.
|
DBSchema |
Table.getDBSchemaEH()
returns the DBSchema of this table.
|
DBSchema |
DB.getSchema()
returns DBSchema that this database instantiates
|
static DBSchema |
DBSchema.readSchema(java.io.File schemafile,
java.io.PrintStream out)
reads prolog schema from File schemafile; errors are reported to out
can read .ooschema and .schema files
|
static DBSchema |
DBSchema.readSchema(java.lang.String schemafile)
reads .ooschema and .schema files; throws Error when an error is
encountered.
|
Modifier and Type | Method and Description |
---|---|
SubTableSchema |
SubTableSchema.copy(DBSchema newSchema)
copy SubTableSchema by creating a new, pristine version that literally
replicates the data, but is specific to a new database schema.
|
boolean |
DBSchema.equals(DBSchema dbschema)
two DBSchemas are equal iff (a) they have the same name, (b) they have
the same set of table schemas, and (c) they have the same set of
subtableschemas; if so true is returned.
|
void |
DBSchema.equalsEH(DBSchema dbschema)
two DBSchemas are equal iff (a) they have the same name, (b) they have
the same set of table schemas, and (c) they have the same set of sub
table schemas; if so this method returns.
|
Constructor and Description |
---|
DB(java.lang.String name,
DBSchema schema)
Create a prolog database with a given name that instantiates db schema
|
Modifier and Type | Method and Description |
---|---|
static DBSchema |
Parser.parseDBaseDecl(java.lang.String line,
int lineno,
java.util.List<java.lang.String> tableNames)
a dbase declaration is on a single line.
|
Modifier and Type | Method and Description |
---|---|
static void |
Parser.parseSubTableDecl(java.lang.String line,
int lineno,
DBSchema dbs)
a subtable declaration is on a single line.
|
static void |
Parser.parseTableDecl(java.lang.String line,
int lineno,
DBSchema dbs)
a table declaration is on a single line.
|