|
|||||||||
| Home >> All >> java >> rmi >> [ dgc overview ] | PREV NEXT | ||||||||
Uses of Class
java.rmi.dgc.VMID
| Uses of VMID in java.rmi.dgc |
| Fields in java.rmi.dgc declared as VMID | |
private VMID |
Lease.vmid
|
| Methods in java.rmi.dgc that return VMID | |
VMID |
Lease.getVMID()
Get the lease id. |
| Methods in java.rmi.dgc with parameters of type VMID | |
void |
DGC.clean(java.rmi.server.ObjID[] ids,
long sequenceNum,
VMID vmid,
boolean strong)
Mark the given objects as no longer used on the client side. |
| Constructors in java.rmi.dgc with parameters of type VMID | |
Lease(VMID id,
long duration)
Create the new lease with the given id and duration |
|
|
|||||||||
| Home >> All >> java >> rmi >> [ dgc overview ] | PREV NEXT | ||||||||