587588589590591592593594595596597
{ boolean endOfUids = false; while (!endOfUids) { theUid.unpack(uids); if (theUid.equals(Uid.nullUid())) endOfUids = true; else {
979899100101102103104105106107
boolean endOfUids = false; while (!endOfUids) { // extract a uid theUid.unpack(uids); if (theUid.equals(Uid.nullUid())) endOfUids = true; else {
149150151152153154155156157158159
/* */ do /* */ { /* 249 */ Uid uid = new Uid(Uid.nullUid()); /* */ try /* */ { /* 253 */ uid.unpack(states); /* */ } /* */ catch (IOException ex) /* */ { /* 257 */ ex.printStackTrace(); /* */
379380381382383384385386387388389
{ for (int y = 0; y < _height; y++) { Uid uid = new Uid(); uid.unpack(objectState); _values[x][y] = Element.obtain(uid); } } return true;
334335336337338339340341342343344
326327328329330331332333334335336
265266267268269270271272273274275
126127128129130131132133134135136
{ boolean endOfUids = false; while (!endOfUids) { theUid.unpack(uids); if (theUid.equals(Uid.nullUid())) endOfUids = true; else ids.add(theUid);
268269270271272273274275276277278
while (moreUids) { try { theUid.unpack( uids ) ; if (theUid.equals( Uid.nullUid() )) { moreUids = false; }
113114115116117118119120121122123