stepsElided property

int stepsElided

How many of stepCount's steps are on disk rather than in this copy — zero when steps is the whole of them, which is what run.json and a steps: all request both hold.

The field exists so stepCount and steps.length can never disagree silently: the difference is either zero or stated.

Implementation

final int stepsElided;