Re: fixed point types over an interface

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Laurent Pautet said

<<GLADE is only 95% XDR in order to follow LRM requirements. The 5%
comes from the XDR 4 bytes rule (basically strings).>>

This is confusing and misleading. It is true that a string is not output
in XDR format, but that is because strings are not output in streams 
ever. Instead the semantics of Ada is that a string is output as a series
of characters. These characters are indeed output in the format required
by XDR. 

Yes, you might expect that a string in Ada would be output in a format
corresponding to a string as described in the XDR standard, but really
there is no reason to expect such a correspondence. Clearly a string
in Ada is a rather different beast, because for one thing it typically
includes bounds.

So, here is the exact statement of what is going on:

When the default stream attribtutes are used, the operates are first broken
down into a series of operations on primitive data values. The rules for
this breakdown are part of the Ada rules, and hence streams in Ada have
no requirement for dealing with composite values, since they are defined
to be a sequence of primitive values.

These primitive values are written in accordance with the rules in the XDR
standard, which are followed 100% accurately.

If you want to intercommunicate with another language, that other language
must understand the sequence of items that is written into the stream.
For example if we use 'Output on a four character string with bounds 1..4,
then six elements are written:

  lower bound
  upper bound
  first character
  second character
  third character
  fourth character

each of these six elements is represented using the XDR standard. The
"other language" code must read these six elements and assemble them into
whatever makes best sense for representing this particular aggregate data
item.