diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-07-02 16:32:26 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-07-02 16:37:31 +0100 |
| commit | 94d481c940fb36da896e2e80a62f39d849477f53 (patch) | |
| tree | 1df183249ec0cffe9c02f6a145dbb11bfef05a91 /examples/09-imports/output/java/src | |
| parent | 6fe5f16e1b261dcc34f83ca9c6d6049d3591976b (diff) | |
Add inductive data types example
Diffstat (limited to 'examples/09-imports/output/java/src')
| -rw-r--r-- | examples/09-imports/output/java/src/main/java/org/zwobble/example/Main.java | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/examples/09-imports/output/java/src/main/java/org/zwobble/example/Main.java b/examples/09-imports/output/java/src/main/java/org/zwobble/example/Main.java new file mode 100644 index 0000000..3535c16 --- /dev/null +++ b/examples/09-imports/output/java/src/main/java/org/zwobble/example/Main.java @@ -0,0 +1,12 @@ +package org.zwobble.example; + +import org.zwobble.example.types.line.Line; +import org.zwobble.example.types.point.Point; + +public class Main { + public static void main() { + Point start = new Point(10, 25); + Point end = new Point(25, 10); + Line line = new Line(start, end); + } +} |
