avail/avail.interpreter.levelTwo.operand/L2WriteOperand/L2WriteOperand

L2WriteOperand

constructor(semanticValues: Set<L2SemanticValue>, restriction: TypeRestriction, register: R)

Construct a new L2WriteOperand for the specified L2SemanticValue.

Parameters

R

The subclass of L2Register that this writes to.

semanticValues

The Set of L2SemanticValue that this operand is effectively producing.

restriction

The TypeRestriction that indicates what values are allowed to be written into the register.

register

The L2Register to write.