/* Note that this is not a complete PR file. Update the file with 
   the SDL mapping to your own C implemented buffer interface. For
   further information see the documentation. */

package CustomBufferInterface;

/* make sure that prototypes according to cucf_er_sdt.h file are included */
/*#CODE
#TYPE

#ifndef _thisfile_h
#define _thisfile_h
#include "userfile.h"
#endif
*/

/* CustomCoderBuf SDL sort for buffer, this name must not be changed */
newtype CustomCoderBuf /*#NAME 'CustomCoderBuf'*/
  operators
    /* add operators */

/*#ADT (T ...)

#TYPE

COMMENT(add C definition of CustomCoderBuf here)

#HEADING

#BODY

*/
endnewtype CustomCoderBuf;

/* encode and decode operators for predefined sorts 
   add or remove operators for predefined sorts here as they are needed */
newtype CodingOperators
  operators
    encode : in/out CustomCoderBuf, in Boolean -> Integer;
    decode : in CustomCoderBuf, out Boolean -> Integer;
    encode : in/out CustomCoderBuf, in Character -> Integer;
    decode : in CustomCoderBuf, out Character -> Integer;
    encode : in/out CustomCoderBuf, in Charstring -> Integer;
    decode : in CustomCoderBuf, out Charstring -> Integer;
    encode : in/out CustomCoderBuf, in Integer -> Integer;
    decode : in CustomCoderBuf, out Integer -> Integer;
    encode : in/out CustomCoderBuf, in Real -> Integer;
    decode : in CustomCoderBuf, out Real -> Integer;
    encode : in/out CustomCoderBuf, in Pid -> Integer;
    decode : in CustomCoderBuf, out Pid -> Integer;
    encode : in/out CustomCoderBuf, in Duration -> Integer;
    decode : in CustomCoderBuf, out Duration -> Integer;
    encode : in/out CustomCoderBuf, in Time -> Integer;
    decode : in CustomCoderBuf, out Time -> Integer;
    encode : in/out CustomCoderBuf, in Bit -> Integer;
    decode : in CustomCoderBuf, out Bit -> Integer;
    encode : in/out CustomCoderBuf, in Bit_string -> Integer;
    decode : in CustomCoderBuf, out Bit_string -> Integer;
    encode : in/out CustomCoderBuf, in Octet -> Integer;
    decode : in CustomCoderBuf, out Octet -> Integer;
    encode : in/out CustomCoderBuf, in Octet_string -> Integer;
    decode : in CustomCoderBuf, out Octet_string -> Integer;
    encode : in/out CustomCoderBuf, in Object_identifier -> Integer;
    decode : in CustomCoderBuf, out Object_identifier -> Integer;
    encode : in/out CustomCoderBuf, in NULL -> Integer;
    decode : in CustomCoderBuf, out NULL -> Integer;
endnewtype CodingOperators;

endpackage CustomBufferInterface;