create
abstract fun createWrite(generator: L2Generator, semanticValues: Set<L2SemanticValue>, restriction: TypeRestriction): WR
Synthesize an L2WriteOperand of the appropriately strengthened type WR.
Return
A new L2WriteOperand of the appropriate type WR.
Parameters
generator
The L2Generator used for creating the write.
semantic
The L2SemanticValues to populate.
restriction
The TypeRestriction that the stored values will satisfy.