Duplicate and exchange pseudo-instruction.
Base class for branch instructions that take addresses.
add a method param with the given index.
Invent a new local, with a new index value outside the range of the original method.
Return the local at given index, with the given type.
Recover def-use chains for NEW and initializers.
Break this linear code in basic block representation
As a side effect, it sets the code
field of the current
(linearCode: StringAdd).self
(linearCode: StringFormat).self
(linearCode: ArrowAssoc[LinearCode]).x
(Since version 2.10.0) Use leftOfArrow
instead
(linearCode: Ensuring[LinearCode]).x
(Since version 2.10.0) Use resultOfEnsuring
instead