diff options
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioThrow.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioThrow.java b/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioThrow.java index f7ed97a4..d08f82fc 100644 --- a/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioThrow.java +++ b/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioThrow.java @@ -6,7 +6,8 @@ import org.shedlang.compiler.sources.Source; /** * Search the stack for an exception handler with a catch clause matching the * thrown exception type. Unwind the stack up to and including this exception - * handler, and run the body of the catch clause. + * handler, and run the body of the catch clause. If no such exception handler + * is found, the process should abort. */ public record PatioThrow( String exceptionTypeName, |