diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-07-31 11:11:18 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-07-31 11:11:18 +0100 |
| commit | 20f60d8b72a27655abef227d3a213946d61c2370 (patch) | |
| tree | 577626254a3af316e4eab222e3b2ce8ede2e62e2 /src/main/java | |
| parent | aec4977f6c8b0d71183d89f99e1eacb06bbd493b (diff) | |
Make all Java classes final
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriter.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriter.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriter.java index 7af7e01..6c7410e 100644 --- a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriter.java +++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriter.java @@ -88,7 +88,7 @@ public class JavaWriter implements AutoCloseable { private void writeClassDeclaration(JavaClassDeclaration classDeclaration) throws IOException { writeDocComment(classDeclaration.docComment()); - this.writer.write("public class "); + this.writer.write("public final class "); this.writeIdentifier(classDeclaration.name()); this.writer.write(" "); |
