<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" elementFormDefault="qualified">
  <!-- view_path.rnc -->
  <xs:element name="codepath">
    <xs:complexType>
      <xs:sequence>
        <xs:element ref="project"/>
        <xs:element ref="analysis"/>
        <xs:element ref="listing"/>
      </xs:sequence>
      <xs:attribute name="token"/>
      <xs:attribute name="filename"/>
      <xs:attribute name="line_number" type="xs:integer"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="project">
    <xs:complexType>
      <xs:attribute name="name" use="required"/>
      <xs:attribute name="url" use="required"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="analysis">
    <xs:complexType>
      <xs:attribute name="analysis_id" use="required" type="xs:integer"/>
      <xs:attribute name="analysis_name" use="required"/>
      <xs:attribute name="url" use="required"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="listing">
    <xs:complexType>
      <xs:choice>
        <xs:element maxOccurs="unbounded" ref="path"/>
        <xs:element ref="procedure"/>
        <xs:sequence minOccurs="0" maxOccurs="unbounded">
          <xs:element minOccurs="0" ref="file"/>
          <xs:element minOccurs="0" maxOccurs="unbounded" ref="line"/>
        </xs:sequence>
        <xs:element ref="msg"/>
      </xs:choice>
    </xs:complexType>
  </xs:element>
  <xs:element name="path">
    <xs:complexType>
      <xs:choice>
        <xs:element ref="procedure"/>
        <xs:sequence minOccurs="0" maxOccurs="unbounded">
          <xs:element minOccurs="0" ref="file"/>
          <xs:element minOccurs="0" maxOccurs="unbounded" ref="line"/>
        </xs:sequence>
      </xs:choice>
      <xs:attribute name="name" use="required"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="procedure">
    <xs:complexType>
      <xs:sequence minOccurs="0" maxOccurs="unbounded">
        <xs:element minOccurs="0" ref="file"/>
        <xs:element minOccurs="0" maxOccurs="unbounded" ref="line"/>
      </xs:sequence>
      <xs:attribute name="pdg" use="required"/>
      <xs:attribute name="name" use="required"/>
      <xs:attribute name="sfid"/>
      <xs:attribute name="sfhash"/>
      <xs:attribute name="line" type="xs:integer"/>
      <xs:attribute name="hidden" type="xs:boolean"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="file">
    <xs:complexType>
      <xs:attribute name="name" use="required"/>
      <xs:attribute name="sfid" use="required"/>
      <xs:attribute name="sfhash"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="line">
    <xs:complexType>
      <xs:choice minOccurs="0" maxOccurs="unbounded">
        <xs:group minOccurs="0" maxOccurs="unbounded" ref="span"/>
        <xs:element minOccurs="0" maxOccurs="unbounded" ref="expansion"/>
        <xs:element minOccurs="0" maxOccurs="unbounded" ref="msg"/>
      </xs:choice>
      <xs:attribute name="number" use="required" type="xs:integer"/>
      <xs:attribute name="on_path" type="xs:boolean"/>
      <xs:attribute name="problem"/>
      <xs:attribute name="call_sites"/>
    </xs:complexType>
  </xs:element>
  <!--
    "element span" exists for compatibility with old versions of
    codesonar.
  -->
  <xs:group name="span">
    <xs:choice>
      <xs:element ref="span"/>
      <xs:element ref="s"/>
    </xs:choice>
  </xs:group>
  <xs:element name="span">
    <xs:complexType>
      <xs:choice minOccurs="0" maxOccurs="unbounded">
        <xs:element ref="expansion"/>
        <xs:group ref="content"/>
      </xs:choice>
      <xs:attribute name="comment" type="xs:boolean"/>
      <xs:attribute name="grayout" type="xs:boolean"/>
      <xs:attribute name="include" type="xs:boolean"/>
      <xs:attribute name="interesting" type="xs:boolean"/>
      <xs:attribute name="keyword" type="xs:boolean"/>
      <xs:attribute name="label" type="xs:boolean"/>
      <xs:attribute name="string" type="xs:boolean"/>
      <xs:attribute name="linklocal" type="xs:boolean"/>
      <xs:attribute name="linksfid"/>
      <xs:attribute name="linkline" type="xs:integer"/>
      <xs:attribute name="loop" type="xs:boolean"/>
      <xs:attribute name="mclose" type="xs:boolean"/>
      <xs:attribute name="macro" type="xs:boolean"/>
      <xs:attribute name="on_path" type="xs:boolean"/>
      <xs:attribute name="preprocessor" type="xs:boolean"/>
      <xs:attribute name="interpolate_style" type="xs:boolean"/>
      <xs:attribute name="super_interesting" type="xs:boolean"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="s">
    <xs:complexType>
      <xs:choice minOccurs="0" maxOccurs="unbounded">
        <xs:element ref="expansion"/>
        <xs:group ref="content"/>
      </xs:choice>
      <xs:attribute name="comment" type="xs:boolean"/>
      <xs:attribute name="grayout" type="xs:boolean"/>
      <xs:attribute name="unreachable" type="xs:boolean"/>
      <xs:attribute name="include" type="xs:boolean"/>
      <xs:attribute name="interesting" type="xs:boolean"/>
      <xs:attribute name="keyword" type="xs:boolean"/>
      <xs:attribute name="label" type="xs:boolean"/>
      <xs:attribute name="string" type="xs:boolean"/>
      <xs:attribute name="linklocal" type="xs:boolean"/>
      <xs:attribute name="taint"/>
      <xs:attribute name="linksfid"/>
      <xs:attribute name="linkline" type="xs:integer"/>
      <xs:attribute name="loop" type="xs:boolean"/>
      <xs:attribute name="mclose" type="xs:boolean"/>
      <xs:attribute name="macro" type="xs:boolean"/>
      <xs:attribute name="on_path" type="xs:boolean"/>
      <xs:attribute name="preprocessor" type="xs:boolean"/>
      <xs:attribute name="interpolate_style" type="xs:boolean"/>
      <xs:attribute name="super_interesting" type="xs:boolean"/>
    </xs:complexType>
  </xs:element>
  <!--
    "element content" exists for compatibility with old versions of
    codesonar.
  -->
  <xs:group name="content">
    <xs:choice>
      <xs:element ref="content"/>
      <xs:element ref="c"/>
    </xs:choice>
  </xs:group>
  <xs:element name="content" type="xs:string"/>
  <xs:element name="c" type="xs:string"/>
  <xs:element name="expansion">
    <xs:complexType>
      <xs:choice>
        <xs:element ref="procedure"/>
        <xs:sequence>
          <xs:element minOccurs="0" ref="file"/>
          <xs:element minOccurs="0" maxOccurs="unbounded" ref="line"/>
        </xs:sequence>
      </xs:choice>
      <xs:attribute name="expanded" type="xs:boolean"/>
      <xs:attribute name="macro_ref"/>
      <xs:attribute name="id"/>
      <xs:attribute name="macro_id"/>
    </xs:complexType>
  </xs:element>
  <xs:group name="text_markup">
    <xs:sequence>
      <xs:choice minOccurs="0">
        <xs:element ref="code"/>
        <xs:element ref="br"/>
        <xs:element ref="plain"/>
        <xs:element ref="placeholder"/>
        <xs:element ref="link"/>
        <xs:element ref="explanation"/>
        <xs:element ref="on_path_legend"/>
        <xs:element ref="style0_legend"/>
        <xs:element ref="style1_legend"/>
        <xs:element ref="style2_legend"/>
        <xs:element ref="style3_legend"/>
        <xs:element ref="subscript"/>
      </xs:choice>
    </xs:sequence>
  </xs:group>
  <xs:element name="ul">
    <xs:complexType mixed="true">
      <xs:sequence>
        <xs:element minOccurs="0" maxOccurs="unbounded" ref="li"/>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
  <xs:element name="li">
    <xs:complexType mixed="true">
      <xs:choice minOccurs="0" maxOccurs="unbounded">
        <xs:element ref="ul"/>
        <xs:group ref="text_markup"/>
      </xs:choice>
    </xs:complexType>
  </xs:element>
  <xs:element name="br">
    <xs:complexType/>
  </xs:element>
  <xs:element name="code">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="plain">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="placeholder">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="paragraph">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="explanation">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="on_path_legend">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="style0_legend">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="style1_legend">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="style2_legend">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="style3_legend">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="subscript">
    <xs:complexType mixed="true">
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="text_markup"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="link">
    <xs:complexType mixed="true">
      <xs:attribute name="msg"/>
      <xs:attribute name="line" type="xs:integer"/>
      <xs:attribute name="local" type="xs:boolean"/>
      <xs:attribute name="sfhash"/>
      <xs:attribute name="sfid"/>
      <xs:attribute name="url"/>
      <xs:attribute name="uid"/>
    </xs:complexType>
  </xs:element>
  <xs:element name="msg">
    <xs:complexType mixed="true">
      <xs:choice minOccurs="0" maxOccurs="unbounded">
        <xs:element ref="ul"/>
        <xs:group ref="text_markup"/>
        <xs:element ref="paragraph"/>
      </xs:choice>
      <xs:attribute name="msg_id"/>
      <xs:attribute name="detail" type="xs:integer"/>
    </xs:complexType>
  </xs:element>
</xs:schema>
