push_property


Description:

public void push_property (string name)

Add a property segment to the diagnostic path. Pair with pop.