// read a view-id private ViewId ReadViewId() { ViewId vid = new ViewId(); vid.ltime = ReadInt(); vid.endpt = ReadEndpt(); return(vid); }
// Read an array of view-ids private ViewId[] ReadViewIdArray() { ViewId[] vida; int i, size; size = ReadInt(); if (0 == size) { return(null); } vida = new ViewId[size]; for (i = 0; i < size; i++) { vida[i] = ReadViewId(); } return(vida); }
// Read an array of view-ids private ViewId[] ReadViewIdArray() { ViewId[] vida; int i, size; size = ReadInt (); if (0 == size) return null; vida = new ViewId[size]; for (i=0; i<size; i++) vida[i] = ReadViewId(); return vida; }
// read a view-id private ViewId ReadViewId() { ViewId vid = new ViewId(); vid.ltime = ReadInt(); vid.endpt = ReadEndpt(); return vid; }