DoubleWordStatus constructor Null safety

DoubleWordStatus(
  1. Model<ProgramOperation> model
)

Implementation

DoubleWordStatus(final Model model)
    : _model = model,
      cFlag = false,
      gFlag = false,
      wordSize = model.wordSize * 2,
      wordMask = (BigInt.one << (model.wordSize * 2)) - BigInt.one,
      signMask = BigInt.one << (model.wordSize * 2 - 1);