|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectglobal.Minibase
public class Minibase
Definitions for the running Minibase system, including references to static layers and database-level attributes.
Field Summary | |
---|---|
static BufMgr |
BufferManager
The Minibase Buffer Manager. |
static java.lang.String |
DatabaseName
Name of the data file. |
static DiskMgr |
DiskManager
The Minibase Disk Space Manager. |
static Catalog |
SystemCatalog
The Minibase System Catalog. |
Constructor Summary | |
---|---|
Minibase(java.lang.String dbname,
int num_pgs,
int bufpoolsize,
java.lang.String replacement_policy,
boolean exists)
Constructs and starts an instance of Minibase, given the configuration. |
Method Summary | |
---|---|
static void |
haltSystem(java.lang.Exception exc)
Displays an unrecoverable error and halts the system. |
void |
init(java.lang.String dbname,
int num_pgs,
int bufpoolsize,
java.lang.String replacement_policy,
boolean exists)
Initializes the current instance of Minibase with the given configuration. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static java.lang.String DatabaseName
public static DiskMgr DiskManager
public static BufMgr BufferManager
public static Catalog SystemCatalog
Constructor Detail |
---|
public Minibase(java.lang.String dbname, int num_pgs, int bufpoolsize, java.lang.String replacement_policy, boolean exists)
dbname
- Name of the data filenum_pgs
- Number of pages to allocatebufpoolsize
- Buffer pool size (in pages)replacement_policy
- Buffer pool replacement policyexists
- If the database already exists on diskMethod Detail |
---|
public void init(java.lang.String dbname, int num_pgs, int bufpoolsize, java.lang.String replacement_policy, boolean exists)
dbname
- Name of the data filenum_pgs
- Number of pages to allocatebufpoolsize
- Buffer pool size (in pages)replacement_policy
- Buffer pool replacement policyexists
- If the database already exists on diskpublic static void haltSystem(java.lang.Exception exc)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |