package org.shedlang.compiler.shidtopatio;

import org.junit.jupiter.api.Test;
import org.junit.jupiter.api.extension.ExtendWith;
import org.shedlang.compiler.shid.instructions.Shid;
import org.shedlang.compiler.testing.snapshots.SnapshotResolver;
import org.shedlang.compiler.testing.snapshots.Snapshotter;

import java.io.IOException;

import static org.shedlang.compiler.shidtopatio.ShidToPatioTesting.serialize;

@ExtendWith({SnapshotResolver.class})
public class ShidToPatioPushIntTests {
    @Test
    public void pushIntInstructionGeneratesIntGetInstruction(Snapshotter snapshotter) throws IOException {
        var shid = Shid.pushInt(42);
        var context = ShidToPatioContext.EMPTY;

        var result = ShidToPatio.generateInstruction(shid, context);

        snapshotter.assertSnapshot(serialize(result));
    }
}