diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-25 23:27:33 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-25 23:27:33 +0000 |
| commit | e63efead839b710895e5ee2a3bbaf24d6394e611 (patch) | |
| tree | 7509e60a32692fe5aad3863acd0b1ff2077892e2 /src/main/java | |
| parent | a8e9e00313a07442d05523ea4c189ac61d77a34f (diff) | |
Describe behaviour when throw fails to find an exception handler
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, |