Bug 1447145 [wpt PR 10100] - Handle options for add_untested_idls, a=testonly

Automatic update from web-platform-testsHandle options for add_untested_idls (#10100)

wpt-commits: df2e8038d83a8573de683c38fde2211bcc3057a2
wpt-pr: 10100
wpt-commits: df2e8038d83a8573de683c38fde2211bcc3057a2
wpt-pr: 10100
This commit is contained in:
Luke Bjerring 2018-04-09 17:39:33 +00:00 коммит произвёл James Graham
Родитель 54d6a9ea40
Коммит efceb46d3a
1 изменённых файлов: 6 добавлений и 6 удалений

Просмотреть файл

@ -177,7 +177,7 @@ IdlArray.prototype.add_idls = function(raw_idls, options)
};
//@}
IdlArray.prototype.add_untested_idls = function(raw_idls)
IdlArray.prototype.add_untested_idls = function(raw_idls, options)
//@{
{
/** Entry point. See documentation at beginning of file. */
@ -193,7 +193,7 @@ IdlArray.prototype.add_untested_idls = function(raw_idls)
}
}
}
this.internal_add_idls(parsed_idls);
this.internal_add_idls(parsed_idls, options);
};
//@}
@ -274,14 +274,14 @@ IdlArray.prototype.internal_add_idls = function(parsed_idls, options)
}
parsed_idl.array = this;
if (parsed_idl.name in this.members)
{
throw "Duplicate identifier " + parsed_idl.name;
}
if (should_skip(parsed_idl.name))
{
return;
}
if (parsed_idl.name in this.members)
{
throw "Duplicate identifier " + parsed_idl.name;
}
switch(parsed_idl.type)
{
case "interface":