diff options
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index c6f9c50a..3ba37506 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -821,3 +821,18 @@ printAllInitdbInfo(srcdir,dbfile) == for path in paths repeat printInitdbInfo(NAMESTRING path,out) finally closeStream out + +--% + +loadDBIfnecessary db == + ctor := dbConstructor db + property(ctor,'LOADED) => db + loadLib ctor or return nil + constructorDB ctor + +++ Returns true if instantiations of the constructor +++ defined by `db' should not be cached. +dbMutable? db == + dbInstanceCache loadDBIfnecessary db = nil + + |