averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[Markup] Print Tags in documentation comment XML

Browse Source 
This information needs to be picked up through SourceKit. It might be
useful as both metadata for sorting/filtering as well as presentation,
so it makes sense to print it in the normal XML inside CommentParts.

rdar://problem/32877771
This commit is contained in:
David Farler
2017-06-22 16:45:22 -07:00
parent ce8c0eb4c8
commit a85e1d6f30
3 changed files with 60 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
bindings/xml/comment-xml-schema.rng
View File

@@ -46,6 +46,9 @@
<optional>
<ref name="ResultDiscussion" />
</optional>
<optional>
<ref name="Tags" />
</optional>
<optional>
<ref name="Discussion" />
</optional>
@@ -115,6 +118,9 @@
<optional>
<ref name="ResultDiscussion" />
</optional>
<optional>
<ref name="Tags" />
</optional>
<optional>
<ref name="Discussion" />
</optional>
@@ -166,6 +172,9 @@
<optional>
<ref name="ResultDiscussion" />
</optional>
<optional>
<ref name="Tags" />
</optional>
<optional>
<ref name="Discussion" />
@@ -209,6 +218,9 @@
<optional>
<ref name="ResultDiscussion" />
</optional>
<optional>
<ref name="Tags" />
</optional>
<optional>
<ref name="Discussion" />
@@ -252,6 +264,9 @@
<optional>
<ref name="ResultDiscussion" />
</optional>
<optional>
<ref name="Tags" />
</optional>
<optional>
<ref name="Discussion" />
@@ -294,6 +309,9 @@
<optional>
<ref name="ResultDiscussion" />
</optional>
<optional>
<ref name="Tags" />
</optional>
<optional>
<ref name="Discussion" />
@@ -337,6 +355,9 @@
<optional>
<ref name="ResultDiscussion" />
</optional>
<optional>
<ref name="Tags" />
</optional>
<optional>
<ref name="Discussion" />
@@ -640,6 +661,16 @@
</element>
</define>
<define name="Tags">
<element name="Tags">
<oneOrMore>
<element name="Tag">
<data type="string" />
</element>
</oneOrMore>
</element>
</define>
<define name="Parameters">
<element name="Parameters">
<!-- Parameter elements should be sorted according to index. -->