[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

7.11.2 integer values

A name can be specified as having an integer value. To do this, you must use the XML-ish format and specify a type attribute for the name:

 
<name type=integer> 1234 </name>

Boolean, enumeration and set membership types will be added as time allows. type=string is also supported, but also is the default.


This document was generated by Bruce Korb on August 30, 2014 using texi2html 1.82.