Interface CompositeInstr

All Known Implementing Classes:

AssertThrowsInstr, ControlFlowChainInstr, DictLiteralInstr, ForRangePolymorphicInstr, ListLiteralInstr, LogicalOperationInstr, StringInterpolationInstr

public sealed interface CompositeInstr
permits AssertThrowsInstr, ControlFlowChainInstr, DictLiteralInstr, ForRangePolymorphicInstr, ListLiteralInstr, LogicalOperationInstr, StringInterpolationInstr

An instruction that holds nested instruction lists - THE one statement of which lists a composite has, in which order, and whether each runs once or once per loop iteration. IRStructureWalk (visiting) and IRRewriter (rebuilding) work through it, so no walker or pass re-derives a composite's shape.

Composites are immutable: withNestedLists(UnaryOperator) builds a copy whose lists are the rewritten ones, everything else unchanged, and returns this when the rewrite changed nothing.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	CompositeInstr.Activation	How often a nested list runs each time its composite runs.
static final record	CompositeInstr.NestedList	One nested list.

Method Summary

Modifier and Type	Method	Description
List<CompositeInstr.NestedList>	nestedLists()	Every nested list, in the order the IR text renders them.
static List<IRInstr>	rewritten(List<IRInstr> list, UnaryOperator<List<IRInstr>> rewrite)	Null-safe application of a list rewrite: an absent list stays absent.
IRInstr	withNestedLists(UnaryOperator<List<IRInstr>> rewrite)	A copy with every nested list replaced by rewrite of it - exactly the lists nestedLists() reports, in that order; this when no list changed.

Method Details

nestedLists

List<CompositeInstr.NestedList> nestedLists()

Every nested list, in the order the IR text renders them. Absent (null) lists are omitted.

withNestedLists

IRInstr withNestedLists(UnaryOperator<List<IRInstr>> rewrite)

A copy with every nested list replaced by rewrite of it - exactly the lists nestedLists() reports, in that order; this when no list changed.

rewritten

static List<IRInstr> rewritten(List<IRInstr> list,
 UnaryOperator<List<IRInstr>> rewrite)

Null-safe application of a list rewrite: an absent list stays absent.