Skip to content

test: prove source-mapped ABI error details - #303

Open
YunaBraska wants to merge 1 commit into
feature/array-access-main-20260901from
feature/native-diagnostic-source-main-20260901
Open

YunaBraska wants to merge 1 commit into
feature/array-access-main-20260901from
feature/native-diagnostic-source-main-20260901

Conversation

@YunaBraska

Copy link
Copy Markdown
Contributor

ABI diagnostic proof

Proves that a compiled native library exposes the complete deterministic error record when an uncaught Java array bounds exception reaches C code.

The C caller verifies the direct-export and javan_try paths expose:

  • stable error code and summary;
  • Java exception class;
  • class, method, file, source line, bytecode offset, and source line number;
  • actionable why and fix fields;
  • the original Java exception detail.

No runtime API or production behavior is added. This test locks the existing structured ABI contract delivered by #302.

Evidence

  • ./mvnw -Dtest=CliPackagingIntegrationTest#nativeLibraryExportPreservesSourceMappedArrayIndexExceptionDetails test
  • 1 passed, 0 failed, 0 skipped.

Stacks on #302.

@YunaBraska
YunaBraska force-pushed the feature/native-diagnostic-source-main-20260901 branch from 68c1735 to 0c20c78 Compare September 1, 2026 02:47

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant