src/main/java/org/shedlang/compiler/patio/instructions/PatioCatchClause.java


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

package org.shedlang.compiler.patio.instructions;

import org.shedlang.compiler.patio.operands.PatioLocalRef;
import org.shedlang.compiler.sources.Source;

/// A catch clause can accept an exception of a given type. If executed, it will
/// stored the value of the exception in the given destination, and then execute the
/// body.
public record PatioCatchClause(
    String exceptionTypeName,
    PatioLocalRef destination,
    PatioBlock body,
    Source source
) {
}