Merge remote-tracking branch 'origin/GP-1861-dragonmacher-docs-locking-update--SQUASHED'

This commit is contained in:
Ryan Kurtz 2022-03-30 01:34:53 -04:00
commit 067fd41b62
16 changed files with 192 additions and 197 deletions

View file

@ -100,7 +100,7 @@ public class DataTypeArchiveDB extends DomainObjectAdapterDB
*/
public DataTypeArchiveDB(DomainFolder folder, String name, Object consumer)
throws IOException, DuplicateNameException, InvalidNameException {
super(new DBHandle(), name, 500, 1000, consumer);
super(new DBHandle(), name, 500, consumer);
this.name = name;
recordChanges = false;
@ -153,7 +153,7 @@ public class DataTypeArchiveDB extends DomainObjectAdapterDB
public DataTypeArchiveDB(DBHandle dbh, int openMode, TaskMonitor monitor, Object consumer)
throws IOException, VersionException, CancelledException {
super(dbh, "Untitled", 500, 1000, consumer);
super(dbh, "Untitled", 500, consumer);
if (monitor == null) {
monitor = TaskMonitorAdapter.DUMMY_MONITOR;
}

View file

@ -218,7 +218,7 @@ public class ProgramDB extends DomainObjectAdapterDB implements Program, ChangeM
*/
public ProgramDB(String name, Language language, CompilerSpec compilerSpec, Object consumer)
throws IOException {
super(new DBHandle(), name, 500, 1000, consumer);
super(new DBHandle(), name, 500, consumer);
if (!(compilerSpec instanceof BasicCompilerSpec)) {
throw new IllegalArgumentException(
@ -287,7 +287,7 @@ public class ProgramDB extends DomainObjectAdapterDB implements Program, ChangeM
public ProgramDB(DBHandle dbh, int openMode, TaskMonitor monitor, Object consumer)
throws IOException, VersionException, LanguageNotFoundException, CancelledException {
super(dbh, "Untitled", 500, 1000, consumer);
super(dbh, "Untitled", 500, consumer);
if (monitor == null) {
monitor = TaskMonitor.DUMMY;

View file

@ -122,7 +122,7 @@ class ProgramUserDataDB extends DomainObjectAdapterDB implements ProgramUserData
}
public ProgramUserDataDB(ProgramDB program) throws IOException {
super(new DBHandle(), getName(program), 500, 1000, program);
super(new DBHandle(), getName(program), 500, program);
this.program = program;
this.language = program.getLanguage();
languageID = language.getLanguageID();
@ -162,7 +162,7 @@ class ProgramUserDataDB extends DomainObjectAdapterDB implements ProgramUserData
public ProgramUserDataDB(DBHandle dbh, ProgramDB program, TaskMonitor monitor)
throws IOException, VersionException, LanguageNotFoundException, CancelledException {
super(dbh, getName(program), 500, 1000, program);
super(dbh, getName(program), 500, program);
this.program = program;
if (monitor == null) {
monitor = TaskMonitorAdapter.DUMMY_MONITOR;