123124125126127128129130131132133
while (nextLevel != null) { s.push(nextLevel); nextLevel = nextLevel.parent(); } /* * Now push the hierarchy onto the thread stack. */
117118119120121122123124125126127
6970717273747576777879
/* */ /* 124 */ while (nextLevel != null) /* */ { /* 126 */ s.push(nextLevel); /* */ /* 128 */ nextLevel = nextLevel.parent(); /* */ } /* */ /* */ try /* */ { /* 137 */ while (!s.empty())
752753754755756757758759760761762
} if (lookingAt.get_uid().equals(lookingFor)) return true; else lookingAt = lookingAt.parent(); } ptr = null; } else