stardiv.resource
Class ResourceList
java.lang.Object
|
+--stardiv.resource.ResourceList
- public synchronized class ResourceList
- extends java.lang.Object
Field Summary |
(package private) stardiv.memory.BitArray |
aExclusive
|
(package private) stardiv.memory.BitArray |
aRead
|
(package private) boolean |
bLock
|
(package private) stardiv.resource.TaskManager |
xTaskMgr
|
Constructor Summary |
ResourceList()
|
Method Summary |
void |
addExclusive(stardiv.resource.Resource r)
|
void |
addRead(stardiv.resource.Resource r)
|
void |
checkExclusive(stardiv.resource.Resource r)
|
void |
checkRead(stardiv.resource.Resource r)
|
protected void |
finalize()
|
private void |
lockAll(stardiv.memory.BitArray ba,
boolean b)
|
void |
lockExclusive(stardiv.resource.Resource r)
|
void |
lockRead(stardiv.resource.Resource r)
|
stardiv.resource.Resource |
parallel(stardiv.resource.ResourceList rl)
|
private stardiv.resource.Resource |
parallelImpl(stardiv.resource.ResourceList rl)
|
void |
remove(stardiv.resource.Resource r)
|
void |
removeAll()
|
java.lang.String |
toString()
|
void |
unlockAll()
|
void |
waitLockAll()
|
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
aExclusive
stardiv.memory.BitArray aExclusive
aRead
stardiv.memory.BitArray aRead
bLock
boolean bLock
xTaskMgr
stardiv.resource.TaskManager xTaskMgr
ResourceList
public ResourceList()
addExclusive
public final void addExclusive(stardiv.resource.Resource r)
addRead
public final void addRead(stardiv.resource.Resource r)
checkExclusive
public final void checkExclusive(stardiv.resource.Resource r)
throws stardiv.resource.ResourceLockException
checkRead
public final void checkRead(stardiv.resource.Resource r)
throws stardiv.resource.ResourceLockException
finalize
protected void finalize()
throws java.lang.Throwable
lockAll
private final void lockAll(stardiv.memory.BitArray ba,
boolean b)
throws stardiv.resource.ResourceLockException
lockExclusive
public final void lockExclusive(stardiv.resource.Resource r)
throws stardiv.resource.ResourceLockException
lockRead
public final void lockRead(stardiv.resource.Resource r)
throws stardiv.resource.ResourceLockException
parallel
public final stardiv.resource.Resource parallel(stardiv.resource.ResourceList rl)
parallelImpl
private final stardiv.resource.Resource parallelImpl(stardiv.resource.ResourceList rl)
remove
public void remove(stardiv.resource.Resource r)
removeAll
public void removeAll()
toString
public java.lang.String toString()
- Overrides:
toString
in class ProgramElementDocImpl
unlockAll
public final void unlockAll()
waitLockAll
public final void waitLockAll()