rmi/server/ObjID.java

95     private final long objNum;
119             objNum = secureRandom.nextLong();
122             objNum = nextObjNum.getAndIncrement();
133      * @param   objNum object number for well-known object identifier
135     public ObjID(int objNum) {
137         this.objNum = objNum;
143     private ObjID(long objNum, UID space) {
144         this.objNum = objNum;
165         out.writeLong(objNum);
203         return (int) objNum;
222             return objNum == id.objNum && space.equals(id.space);
240             objNum + "]";