push_key


Description:

public void push_key (string key)

Add a map-key segment to the diagnostic path. Pair with pop.