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;
}