Repository navigation
[rustjava-count-nonliteral-exception-call-sites] docs: 리터럴이 아닌 exception() 호출부를 센다 — 답은 0 이다 - #75
Merged
Conversation
…ion() 호출부를 센다 — 답은 0 이다 채택 제안 2026-09-18-named-exception-classes-are-loadable#p0 의 요지(「사각의 크기를 아무도 모른다」)에 수로 답한다. 측정 회차라 .rs 0줄 · scripts/ 0줄. bare exception( 847 = 정의 1 + 리터럴(java/javax) 846 + 리터럴(그 밖) 0 + 비리터럴 0. ⇒ 검사기가 보는 집합과 실제 호출부 집합이 지금은 일치한다. 술어를 양방향으로 시험했다: 대조군(한 줄 리터럴만) 812 = 검사기 초판 수와 정확히 일치 · 개악 주입(변수·format!·const·raw string) → 전건 nonliteral 0→4, 비-java 리터럴 → literal_other 0→1, 원복 후 0/0. exception( 부분일치가 다른 함수 8종 41자리를 쓸어담는다 — 안 가르면 M=33 이라는 틀린 답이 나온다. 게이트 승격은 하지 않았다(제안이 요구한 것은 계수) — 후속 제안 카드로 남겼다.
Jun025
pushed a commit
that referenced
this pull request
Sep 18, 2026
… 승인된 원장 2파일 합집합 형제 착지(#75 ddc6c4c · #78 97d2258)로 생긴 원장 재충돌. 게이트③ 2-c⒜ 승인 범위(원장 파일 한정). 양쪽 항목 전건 보존·시간순(최신 상단) · 한쪽 통째 채택(--ours/--theirs) 0. 보존 증명: ours추가 REPORT 18 / STATE 9 · theirs추가 37 / 15 — 소실 0/0 · 충돌 마커 0. 계약 12: 해소면 밖 변경 0 — jvm/src/jvm.rs · jvm/tests/test_exception_construction.rs · scripts/check-named-exception-classes-are-loadable.py · worklog 쌍이 핀(394184b) 대비 바이트 동일.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
채택 제안
2026-09-18-named-exception-classes-are-loadable#p0에 «수»로 답하는 측정 회차다..rs0줄 ·scripts/0줄.답
exception(=Jvm::exception축)fn exception(·jvm/src/jvm.rs:944)java/·javax/— 검사기가 보는 집합⇒ 사각의 크기는 0이다. 검사기의 바닥과 천장이 지금은 일치한다.
이 0 이 «잰» 0 인 근거
jvm/src/jvm.rs· 측정 후 원복 · 트리 클린): 변수 ·&format!·const· raw string → 전건nonliteral(0→4) · 비-java 리터럴 →literal_other(0→1).exception ((공백) 0 ·Jvm::exception값/UFCS 0 ·macro_rules!파일 2개 모두 식별자를 조립하지 않는다.술어를 «갈라야» 답이 맞는다
exception(부분일치는assert_exception(·suppress_io_exception(등 다른 함수 8종 41자리(첫 인자가jvm)를 함께 문다. 안 가르면 ★M=33 이라는 틀린 답이 나온다.한계(숨기지 않는다)
arrays.rs매크로 3자리 × 22전개 ⇒ 전개 기준이면 865. 이름이 전부 리터럴이라 답은 불변(사각이 아니라 단위 차이).new_class(·find_class(는 제안의 요지 밖이라 세지 않았다.판정
제안의 전제(「아무도 모른다」)는 참이었다. 답이 0이라는 것은 검사기 바닥이 허구라는 뜻이 아니라 지금은 딱 맞는다는 뜻이다. ★게이트로 승격하지 않았다 — 제안이 요구한 것은 계수이고, 베이스라인 0 관문은 자기 대가를 갖는 별 결정이라 후속 카드로 남겼다.
DoD (9명령 전건 rc=0)
fmt0 ·clippy stable0 ·clippy +beta0 ·clippy wasm320 ·cargo test --all584 passed / 0 failed / 1 ignored ·check-worklog-json0(64파일) ·check-dod-ci-parity0(명령 8개·toolchain 2개) ·check-named-exception-classes-are-loadable0(846 call sites — 내 계수와 일치) ·check-merge-dropped-symbols0