void pushState(data, String title, String url, [ Map options ])

Source 

void pushState(/*SerializedScriptValue*/ data, String title, String url,
    [Map options]) {
  if (options != null) {
    _blink.BlinkHistory.instance.pushState_Callback_4_(
        this,
        convertDartToNative_SerializedScriptValue(data),
        title,
        url,
        convertDartToNative_Dictionary(options));
    return;
  }
  _blink.BlinkHistory.instance.pushState_Callback_3_(
      this, convertDartToNative_SerializedScriptValue(data), title, url);
  return;
}