2018-07-23 14:46:30 -04:00
|
|
|
// Copyright 2018 the Deno authors. All rights reserved. MIT license.
|
2018-07-06 11:20:35 -04:00
|
|
|
|
2018-08-07 16:27:31 -04:00
|
|
|
import { Console } from "./console";
|
2018-08-09 15:17:08 -04:00
|
|
|
import * as timers from "./timers";
|
2018-08-25 15:42:49 -04:00
|
|
|
import { TextDecoder, TextEncoder } from "./text_encoding";
|
2018-08-15 20:57:36 -04:00
|
|
|
import * as fetch_ from "./fetch";
|
2018-08-25 15:42:49 -04:00
|
|
|
import { libdeno } from "./libdeno";
|
|
|
|
import { globalEval } from "./global-eval";
|
2018-08-07 16:27:31 -04:00
|
|
|
|
|
|
|
declare global {
|
|
|
|
interface Window {
|
|
|
|
console: Console;
|
2018-08-22 17:17:26 -04:00
|
|
|
define: Readonly<unknown>;
|
2018-08-07 16:27:31 -04:00
|
|
|
}
|
|
|
|
|
2018-08-09 15:17:08 -04:00
|
|
|
const clearTimeout: typeof timers.clearTimer;
|
|
|
|
const clearInterval: typeof timers.clearTimer;
|
|
|
|
const setTimeout: typeof timers.setTimeout;
|
|
|
|
const setInterval: typeof timers.setInterval;
|
|
|
|
|
2018-08-07 16:27:31 -04:00
|
|
|
const console: Console;
|
|
|
|
const window: Window;
|
2018-08-09 13:24:03 -04:00
|
|
|
|
2018-08-15 20:57:36 -04:00
|
|
|
const fetch: typeof fetch_.fetch;
|
|
|
|
|
2018-08-09 13:24:03 -04:00
|
|
|
// tslint:disable:variable-name
|
|
|
|
let TextEncoder: TextEncoder;
|
|
|
|
let TextDecoder: TextDecoder;
|
|
|
|
// tslint:enable:variable-name
|
2018-08-07 16:27:31 -04:00
|
|
|
}
|
|
|
|
|
2018-07-06 11:20:35 -04:00
|
|
|
// A reference to the global object.
|
2018-07-06 11:27:36 -04:00
|
|
|
export const window = globalEval("this");
|
2018-08-06 18:37:32 -04:00
|
|
|
window.window = window;
|
|
|
|
|
|
|
|
window.libdeno = null;
|
2018-07-06 11:20:35 -04:00
|
|
|
|
2018-08-09 15:17:08 -04:00
|
|
|
window.setTimeout = timers.setTimeout;
|
|
|
|
window.setInterval = timers.setInterval;
|
|
|
|
window.clearTimeout = timers.clearTimer;
|
|
|
|
window.clearInterval = timers.clearTimer;
|
2018-07-06 11:20:35 -04:00
|
|
|
|
2018-08-06 18:37:32 -04:00
|
|
|
window.console = new Console(libdeno.print);
|
2018-08-09 13:24:03 -04:00
|
|
|
window.TextEncoder = TextEncoder;
|
|
|
|
window.TextDecoder = TextDecoder;
|
2018-07-06 11:20:35 -04:00
|
|
|
|
2018-08-15 20:57:36 -04:00
|
|
|
window.fetch = fetch_.fetch;
|