mirror of
https://github.com/rustwasm/wasm-bindgen.git
synced 2024-12-15 21:02:10 +03:00
71255acf5d
* Try to enable all webidls * Separate out unavailable webidl files by reason. * Create record of fully tested WebIDL files * Update notes to reflect new situation with web-idl * Make a blank ident fail, disable the necessary widls. It turns out that all the blank idents came from blank enum variants, which is allowed in webidl apparently.
37 lines
1.3 KiB
Plaintext
Vendored
37 lines
1.3 KiB
Plaintext
Vendored
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
/* 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 http://mozilla.org/MPL/2.0/.
|
|
*
|
|
* The origin of this IDL file is
|
|
* http://www.w3.org/TR/geolocation-API
|
|
*
|
|
* Copyright © 2012 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C
|
|
* liability, trademark and document use rules apply.
|
|
*/
|
|
|
|
dictionary PositionOptions {
|
|
boolean enableHighAccuracy = false;
|
|
[Clamp] unsigned long timeout = 0x7fffffff;
|
|
[Clamp] unsigned long maximumAge = 0;
|
|
};
|
|
|
|
[NoInterfaceObject]
|
|
interface Geolocation {
|
|
[Throws, NeedsCallerType]
|
|
void getCurrentPosition(PositionCallback successCallback,
|
|
optional PositionErrorCallback? errorCallback = null,
|
|
optional PositionOptions options);
|
|
|
|
[Throws, NeedsCallerType]
|
|
long watchPosition(PositionCallback successCallback,
|
|
optional PositionErrorCallback? errorCallback = null,
|
|
optional PositionOptions options);
|
|
|
|
void clearWatch(long watchId);
|
|
};
|
|
|
|
callback PositionCallback = void (Position position);
|
|
|
|
callback PositionErrorCallback = void (PositionError positionError);
|