search

w3c / wot-scripting-api

Web of Things (WoT) Scripting API
http://w3c.github.io/wot-scripting-api/
Other
43 stars 28 forks source link

2023 note2 updates2 #477

Closed danielpeintner closed 1 year ago

danielpeintner commented 1 year ago

Preview

NOTE: All (some?) of the fixes should go into the main note as well in a follow-up PR

fixes https://github.com/w3c/wot-scripting-api/issues/475

danielpeintner commented 1 year ago

Note: I fixed all HTML errors expect one that appears often "Duplicate ID idl-def-wot."

I think it comes from the WebIDL and I am not sure how to fix that... shall we just remove the other IDs? I am pretty sure that breaks things...

image

danielpeintner commented 1 year ago

@ashimura the remaining issue with duplicate id "idl-def-wot" is coming from ReSpec. We in our html do not create this ID, please have a look at https://github.com/w3c/wot-scripting-api/blob/main/index.html. You will not find "idl-def-wot"..

It comes from the WebIdl where we use partial namespace WOT like in

partial namespace WOT {
  Promise<ConsumedThing> consume(ThingDescription td);
};

or

partial namespace WOT {
  Promise<ExposedThing> produce(ExposedThingInit init);
};

or

partial namespace WOT {
  Promise<ThingDiscoveryProcess> exploreDirectory(USVString url,
      optional ThingFilter filter = {});
};

How can we move on? @zolkis can we define it differently?

EDIT: Can/shall we open a ReSpec bug report?

zolkis commented 1 year ago

Those definitions are correct, according to https://webidl.spec.whatwg.org/#dfn-partial-namespace

But we can also collate all those definitions in the first one, i.e. without any partial definitions.

danielpeintner commented 1 year ago

I created https://github.com/w3c/respec/issues/4447, maybe there is a simple solution/fix for it.

relu91 commented 1 year ago

Call 22/05/2023: