From e63efead839b710895e5ee2a3bbaf24d6394e611 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 25 Nov 2023 23:27:33 +0000 Subject: Describe behaviour when throw fails to find an exception handler --- .../java/org/shedlang/compiler/patio/ast/instructions/PatioThrow.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/main/java') 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, -- cgit v1.2.3