diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-15 11:53:36 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-15 11:54:46 +0000 |
| commit | 9e0b6a33c18e5757587e71a341f11bc9d8031f99 (patch) | |
| tree | 31d38846a3440c3443c83963eb3a47090bb4837d /src/main/java | |
| parent | c60b51aa2a950db60c3a749734da0968fae95a5a (diff) | |
Add docs
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/shid/instructions/ShidInstruction.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/shid/instructions/ShidInstruction.java b/src/main/java/org/shedlang/compiler/shid/instructions/ShidInstruction.java index 07f8b4a9..2b559d9d 100644 --- a/src/main/java/org/shedlang/compiler/shid/instructions/ShidInstruction.java +++ b/src/main/java/org/shedlang/compiler/shid/instructions/ShidInstruction.java @@ -5,6 +5,10 @@ import org.shedlang.compiler.sources.Source; public sealed interface ShidInstruction permits ShedEffectHandlerBreak, ShidBlock, ShidCall, ShidDefineEffect, ShidDefineFunction, ShidDefineStruct, ShidDiscard, ShidDuplicate, ShidFieldLoad, ShidIf, ShidIntAdd, ShidIntEquals, ShidIntNotEqual, ShidIntSub, ShidLocalDrop, ShidLocalLoad, ShidLocalStore, ShidLoop, ShidLoopBreak, ShidLoopContinue, ShidNamespaceFieldStore, ShidNamespaceImport, ShidPushBool, ShidPushInt, ShidPushString, ShidPushUnit, ShidResume, ShidReturn, ShidStringAdd, ShidSwitch, ShidTry, ShidTupleCreate, ShidTupleGet, ShidVarLoad, ShidVarStore { + /** + * If an instruction is a terminator, any following instructions in the + * current block are guaranteed to be unreachable. + */ boolean isTerminator(); Source source(); |