diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-07-20 18:32:51 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-07-20 18:32:51 +0100 |
| commit | 413ad79ca75bb508ac2b6b333571f08f3d21c8a8 (patch) | |
| tree | 43509464a842c491a20fbd12b172249383ec8e27 /src/test/java/org | |
| parent | 74764070e84869fe8e2480350a76cb8fc58c1aeb (diff) | |
Add data-ptr-get instruction
Diffstat (limited to 'src/test/java/org')
| -rw-r--r-- | src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java | 9 | ||||
| -rw-r--r-- | src/test/java/org/shedlang/compiler/patio/instructions/Patio.java | 8 |
2 files changed, 17 insertions, 0 deletions
diff --git a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java index 67227c7b..fbc770f7 100644 --- a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java +++ b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java @@ -110,6 +110,15 @@ public class PatioSerializerTests { } @Test + public void canSerializeDataPtrGet() { + var instruction = Patio.dataPtrGet("target", "x"); + + var string = PatioTesting.serializeInstruction(instruction); + + assertThat(string, equalTo("(data-ptr-get \"target\" \"x\")")); + } + + @Test public void canSerializeDataPtrToInt() { var instruction = Patio.dataPtrToInt("target", "value"); 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 0f434cd5..79b2f6ed 100644 --- a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java +++ b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java @@ -40,6 +40,14 @@ public class Patio { return new PatioDataElement(name, layout, Sources.NULL); } + public static PatioDataPtrGet dataPtrGet(String target, String name) { + return new PatioDataPtrGet( + new PatioLocalRef(target), + name, + Sources.NULL + ); + } + public static PatioInstruction dataPtrToInt(String target, String value) { return new PatioDataPtrToInt( new PatioLocalRef(target), |
