package org.shedlang.compiler.patio.operands; import org.shedlang.compiler.patio.types.PatioType; import org.shedlang.compiler.patio.types.PatioTypes; import org.shedlang.compiler.patio.values.PatioDataPtrValue; import org.shedlang.compiler.patio.values.PatioDataPtrValueDataElement; public record PatioDataPtrConst(PatioDataPtrValue value) implements PatioOperandConst { public static PatioDataPtrConst dataElement(String name) { return new PatioDataPtrConst(new PatioDataPtrValueDataElement(name)); } @Override public PatioType type() { return PatioTypes.DATA_PTR; } }