src/main/java/org/shedlang/compiler/patio/values/PatioIntValueByteOffsetOf.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14

package org.shedlang.compiler.patio.values;

import org.shedlang.compiler.patio.types.PatioDataLayout;

import java.util.List;

/**
 * The offset, in bytes, of an offset in a data layout.
 */
public record PatioIntValueByteOffsetOf(
    PatioDataLayout layout,
    List<Integer> elementOffsets
) implements PatioIntValue {
}