Package com.ultikits.ultitools.aop

Class SneakyThrows

java.lang.Object

com.ultikits.ultitools.aop.SneakyThrows

final class SneakyThrows
extends Object

The single checked-exception-safe rethrow helper for the aop package.

Java's checked-exception check is purely a javac constraint - the JVM's bytecode verifier has no concept of checked versus unchecked, and an athrow instruction can propagate any Throwable through any frame regardless of that frame's declared throws clause. sneakyThrow(Throwable) exploits exactly that gap: the generic bound <E extends Throwable> lets the compiler infer E as an unchecked RuntimeException at the call site (satisfying the throws-clause check there) while the erased bytecode throws the original, unmodified Throwable - checked or not.

This is the trade: the compiler's checked-exception analysis is defeated on purpose so a caught Throwable can cross a generated proxy boundary as its original type instead of being wrapped or replaced. It exists once, here, for two reverse-direction call sites that both need it:

• ProxyFactory's InterceptorDispatcher.invokeTrampoline - unwraps InvocationTargetException so a checked exception the trampoline body throws reaches the interceptor chain as its original type, matching what a direct super.method() call would have thrown
• ExceptionInterceptor's custom-handler branch - propagates whatever a custom ExceptionHandler.handleException(java.lang.Throwable, java.lang.Object, java.lang.reflect.Method, java.lang.Object[]) deliberately re-throws, including a checked Throwable the intercepted method's own throws clause does not declare

Extracted from a private copy inside ProxyFactory's InterceptorDispatcher so both call sites share one implementation - a second, independently-maintained copy is the exact class of defect this milestone exists to close (one rule, implemented twice, silently diverging).

Since:

6.3.0

Author:

wisdomme

Constructor Summary

Constructors

Modifier	Constructor	Description
private	SneakyThrows()

Method Summary

Modifier and Type	Method	Description
(package private) static <E extends Throwable> RuntimeException	sneakyThrow(Throwable t)	Rethrows t unmodified, bypassing the compiler's checked-exception check.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SneakyThrows

private SneakyThrows()

Method Details

sneakyThrow

static <E extends Throwable> RuntimeException sneakyThrow(Throwable t)
                                                   throws E

Rethrows t unmodified, bypassing the compiler's checked-exception check.

Callers write throw SneakyThrows.sneakyThrow(t); so a method whose own throws clause does not (and, for an override, cannot) declare t's checked type still compiles - the declared RuntimeException return type never actually returns, since the generic-cast trick always throws.

Type Parameters:

E - inferred as an unchecked type at the call site so javac permits the throw

Parameters:

t - the throwable to rethrow, exactly as given

Returns:

never returns; declared as RuntimeException only to satisfy the compiler at call sites that want to write throw sneakyThrow(t); as a single statement

Throws:

E - always - the actual runtime type is t's own class, checked or not