summaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-07-25 23:48:53 +0100
committerMichael Williamson <mike@zwobble.org>2026-07-25 23:48:53 +0100
commit051ea60dc8a775f0fc82ebbc5f65a8c5f57157c0 (patch)
tree9dbf7cb23dddcb51ea6dbec56bbbe7cf060033a8 /src/main/java
parent8f5993f7dc213f8130204c3ea6facd814373fb3d (diff)
Add type cases to Rust AST
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java11
-rw-r--r--src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustExpression.java2
-rw-r--r--src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTypeCastExpression.java40
3 files changed, 52 insertions, 1 deletions
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java
index aa8d6cb..53b9a38 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java
@@ -383,6 +383,10 @@ public class RustWriter implements AutoCloseable {
this.writeTupleExpression(tupleExpression);
}
+ case RustTypeCastExpression typeCastExpression -> {
+ this.writeTypeCastExpression(typeCastExpression);
+ }
+
case RustVecRepeatExpression vecRepeatExpression -> {
this.writeVecRepeatExpression(vecRepeatExpression);
}
@@ -430,6 +434,7 @@ public class RustWriter implements AutoCloseable {
case RustStructExpression _ -> RustPrecedence.PRIMARY;
case RustTryPropagationExpression _ -> RustPrecedence.TRY_PROPAGATION;
case RustTupleExpression _ -> RustPrecedence.PRIMARY;
+ case RustTypeCastExpression _ -> RustPrecedence.AS;
case RustVecRepeatExpression _ -> RustPrecedence.PRIMARY;
};
}
@@ -668,6 +673,12 @@ public class RustWriter implements AutoCloseable {
this.writer.write(")");
}
+ private void writeTypeCastExpression(RustTypeCastExpression typeCastExpression) throws IOException {
+ this.writeSubExpression(typeCastExpression.left(), RustPrecedence.AS, true);
+ this.writer.write(" as ");
+ this.writeType(typeCastExpression.right());
+ }
+
private void writeVecRepeatExpression(RustVecRepeatExpression vecRepeatExpression) throws IOException {
this.writer.write("vec![");
this.writeTopLevelExpression(vecRepeatExpression.repeatOperand());
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustExpression.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustExpression.java
index 5f51d5e..9f15f5b 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustExpression.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustExpression.java
@@ -5,7 +5,7 @@ package org.zwobble.hobgoblin.compiler.output.lang.rust.ast;
// Custom area start: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression imports
// Custom area end: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression imports
-public sealed interface RustExpression permits org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustArrayRepeatExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBinaryExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBlockExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBoolLiteral, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustCallExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustClosureExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFieldExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIfExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIntegerLiteral, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIteratorLoopExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustMatchExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustPath, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustPrefixExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustRangeExpr, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustStructExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTryPropagationExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTupleExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustVecRepeatExpression {
+public sealed interface RustExpression permits org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustArrayRepeatExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBinaryExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBlockExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBoolLiteral, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustCallExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustClosureExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFieldExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIfExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIntegerLiteral, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIteratorLoopExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustMatchExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustPath, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustPrefixExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustRangeExpr, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustStructExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTryPropagationExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTupleExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustVecRepeatExpression {
public interface Builder {
public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression build();
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTypeCastExpression.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTypeCastExpression.java
new file mode 100644
index 0000000..1a7e5bd
--- /dev/null
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTypeCastExpression.java
@@ -0,0 +1,40 @@
+// Generated by hobgoblin.
+
+package org.zwobble.hobgoblin.compiler.output.lang.rust.ast;
+
+// Custom area start: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression imports
+// Custom area end: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression imports
+
+public record RustTypeCastExpression(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression left, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustType right) implements org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression {
+ public static org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder arbitrary() {
+ return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBlockExpression.arbitrary().build(), org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustImplTraitType.arbitrary().build());
+ }
+
+ public record Builder(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression left, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustType right) implements org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression.Builder {
+ public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression build() {
+ return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression(left, right);
+ }
+
+ public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder withLeft(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression left) {
+ return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder(left, right);
+ }
+
+ public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder withLeft(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression.Builder left) {
+ return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder(left.build(), right);
+ }
+
+ public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder withRight(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustType right) {
+ return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder(left, right);
+ }
+
+ public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder withRight(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustType.Builder right) {
+ return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder(left, right.build());
+ }
+
+ // Custom area start: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder body
+ // Custom area end: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder body
+ }
+
+ // Custom area start: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression body
+ // Custom area end: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression body
+}