src/main/java/org/shedlang/compiler/shid/instructions/ShidEffectHandlerBreak.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package org.shedlang.compiler.shid.instructions;

import org.shedlang.compiler.sources.Source;
import org.shedlang.compiler.types.UserDefinedEffect;

/**
 * Pop a value from the temporary value stack and exit with that value from
 * the closest try expression in the call stack that handles the given effect.
 */
public record ShidEffectHandlerBreak(
    UserDefinedEffect effect,
    Source source
) implements ShidInstruction {
    @Override
    public boolean isBlockTerminator() {
        return true;
    }
}