1 |
|
2 |
|
3 |
|
4 |
|
5 |
|
6 |
|
7 |
|
8 |
|
9 | type byte = number
|
10 | type char = object
|
11 | type double = number
|
12 | type float = number
|
13 | type int = number
|
14 | type long = number
|
15 | type short = number
|
16 |
|
17 | declare const $ARG: string[]
|
18 | declare const $ENV: any
|
19 | declare const Packages: any
|
20 |
|
21 | declare function String(arg: any): java.lang.String
|
22 | declare function echo(...args: any[]): void
|
23 | declare function exit(code?: number): void
|
24 | declare function load(script: string | object): void
|
25 | declare function loadWithNewGlobal(script: string | object): void
|
26 | declare function quit(code?: number): void
|
27 | declare function readFully(filepath: string): string
|
28 | declare function readLine(prompt?: string): string
|
29 |
|
30 | declare class Java {
|
31 | static extend(type: any, impl?: object): any
|
32 | static super(variable: object): any
|
33 | static from(value: any): any
|
34 | static to(jsValue: any, javaType: any): any
|
35 | static type(className: string): any
|
36 | }
|
37 |
|
38 | declare namespace java {
|
39 | namespace util {
|
40 | namespace function$ {
|
41 | interface Consumer$$TypeScript<T> {
|
42 | (arg: T): any
|
43 | }
|
44 | }
|
45 | }
|
46 | }
|
47 |
|
\ | No newline at end of file |