128129130131132133134135136137138
if (writeLocked) { model.leaveCriticalSection(); writeLocked = false; unWriteLockedHere = true; } if (current.requiresReadLock()) { if (!readLocked) { model.enterCriticalSection(ModelLock.READ); readLocked = true; readLockedHere = true; }