2015-01-28 07:39:08 +01:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
<grammar xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">
|
|
|
|
<start>
|
|
|
|
<element name="def">
|
|
|
|
<optional>
|
2015-01-29 07:28:40 +01:00
|
|
|
<attribute name="format">
|
2017-07-23 12:09:41 +02:00
|
|
|
<value>2</value>
|
2015-01-29 07:28:40 +01:00
|
|
|
</attribute>
|
2015-01-28 07:39:08 +01:00
|
|
|
</optional>
|
|
|
|
<zeroOrMore>
|
|
|
|
<choice>
|
|
|
|
<element name="define">
|
|
|
|
<attribute name="name"><text/></attribute>
|
|
|
|
<attribute name="value"><text/></attribute>
|
|
|
|
</element>
|
|
|
|
|
|
|
|
<element name="memory">
|
|
|
|
<zeroOrMore>
|
|
|
|
<choice>
|
2017-07-23 12:09:41 +02:00
|
|
|
<element name="dealloc">
|
|
|
|
<optional>
|
|
|
|
<attribute name="arg">
|
|
|
|
<ref name="ARGNO"/>
|
|
|
|
</attribute>
|
|
|
|
</optional>
|
|
|
|
<ref name="DATA-EXTNAME"/>
|
|
|
|
</element>
|
2015-01-28 07:39:08 +01:00
|
|
|
<element name="alloc">
|
|
|
|
<optional>
|
|
|
|
<attribute name="init"><ref name="DATA-BOOL"/></attribute>
|
|
|
|
</optional>
|
2017-07-23 12:09:41 +02:00
|
|
|
<optional>
|
|
|
|
<attribute name="arg"><ref name="ARGNO"/></attribute>
|
|
|
|
</optional>
|
2015-01-28 07:39:08 +01:00
|
|
|
<ref name="DATA-NAME"/>
|
|
|
|
</element>
|
2017-07-23 12:09:41 +02:00
|
|
|
<element name="use"><ref name="DATA-EXTNAME"/></element>
|
2015-01-28 07:39:08 +01:00
|
|
|
</choice>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
|
|
|
|
<element name="resource">
|
|
|
|
<zeroOrMore>
|
|
|
|
<choice>
|
2017-07-23 12:09:41 +02:00
|
|
|
<element name="dealloc">
|
|
|
|
<optional>
|
|
|
|
<attribute name="arg">
|
|
|
|
<ref name="ARGNO"/>
|
|
|
|
</attribute>
|
|
|
|
</optional>
|
|
|
|
<ref name="DATA-EXTNAME"/>
|
|
|
|
</element>
|
2015-01-28 07:39:08 +01:00
|
|
|
<element name="alloc">
|
|
|
|
<optional>
|
|
|
|
<attribute name="init"><ref name="DATA-BOOL"/></attribute>
|
|
|
|
</optional>
|
2017-07-23 12:09:41 +02:00
|
|
|
<optional>
|
|
|
|
<attribute name="arg"><ref name="ARGNO"/></attribute>
|
|
|
|
</optional>
|
2015-01-28 07:39:08 +01:00
|
|
|
<ref name="DATA-NAME"/>
|
|
|
|
</element>
|
2017-07-23 12:09:41 +02:00
|
|
|
<element name="use"><ref name="DATA-EXTNAME"/></element>
|
2015-01-28 07:39:08 +01:00
|
|
|
</choice>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
|
|
|
|
<element name="function">
|
|
|
|
<attribute name="name">
|
2017-07-23 12:09:41 +02:00
|
|
|
<ref name="DATA-EXTNAME"/>
|
2015-01-28 07:39:08 +01:00
|
|
|
</attribute>
|
|
|
|
|
|
|
|
<zeroOrMore>
|
|
|
|
<choice>
|
|
|
|
<element name="noreturn"><ref name="DATA-BOOL"/></element>
|
|
|
|
<element name="pure"><empty/></element>
|
2017-07-23 12:09:41 +02:00
|
|
|
<element name="const"><empty/></element>
|
2015-01-28 07:39:08 +01:00
|
|
|
<element name="ignorefunction"><ref name="DATA-BOOL"/></element>
|
|
|
|
<element name="leak-ignore"><empty/></element>
|
2017-07-23 12:09:41 +02:00
|
|
|
<element name="returnValue">
|
|
|
|
<optional>
|
|
|
|
<attribute name="type">
|
|
|
|
<data type="string">
|
|
|
|
<param name="pattern">([a-zA-Z_][a-zA-Z_0-9]*[ ])*([a-zA-Z_][a-zA-Z_0-9]*::)*[a-zA-Z_][a-zA-Z_0-9]*([ ]?[*])*</param>
|
|
|
|
</data>
|
|
|
|
</attribute>
|
|
|
|
</optional>
|
|
|
|
<optional>
|
|
|
|
<attribute name="container">
|
|
|
|
<data type="positiveInteger"/>
|
|
|
|
</attribute>
|
|
|
|
</optional>
|
|
|
|
<text/>
|
|
|
|
</element>
|
2015-01-28 07:39:08 +01:00
|
|
|
<element name="use-retval"><empty/></element>
|
|
|
|
<element name="formatstr">
|
|
|
|
<optional>
|
|
|
|
<attribute name="scan"><ref name="DATA-BOOL"/></attribute>
|
|
|
|
</optional>
|
|
|
|
<optional>
|
|
|
|
<attribute name="secure"><ref name="DATA-BOOL"/></attribute>
|
|
|
|
</optional>
|
|
|
|
<empty/>
|
|
|
|
</element>
|
2017-07-23 12:09:41 +02:00
|
|
|
<element name="warn">
|
|
|
|
<attribute name="severity">
|
|
|
|
<choice>
|
|
|
|
<value>error</value>
|
|
|
|
<value>warning</value>
|
|
|
|
<value>style</value>
|
|
|
|
<value>performance</value>
|
|
|
|
<value>portability</value>
|
|
|
|
<value>information</value>
|
|
|
|
</choice>
|
|
|
|
</attribute>
|
|
|
|
<optional>
|
|
|
|
<attribute name="reason">
|
|
|
|
<choice>
|
|
|
|
<value>Obsolescent</value>
|
|
|
|
<value>Obsolete</value>
|
|
|
|
</choice>
|
|
|
|
</attribute>
|
|
|
|
</optional>
|
|
|
|
<optional>
|
|
|
|
<attribute name="alternatives">
|
|
|
|
<ref name="DATA-EXTNAME"/>
|
|
|
|
</attribute>
|
|
|
|
</optional>
|
|
|
|
<optional>
|
|
|
|
<attribute name="cstd">
|
|
|
|
<value>c99</value>
|
|
|
|
</attribute>
|
|
|
|
</optional>
|
|
|
|
<text/>
|
|
|
|
</element>
|
2015-01-28 07:39:08 +01:00
|
|
|
<element name="arg">
|
|
|
|
<attribute name="nr">
|
|
|
|
<choice>
|
2015-01-31 08:08:39 +01:00
|
|
|
<ref name="ARGNO"/>
|
2015-01-28 07:39:08 +01:00
|
|
|
<value>any</value>
|
2017-07-23 12:09:41 +02:00
|
|
|
<value>variadic</value>
|
2015-01-28 07:39:08 +01:00
|
|
|
</choice>
|
|
|
|
</attribute>
|
2017-07-23 12:09:41 +02:00
|
|
|
<optional>
|
|
|
|
<attribute name="default">
|
|
|
|
<text/>
|
|
|
|
</attribute>
|
|
|
|
</optional>
|
2015-01-28 07:39:08 +01:00
|
|
|
<zeroOrMore>
|
|
|
|
<choice>
|
|
|
|
<element name="formatstr"><empty/></element>
|
|
|
|
<element name="strz"><empty/></element>
|
|
|
|
<element name="not-bool"><empty/></element>
|
|
|
|
<element name="not-null"><empty/></element>
|
|
|
|
<element name="not-uninit"><empty/></element>
|
2015-01-29 07:28:40 +01:00
|
|
|
<element name="valid">
|
|
|
|
<data type="string">
|
2017-07-23 12:09:41 +02:00
|
|
|
<param name="pattern">(-?[0-9]*:-?[0-9]*,)*([-]?[0-9]+[,])*([-]?[0-9]+)?:([-]?[0-9]+)?</param>
|
2015-01-29 07:28:40 +01:00
|
|
|
</data>
|
|
|
|
</element>
|
2015-01-28 07:39:08 +01:00
|
|
|
<element name="minsize">
|
|
|
|
<attribute name="type">
|
2015-01-31 10:48:11 +01:00
|
|
|
<choice>
|
|
|
|
<value>strlen</value>
|
|
|
|
<value>argvalue</value>
|
|
|
|
<value>sizeof</value>
|
|
|
|
<value>mul</value>
|
|
|
|
</choice>
|
2015-01-28 07:39:08 +01:00
|
|
|
</attribute>
|
|
|
|
<attribute name="arg">
|
2015-01-31 08:08:39 +01:00
|
|
|
<ref name="ARGNO"/>
|
2015-01-28 07:39:08 +01:00
|
|
|
</attribute>
|
|
|
|
<optional>
|
2015-01-31 08:08:39 +01:00
|
|
|
<attribute name="arg2">
|
|
|
|
<ref name="ARGNO"/>
|
|
|
|
</attribute>
|
2015-01-28 07:39:08 +01:00
|
|
|
</optional>
|
|
|
|
</element>
|
2017-07-23 12:09:41 +02:00
|
|
|
<element name="iterator">
|
|
|
|
<attribute name="container">
|
|
|
|
<data type="positiveInteger"/>
|
|
|
|
</attribute>
|
|
|
|
<attribute name="type">
|
|
|
|
<choice>
|
|
|
|
<value>first</value>
|
|
|
|
<value>middle</value>
|
|
|
|
<value>last</value>
|
|
|
|
</choice>
|
|
|
|
</attribute>
|
|
|
|
</element>
|
2015-01-28 07:39:08 +01:00
|
|
|
</choice>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
</choice>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
|
|
|
|
<element name="markup">
|
|
|
|
<attribute name="ext">
|
|
|
|
<data type="string">
|
|
|
|
<param name="pattern">[.][a-z]+</param>
|
|
|
|
</data>
|
|
|
|
</attribute>
|
|
|
|
<attribute name="aftercode"><ref name="DATA-BOOL"/></attribute>
|
|
|
|
<attribute name="reporterrors"><ref name="DATA-BOOL"/></attribute>
|
|
|
|
|
|
|
|
<optional>
|
|
|
|
<element name="keywords">
|
|
|
|
<zeroOrMore>
|
|
|
|
<element name="keyword">
|
|
|
|
<attribute name="name"><ref name="DATA-NAME"/></attribute>
|
|
|
|
</element>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
</optional>
|
|
|
|
|
|
|
|
<zeroOrMore>
|
|
|
|
<element name="codeblocks">
|
|
|
|
<zeroOrMore>
|
|
|
|
<element name="block">
|
|
|
|
<attribute name="name"><ref name="DATA-NAME"/></attribute>
|
|
|
|
</element>
|
|
|
|
</zeroOrMore>
|
|
|
|
<optional>
|
|
|
|
<element name="structure">
|
|
|
|
<attribute name="offset"><data type="integer"/></attribute>
|
|
|
|
<attribute name="start"><text/></attribute>
|
|
|
|
<attribute name="end"><text/></attribute>
|
|
|
|
</element>
|
|
|
|
</optional>
|
|
|
|
</element>
|
|
|
|
</zeroOrMore>
|
|
|
|
|
|
|
|
<optional>
|
|
|
|
<element name="exported">
|
|
|
|
<zeroOrMore>
|
|
|
|
<element name="exporter">
|
|
|
|
<attribute name="prefix"><ref name="DATA-NAME"/></attribute>
|
|
|
|
<zeroOrMore>
|
|
|
|
<choice>
|
|
|
|
<element name="prefix"><ref name="DATA-NAME"/></element>
|
|
|
|
<element name="suffix"><ref name="DATA-NAME"/></element>
|
|
|
|
</choice>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
</optional>
|
|
|
|
|
|
|
|
<optional>
|
|
|
|
<element name="imported">
|
|
|
|
<zeroOrMore>
|
|
|
|
<element name="importer"><ref name="DATA-NAME"/></element>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
</optional>
|
|
|
|
</element>
|
|
|
|
|
|
|
|
<element name="reflection">
|
|
|
|
<zeroOrMore>
|
|
|
|
<element name="call">
|
2015-01-31 08:08:39 +01:00
|
|
|
<attribute name="arg"><ref name="ARGNO"/></attribute>
|
2015-01-28 07:39:08 +01:00
|
|
|
<ref name="DATA-NAME"/>
|
|
|
|
</element>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
|
|
|
|
<element name="container">
|
|
|
|
<attribute name="id"><text/></attribute>
|
|
|
|
<optional>
|
|
|
|
<attribute name="endPattern"><text/></attribute>
|
|
|
|
</optional>
|
|
|
|
<optional>
|
|
|
|
<attribute name="startPattern"><text/></attribute>
|
|
|
|
</optional>
|
|
|
|
<optional>
|
|
|
|
<attribute name="inherits"><text/></attribute>
|
|
|
|
</optional>
|
2017-07-23 12:09:41 +02:00
|
|
|
<optional>
|
|
|
|
<attribute name="opLessAllowed"><ref name="DATA-BOOL"/></attribute>
|
|
|
|
</optional>
|
|
|
|
<optional>
|
|
|
|
<attribute name="itEndPattern"><text/></attribute>
|
|
|
|
</optional>
|
2015-01-28 07:39:08 +01:00
|
|
|
<zeroOrMore>
|
|
|
|
<choice>
|
|
|
|
<element name="type">
|
|
|
|
<choice>
|
2015-01-31 08:08:39 +01:00
|
|
|
<attribute name="templateParameter"><data type="integer"/></attribute>
|
|
|
|
<attribute name="string">
|
|
|
|
<value>std-like</value>
|
|
|
|
</attribute>
|
2015-01-28 07:39:08 +01:00
|
|
|
</choice>
|
|
|
|
<empty/>
|
|
|
|
</element>
|
|
|
|
<element name="size">
|
|
|
|
<optional>
|
|
|
|
<attribute name="templateParameter"><data type="integer"/></attribute>
|
|
|
|
</optional>
|
|
|
|
<zeroOrMore>
|
|
|
|
<element name="function">
|
|
|
|
<attribute name="name"><ref name="DATA-NAME"/></attribute>
|
|
|
|
<choice>
|
2015-01-31 08:08:39 +01:00
|
|
|
<attribute name="action">
|
2017-07-23 12:09:41 +02:00
|
|
|
<ref name="CONTAINER-ACTION"/>
|
2015-01-31 08:08:39 +01:00
|
|
|
</attribute>
|
|
|
|
<attribute name="yields">
|
2017-07-23 12:09:41 +02:00
|
|
|
<ref name="CONTAINER-YIELDS"/>
|
2015-01-31 08:08:39 +01:00
|
|
|
</attribute>
|
2015-01-28 07:39:08 +01:00
|
|
|
</choice>
|
|
|
|
<empty/>
|
|
|
|
</element>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
<element name="access">
|
|
|
|
<optional>
|
2015-01-31 08:08:39 +01:00
|
|
|
<attribute name="indexOperator">
|
|
|
|
<value>array-like</value>
|
|
|
|
</attribute>
|
2015-01-28 07:39:08 +01:00
|
|
|
</optional>
|
|
|
|
<zeroOrMore>
|
|
|
|
<element name="function">
|
2017-07-23 12:09:41 +02:00
|
|
|
<attribute name="name">
|
|
|
|
<ref name="DATA-EXTNAME"/>
|
|
|
|
</attribute>
|
|
|
|
<optional>
|
|
|
|
<attribute name="action">
|
|
|
|
<ref name="CONTAINER-ACTION"/>
|
|
|
|
</attribute>
|
|
|
|
</optional>
|
|
|
|
<optional>
|
|
|
|
<attribute name="yields">
|
|
|
|
<ref name="CONTAINER-YIELDS"/>
|
|
|
|
</attribute>
|
|
|
|
</optional>
|
2015-01-28 07:39:08 +01:00
|
|
|
<empty/>
|
|
|
|
</element>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
</choice>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
|
|
|
|
<element name="podtype">
|
2017-07-23 12:09:41 +02:00
|
|
|
<attribute name="name"><ref name="DATA-EXTNAME"/></attribute>
|
2015-01-28 07:39:08 +01:00
|
|
|
<optional>
|
2015-01-31 08:08:39 +01:00
|
|
|
<attribute name="size">
|
|
|
|
<choice>
|
|
|
|
<value>1</value>
|
|
|
|
<value>2</value>
|
|
|
|
<value>4</value>
|
|
|
|
<value>8</value>
|
|
|
|
</choice>
|
|
|
|
</attribute>
|
2015-01-28 07:39:08 +01:00
|
|
|
</optional>
|
|
|
|
<optional>
|
2015-01-31 08:08:39 +01:00
|
|
|
<attribute name="sign">
|
|
|
|
<choice>
|
|
|
|
<value>s</value>
|
|
|
|
<value>u</value>
|
|
|
|
</choice>
|
|
|
|
</attribute>
|
2015-01-28 07:39:08 +01:00
|
|
|
</optional>
|
|
|
|
<empty/>
|
|
|
|
</element>
|
|
|
|
|
|
|
|
<element name="platformtype">
|
2017-07-23 12:09:41 +02:00
|
|
|
<attribute name="name"><ref name="DATA-EXTNAME"/></attribute>
|
2015-01-28 07:39:08 +01:00
|
|
|
<attribute name="value"><ref name="DATA-NAME"/></attribute>
|
|
|
|
<oneOrMore>
|
|
|
|
<choice>
|
|
|
|
<element name="unsigned"><empty/></element>
|
|
|
|
<element name="long"><empty/></element>
|
|
|
|
<element name="pointer"><empty/></element>
|
|
|
|
<element name="const_ptr"><empty/></element>
|
|
|
|
<element name="ptr_ptr"><empty/></element>
|
|
|
|
<element name="platform">
|
|
|
|
<attribute name="type"><ref name="DATA-NAME"/></attribute>
|
|
|
|
<empty/>
|
|
|
|
</element>
|
|
|
|
</choice>
|
|
|
|
</oneOrMore>
|
|
|
|
</element>
|
|
|
|
|
|
|
|
</choice>
|
|
|
|
</zeroOrMore>
|
|
|
|
</element>
|
|
|
|
</start>
|
|
|
|
|
2015-01-31 08:08:39 +01:00
|
|
|
<define name="ARGNO">
|
|
|
|
<data type="integer">
|
|
|
|
<param name="minInclusive">1</param>
|
|
|
|
<param name="maxInclusive">20</param>
|
|
|
|
</data>
|
|
|
|
</define>
|
|
|
|
|
2015-01-28 07:39:08 +01:00
|
|
|
<define name="DATA-BOOL">
|
|
|
|
<choice>
|
|
|
|
<value>true</value>
|
|
|
|
<value>false</value>
|
|
|
|
</choice>
|
|
|
|
</define>
|
|
|
|
|
|
|
|
<define name="DATA-NAME">
|
|
|
|
<data type="string">
|
|
|
|
<param name="pattern">[a-zA-Z_][a-zA-Z_0-9]*</param>
|
|
|
|
</data>
|
|
|
|
</define>
|
2017-07-23 12:09:41 +02:00
|
|
|
|
|
|
|
<define name="DATA-EXTNAME">
|
|
|
|
<data type="string">
|
|
|
|
<param name="pattern">[a-zA-Z_][a-zA-Z_0-9:,]*</param>
|
|
|
|
</data>
|
|
|
|
</define>
|
|
|
|
|
|
|
|
<define name="CONTAINER-ACTION">
|
|
|
|
<choice>
|
|
|
|
<value>resize</value>
|
|
|
|
<value>clear</value>
|
|
|
|
<value>push</value>
|
|
|
|
<value>pop</value>
|
|
|
|
<value>find</value>
|
|
|
|
<value>insert</value>
|
|
|
|
<value>erase</value>
|
|
|
|
<value>change-content</value>
|
|
|
|
<value>change-internal</value>
|
|
|
|
<value>change</value>
|
|
|
|
</choice>
|
|
|
|
</define>
|
|
|
|
|
|
|
|
<define name="CONTAINER-YIELDS">
|
|
|
|
<choice>
|
|
|
|
<value>at_index</value>
|
|
|
|
<value>item</value>
|
|
|
|
<value>buffer</value>
|
|
|
|
<value>buffer-nt</value>
|
|
|
|
<value>start-iterator</value>
|
|
|
|
<value>end-iterator</value>
|
|
|
|
<value>iterator</value>
|
|
|
|
<value>size</value>
|
|
|
|
<value>empty</value>
|
|
|
|
</choice>
|
|
|
|
</define>
|
2015-01-28 07:39:08 +01:00
|
|
|
</grammar>
|