   s += '])'
   console.log s
 
+hasComputedAllScreenRows = (displayLayer) ->
+  displayLayer.indexedBufferRowCount is displayLayer.buffer.getLineCount()
+
 getComputedScreenLineCount = (displayLayer) ->
   displayLayer.displayIndex.getScreenLineCount() - 1


  expect(containingTags).toEqual([])

verifyPositionTranslations = (random, displayLayer) ->
  lineScreenStart = Point.ZERO
  lineBufferStart = Point.ZERO

  rowCount = getRandomScreenRowCount(random, displayLayer)
  for screenLine in displayLayer.buildSpatialScreenLines(0, Infinity, rowCount)
    tokenScreenStart = lineScreenStart
    tokenBufferStart = lineBufferStart

          k = random(10)
          if k < 2
            createRandomFold(random, displayLayer, foldIds)
          else if k < 3 and not hasComputedAllScreenRows(displayLayer)
            performReadOutsideOfIndexedRegion(random, displayLayer)
          else if k < 4 and foldIds.length > 0
            destroyRandomFold(random, displayLayer, foldIds)
          else if k < 5 and undoableChanges > 0
