Class ShortCircuitBlock

java.lang.Object

org.ek9lang.compiler.phase7.support.ShortCircuitBlock

public final class ShortCircuitBlock
extends Object

THE short-circuit Boolean block: a LOGICAL_AND_BLOCK or LOGICAL_OR_BLOCK built from an already evaluated LEFT operand (with its primitive), a RIGHT operand evaluated only when LEFT does not decide, and the result computation left._and(right) / left._or(right). It owns the result CALL, its memory management (the result is a +1 producer: SCOPE_REGISTER only) and the LogicalDetails; the order of the instructions inside is left, _true primitive, right, result call, SCOPE_REGISTER - the same for every site.

Every site that builds one uses this - the and/or expressions, a guard AND its condition, a Boolean truth guard, the stream demand's bounded condition and a switch's or chain - never a hand-assembled copy (IR tidy plan FLOW-7). The caller generates the result temp AFTER the right operand's, so the temp order in the IR is unchanged.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ShortCircuitBlock.Operands	The parts of one block.

Constructor Summary

Constructors

Constructor	Description
ShortCircuitBlock(VariableMemoryManagement variableMemoryManagement)

Method Summary

Modifier and Type	Method	Description
IRInstr	and(ShortCircuitBlock.Operands operands)	RIGHT is evaluated only when LEFT is true.
IRInstr	of(Function<LogicalDetails, IRInstr> operation, ShortCircuitBlock.Operands operands)	The block for the given operation (LogicalOperationInstr::andOperation or ::orOperation).
IRInstr	or(ShortCircuitBlock.Operands operands)	RIGHT is evaluated only when LEFT is false.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ShortCircuitBlock

public ShortCircuitBlock(VariableMemoryManagement variableMemoryManagement)

Method Details

and

public IRInstr and(ShortCircuitBlock.Operands operands)

RIGHT is evaluated only when LEFT is true.

or

public IRInstr or(ShortCircuitBlock.Operands operands)

RIGHT is evaluated only when LEFT is false.

of

public IRInstr of(Function<LogicalDetails, IRInstr> operation,
 ShortCircuitBlock.Operands operands)

The block for the given operation (LogicalOperationInstr::andOperation or ::orOperation).