text: public void Add(Transition t){if (transitions.Length == count){Transition[] newArray = new Transition[ArrayUtil.Oversize(1 + count, RamUsageEstimator.NUM_BYTES_OBJECT_REF)];Array.Copy(transitions, 0, newArray, 0, count);transitions = newArray;}transitions[count++] = t;}