Lines Matching defs:handlers
31 * List of exception handlers (tuples of covered range, catch type,
59 * length of the handlers header (encoded size), if known; used for
135 "too many catch handlers");
140 // Write out the handlers "header" consisting of its size in entries.
222 * Helper method to annotate or simply print the exception handlers.
248 CatchHandlerList handlers = entry.getHandlers();
251 String s2 = handlers.toHuman(subPrefix, "");
267 annotateTo.annotate(0, prefix + "handlers:");
297 * @param handlers {@code non-null;} handlers to annotate
299 * @param size {@code >= 1;} the number of bytes the handlers consume
304 private static void annotateAndConsumeHandlers(CatchHandlerList handlers,
307 String s = handlers.toHuman(prefix, Hex.u2(offset) + ": ");