push_index


Description:

public void push_index (uint index)

Add an array index to the diagnostic path. Pair with pop.