push_string


Description:

public void push_string (string symbol, string value)