Files
Claude ff6130bede Add sealed module: modelling domains with sealed types and exhaustive switch
Payment model, permits and the three modifiers, default-branch trap, generic and recursive hierarchies, visitor comparison, run-time enforcement, modules. Transcripts from JDK 21, 25 and 27.

Co-Authored-By: Claude Sonnet 5 <[email protected]>
Claude-Session: https://claude.ai/code/session_01TF9JWFvJSNm6HVzswzZU5a
2026-09-24 12:03:59 +00:00

11 lines
332 B
Java

package pay.app;
import pay.api.Payment;
import pay.impl.*;
public class Main {
public static void main(String[] args) {
Payment p = new Card(100);
String s = switch (p) { case Card c -> "card"; case Upi u -> "upi"; };
System.out.println(s + " in module " + Payment.class.getModule().getName());
}
}