public class DBSchema extends Schema
finished, name, subtables, tableSchemas
Constructor and Description |
---|
DBSchema(java.lang.String name)
This constructor is used for the incremental construction of database
tableSchemas.
|
Modifier and Type | Method and Description |
---|---|
DBSchema |
copy()
copyFrom a database schema.
|
java.lang.String |
getFullName()
full (file) SubTableSchema of a schema is (SubTableSchema).schema.pl
|
void |
print()
prints to System.out
|
void |
print(java.io.PrintStream out)
print the database schema definition to PrintStream out; typically used
for demonstrations as it doesn't check the format of the filename; Use
print() or print(String).
|
void |
print(java.lang.String filename)
print DBSchema in file with filename
|
static DBSchema |
read(java.io.File schemafile)
another version of readDBSchema
|
static DBSchema |
read(java.lang.String schemafile)
reads .ooschema and .schema files; throws Error when an error is
encountered.
|
static DBSchema |
read(java.lang.String nameOfSchema,
java.lang.String stringDefOfSchema)
used when it is easier to pass in a string declaration of a DBSchema
rather than building it programmatically
|
java.lang.String |
toString()
converts DBSchema to a string.
|
add, add, add, add, addIdentifiersToAllNonSubtables, basicVerification, copyFrom, doesTableHaveSuperTable, equals, equalsEH, finishedAndIPropagatedAttributesMyself, getName, getSubTableSchema, getSubTableSchema, getSubTableSchemaEH, getSubTableSchemaEH, getSubTableSchemas, getSuperTable, getTableSchema, getTableSchemaEH, getTableSchemas, isFinished, isGEQ, isGEQ, isSubSchemaOf, isSubSchemaOfEH, isTableInHierarchy, print, remove, remove, rename, SchemaDeclString, size, toString
public DBSchema(java.lang.String name)
name
- -- SubTableSchema given to the DBSchemapublic DBSchema copy()
public static DBSchema read(java.lang.String schemafile)
schemafile
- -- SubTableSchema of schema filepublic static DBSchema read(java.io.File schemafile)
schemafile
- -- File to readpublic static DBSchema read(java.lang.String nameOfSchema, java.lang.String stringDefOfSchema)
nameOfSchema
- -- name of pseudo filestringDefOfSchema
- -- string contents (typically multiline) of
pseudo filepublic java.lang.String getFullName()
getFullName
in class Schema
public java.lang.String toString()
public void print(java.io.PrintStream out)