diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-16 22:03:58 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-16 22:03:58 +0000 |
| commit | 10445d8cbc7f45f8b447ace398eb2ff0089081a0 (patch) | |
| tree | a783212aaf4c9c3ade28d95f194efbb344276551 /src/test/java | |
| parent | d76118bdc14ba8d6ad69a788d24ca194a0c700bd (diff) | |
Specify initial value for Patio mutable data elements
Diffstat (limited to 'src/test/java')
| -rw-r--r-- | src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java | 4 | ||||
| -rw-r--r-- | src/test/java/org/shedlang/compiler/patio/instructions/Patio.java | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java index 1b61ec87..f3371dc3 100644 --- a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java +++ b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java @@ -64,12 +64,12 @@ public class PatioSerializerTests { @Test public void canSerializeDataElementMutable() { - var element = Patio.dataElementMutable("x", PatioDataLayouts.INT); + var element = Patio.dataElementMutable("x", PatioDataValues.int_(42)); var string = PatioTesting.serializeCompilationUnitElement(element); assertThat(string, equalTo(""" - (data-mutable "x" int)""" + (data-mutable "x" (int 42))""" )); } diff --git a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java index 06b12592..b7547435 100644 --- a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java +++ b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java @@ -91,9 +91,9 @@ public class Patio { public static PatioDataElementMutable dataElementMutable( String name, - PatioDataLayout layout + PatioDataValue initialValue ) { - return new PatioDataElementMutable(name, layout, Sources.NULL); + return new PatioDataElementMutable(name, initialValue, Sources.NULL); } public static PatioOperand dataPtr(String name) { |
