diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-02-03 11:51:11 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-02-03 11:51:11 +0000 |
| commit | e865446205a1009ae68f681466efbb6cbc76ca0e (patch) | |
| tree | 4c223fc17aae9fb577506bab140aadad0fb1e723 /src/test/java | |
| parent | 98f89a00ae444eccded942b9c6132856e5473b1c (diff) | |
Add visibility to mutable data elements
Diffstat (limited to 'src/test/java')
| -rw-r--r-- | src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java | 8 | ||||
| -rw-r--r-- | src/test/java/org/shedlang/compiler/patio/instructions/Patio.java | 8 |
2 files changed, 13 insertions, 3 deletions
diff --git a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java index baf1bdfd..f570b7fc 100644 --- a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java +++ b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java @@ -62,12 +62,16 @@ public class PatioSerializerTests { @Test public void canSerializeDataElementMutable() { - var element = Patio.dataElementMutable("x", PatioDataValues.int_(42)); + var element = Patio.dataElementMutable( + "x", + PatioVisibility.PRIVATE, + PatioDataValues.int_(42) + ); var string = PatioTesting.serializeCompilationUnitElement(element); assertThat(string, equalTo(""" - (data-mutable "x" (int 42))""" + (data-mutable "x" private (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 5c82321f..32cdf769 100644 --- a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java +++ b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java @@ -97,9 +97,15 @@ public class Patio { public static PatioDataElementMutable dataElementMutable( String name, + PatioVisibility visibility, PatioDataValue initialValue ) { - return new PatioDataElementMutable(name, initialValue, Sources.NULL); + return new PatioDataElementMutable( + name, + visibility, + initialValue, + Sources.NULL + ); } public static PatioOperand dataPtrConst(String name) { |
