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
) {
}