<p>This package defines a mapping between the JSON markup language and GAP. The built-in datatypes of GAP provide an easy mapping to and from JSON. This package uses the following mapping between GAP and JSON.</p>
<ul>
<li><p>JSON lists are mapped to GAP lists</p>
</li>
<li><p>JSON dictionaries are mapped to GAP records</p>
</li>
<li><p>JSON strings are mapped to GAP strings</p>
</li>
<li><p>Integers are mapped to GAP integers, non-integer numbers are mapped to Floats</p>
</li>
<li><p>true, false and null are mapped to true, false and fail respectively</p>
</li>
</ul>
<p>Note that this library is *NOT* intended to provide a general purpose library for transmitting any GAP object. If you wish to do this, look at the openmath package, or IO_Pickle in the IO package.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ GapToJsonStream</code>( <var class="Arg">stream</var>, <var class="Arg">value</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Converts the <var class="Arg">value</var> to JSON, and outputs it to <var class="Arg">stream</var>. This function disables GAP's usual line splitting while JSON is being outputted.
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.22Bemerkung:
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.