stardiv.resource
Class Resource
java.lang.Object
|
+--stardiv.resource.Resource
- public synchronized class Resource
- extends java.lang.Object
Field Summary |
static int |
EXCLUSIVE
|
static int |
READONLY
|
private java.lang.String |
aName
|
private int |
iExclusive
|
private int |
iIndex
|
private int |
iRead
|
private java.lang.Thread |
pExclusive
|
static java.lang.Object |
pShouldSync
|
private stardiv.resource.Resource |
xParent
|
private stardiv.resource.TaskManager |
xTaskMgr
|
Constructor Summary |
Resource(java.lang.String s,
stardiv.resource.Resource r)
|
Resource(java.lang.String s,
stardiv.resource.TaskManager tm)
|
Method Summary |
void |
close()
|
protected void |
finalize()
|
(package private) int |
getIndex()
|
java.lang.String |
getName()
|
stardiv.resource.Resource |
getParent()
|
stardiv.resource.TaskManager |
getTaskManager()
|
void |
lock(int i1,
int i2)
|
void |
lockExclusive(int i)
|
void |
lockRead(int i)
|
static void |
status(stardiv.resource.ResourceLockException rle)
|
java.lang.String |
toString()
|
void |
unlock(int i1,
int i2)
|
void |
unlockExclusive(int i)
|
void |
unlockRead(int i)
|
void |
waitLock(int i1,
int i2)
|
void |
waitLockExclusive(int i)
|
void |
waitLockRead(int i)
|
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
EXCLUSIVE
public static final int EXCLUSIVE
READONLY
public static final int READONLY
aName
private java.lang.String aName
iExclusive
private int iExclusive
iIndex
private int iIndex
iRead
private int iRead
pExclusive
private java.lang.Thread pExclusive
pShouldSync
public static final java.lang.Object pShouldSync
xParent
private stardiv.resource.Resource xParent
xTaskMgr
private stardiv.resource.TaskManager xTaskMgr
Resource
public Resource(java.lang.String s,
stardiv.resource.Resource r)
Resource
public Resource(java.lang.String s,
stardiv.resource.TaskManager tm)
close
public void close()
finalize
protected void finalize()
throws java.lang.Throwable
getIndex
final int getIndex()
getName
public final java.lang.String getName()
getParent
public final stardiv.resource.Resource getParent()
getTaskManager
public final stardiv.resource.TaskManager getTaskManager()
lock
public final void lock(int i1,
int i2)
throws stardiv.resource.ResourceLockException,
java.lang.IllegalArgumentException
lockExclusive
public final void lockExclusive(int i)
throws stardiv.resource.ResourceLockException
lockRead
public final void lockRead(int i)
throws stardiv.resource.ResourceLockException
status
public static void status(stardiv.resource.ResourceLockException rle)
toString
public java.lang.String toString()
- Overrides:
toString
in class ProgramElementDocImpl
unlock
public final void unlock(int i1,
int i2)
throws java.lang.IllegalArgumentException
unlockExclusive
public final void unlockExclusive(int i)
unlockRead
public final void unlockRead(int i)
waitLock
public final void waitLock(int i1,
int i2)
throws java.lang.IllegalArgumentException
waitLockExclusive
public final void waitLockExclusive(int i)
waitLockRead
public void waitLockRead(int i)