targets/Xenomai/XSD
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Thu, 21 Feb 2019 10:17:38 +0300
changeset 2512 69cef4e37ef9
parent 615 72bc3e53a1fa
permissions -rw-r--r--
Fix non-marking as manually forced floating point variable if the value isn't integer

For example, if user in debug variable panel set any floating point
variable to 34.3, then it's not shown as forced (blue color) and user
can't release this enforcement.

If user changes the value to 34.0, then enforcement shows
correctly. This is done because binary representation of floating point
numbers in IDE and runtime can be slightly different (double vs float)
and as a result values aren't equal.
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     1
321
5a4e6278a18b Adding support for Xenomai targets.
lbessard
parents: 204
diff changeset
     2
                  <xsd:element name="Xenomai">
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     3
                    <xsd:complexType>
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     4
                      %(toolchain_gcc)s
615
72bc3e53a1fa Xenomai Fix : build
Edouard Tisserant
parents: 321
diff changeset
     5
                      <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     6
                    </xsd:complexType>
615
72bc3e53a1fa Xenomai Fix : build
Edouard Tisserant
parents: 321
diff changeset
     7
                  </xsd:element>