diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-01-28 21:15:53 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-01-28 21:15:53 +0000 |
| commit | ca64b2bb8026fb4510696736d2d887e21ac2bfa3 (patch) | |
| tree | f965e1845bf36de7df6a738369faaa62297a9856 /src/main/java/org/shedlang/compiler/patio | |
| parent | f495be56b344bf79f45ce1bc55165ae6933e8246 (diff) | |
Zero out GC children with explicit memory stores
Diffstat (limited to 'src/main/java/org/shedlang/compiler/patio')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/patio/types/PatioOffsets.java | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/patio/types/PatioOffsets.java b/src/main/java/org/shedlang/compiler/patio/types/PatioOffsets.java index f427bd41..5a3be3ff 100644 --- a/src/main/java/org/shedlang/compiler/patio/types/PatioOffsets.java +++ b/src/main/java/org/shedlang/compiler/patio/types/PatioOffsets.java @@ -1,6 +1,9 @@ package org.shedlang.compiler.patio.types; import org.pcollections.PVector; +import org.pcollections.TreePVector; + +import java.util.List; public class PatioOffsets { private PatioOffsets() { @@ -8,6 +11,16 @@ public class PatioOffsets { public static PatioDataLayout offsetDataLayout( PatioDataLayout patioDataLayout, + List<Integer> patioOffsets + ) { + return offsetDataLayout( + patioDataLayout, + TreePVector.from(patioOffsets) + ); + } + + public static PatioDataLayout offsetDataLayout( + PatioDataLayout patioDataLayout, PVector<Integer> patioOffsets ) { // TODO: check that offset is valid? |
