push_state


Description:

public void push_state (XMLInDoc doc, void* new_state, XMLInExtDtor dtor, string[] attrs)