Invalid default value for elements of type <time>

[FirefoxMetzger]

In types.xsd time is defined as a simple double, however inside state.sdf a string value of the form "0 0" is used as default. The documentation agrees with the latter and says it should be of the form "{seconds} {nanoseconds}.

I implemented a local fix inside types.xsd of the form

  <xsd:simpleType name="time">
    <xsd:restriction base="xsd:string">
      <xsd:pattern value="\d+ \d+"/>
    </xsd:restriction>
  </xsd:simpleType>

However, it still makes sense to bring it up as an issue here, since I don't know if this is the preferred solution.

[chapulina]

The suggested fix makes sense to me

[azeey]

I believe "{seconds} {nanoseconds}" is what's used by Gazebo classic, so the fix makes sense to me too.