PROGRAM-ID class/file name case mismatch on case-insensitive filesystems (Windows)

[ytr-sakamoto]

Parent issue: #828

Description

On Windows (case-insensitive filesystem), programs fail because the generated class name and the Java source file name do not match in letter case. This affects programs that rely on case-independent PROGRAM-ID handling and the PROGRAM-ID ... AS clause.

Affected tests

• tests/run.src/extensions.at:
  • Case independent PROGRAM-ID
  • PROGRAM-ID AS clause
• Currently skipped on Windows via AT_SKIP_IF (introduced in ci: run autotest-based tests on Windows using Git Bash #823).

Environment

• Windows (Git Bash in CI, case-insensitive NTFS)

Expected behavior

Class names and file names should be consistent so the generated Java source compiles and runs on case-insensitive filesystems.

---

説明

Windows (大文字小文字非区別ファイルシステム) では、生成されるクラス名と Java ソースファイル名の大文字小文字が一致しないためにプログラムが失敗します。大文字小文字非区別な PROGRAM-ID 取り扱いや PROGRAM-ID ... AS 句に依存するプログラムが影響を受けます。

対象テスト

• tests/run.src/extensions.at:
  • Case independent PROGRAM-ID
  • PROGRAM-ID AS clause
• ci: run autotest-based tests on Windows using Git Bash #823 にて Windows では AT_SKIP_IF でスキップ中。

環境

• Windows (CI の Git Bash、大文字小文字非区別 NTFS)

期待される動作

クラス名とファイル名の大文字小文字が一致し、大文字小文字非区別ファイルシステムでも生成された Java ソースがコンパイル・実行できること。