jsdom, js: start refactoring jsdom; improve JS interfaces; add two attributes for them (#12488)

This commit is contained in:
playX 2021-11-17 12:41:33 +03:00 committed by GitHub
parent 6ac109a7c3
commit 2eb02ff5a7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
28 changed files with 282 additions and 1812 deletions

View file

@ -9,14 +9,17 @@ module builtin
pub interface JS.Object {}
[single_impl]
pub interface JS.BigInt {
JS.Any
}
[single_impl]
pub interface JS.Number {
JS.Any
}
[single_impl]
pub interface JS.String {
JS.Any
length JS.Number
@ -34,8 +37,10 @@ pub interface JS.String {
lastIndexOf(needle JS.String) JS.Number
}
[single_impl]
pub interface JS.Boolean {
JS.Any
length JS.Number
}
pub interface JS.Map {