1:
8:
9: package ;
10:
11:
17: public class XID
18: {
19: public XID(Display display, int xid)
20: {
21: this.display = display;
22: this.xid = xid;
23: }
24:
25: public final int getXID()
26: {
27: return xid;
28: }
29:
30: public final Display getDisplay()
31: {
32: return display;
33: }
34:
35: protected Display display;
36: protected int xid;
37:
38: private Object clientData;
39: public final Object getClientData()
40: {
41: return clientData;
42: }
43: public final void setClientData(Object clientData)
44: {
45: this.clientData = clientData;
46: }
47:
48: protected String params()
49: {
50: return "display=" + display + ",xid=" + Integer.toHexString(xid);
51: }
52:
53: public String toString()
54: {
55: return getClass().getName() +
56: "[" + params() + "]";
57: }
58: }