summaryrefslogtreecommitdiff
path: root/examples/07-enum/output/java/src
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-08-01 09:17:30 +0100
committerMichael Williamson <mike@zwobble.org>2026-08-01 09:17:30 +0100
commit4524a8a16574887bfdb0ee66984709c8158470a6 (patch)
treec7a171667fa76851d7e61e7f2ead607fb0823a6f /examples/07-enum/output/java/src
parentb433dc94a228a89977da9ee6a4739e2f1da69d66 (diff)
Add Box type
Diffstat (limited to 'examples/07-enum/output/java/src')
-rw-r--r--examples/07-enum/output/java/src/main/java/org/zwobble/example/Numbers.java13
-rw-r--r--examples/07-enum/output/java/src/test/java/org/zwobble/example/NumbersTests.java14
2 files changed, 27 insertions, 0 deletions
diff --git a/examples/07-enum/output/java/src/main/java/org/zwobble/example/Numbers.java b/examples/07-enum/output/java/src/main/java/org/zwobble/example/Numbers.java
new file mode 100644
index 0000000..fc17869
--- /dev/null
+++ b/examples/07-enum/output/java/src/main/java/org/zwobble/example/Numbers.java
@@ -0,0 +1,13 @@
+package org.zwobble.example;
+
+import org.zwobble.example.types.numbers.SmallNumber;
+
+public class Numbers {
+ public static int eval(SmallNumber smallNumber) {
+ return switch (smallNumber) {
+ case ZERO -> 0;
+ case ONE -> 1;
+ case TWO -> 2;
+ };
+ }
+}
diff --git a/examples/07-enum/output/java/src/test/java/org/zwobble/example/NumbersTests.java b/examples/07-enum/output/java/src/test/java/org/zwobble/example/NumbersTests.java
new file mode 100644
index 0000000..141d5d1
--- /dev/null
+++ b/examples/07-enum/output/java/src/test/java/org/zwobble/example/NumbersTests.java
@@ -0,0 +1,14 @@
+package org.zwobble.example;
+
+import static org.junit.jupiter.api.Assertions.assertEquals;
+import org.junit.jupiter.api.Test;
+import org.zwobble.example.types.numbers.SmallNumber;
+
+public class NumbersTests {
+ @Test
+ public void canEvalSmallNumbers() {
+ assertEquals(Numbers.eval(SmallNumber.ZERO), 0);
+ assertEquals(Numbers.eval(SmallNumber.ONE), 1);
+ assertEquals(Numbers.eval(SmallNumber.TWO), 2);
+ }
+}