| /* This Source Code Form is subject to the terms of the Mozilla Public |
| * License, v. 2.0. If a copy of the MPL was not distributed with this |
| * file, You can obtain one at https://mozilla.org/MPL/2.0/. */ |
| |
| // Private interfaces that are only used for internal Servo usage |
| // like about: pages. |
| |
| // This interface is entirely internal to Servo, and should not be accessible to |
| // web pages. |
| [Exposed=Window, |
| Func="ServoInternals::is_servo_internal"] |
| interface ServoInternals { |
| Promise<object> reportMemory(); |
| |
| [Throws] USVString getStringPreference(USVString name); |
| [Throws] long long getIntPreference(USVString name); |
| [Throws] boolean getBoolPreference(USVString name); |
| undefined setStringPreference(USVString name, USVString value); |
| undefined setIntPreference(USVString name, long long value); |
| undefined setBoolPreference(USVString name, boolean value); |
| }; |
| |
| partial interface Navigator { |
| [Func="ServoInternals::is_servo_internal"] |
| readonly attribute ServoInternals servo; |
| }; |