PROCEDURE [::] fromCARD ( n : CARDINAL ) : Sample UINT?;

PROCEDURE [::] fromINT ( n : INTEGER ) : Sample UINT?;

(* experimental *)

PROCEDURE [::] fromCARD ( n : CARDINAL ) : Sample INT?;

PROCEDURE [::] fromINT ( n : INTEGER ) : Sample INT?;

CONST [CARDINAL] usesStdBinaryRepresentation = TRUE; (* experimental *)

CONST [CARDINAL] cardinalRepresentation = TRUE; (* experimental *)

CONST [CARDINAL] cardinalCompatibility = TRUE; (* experimental *)

CONST stdCARD = TRUE; (* experimental *)

(* scalar conversion primitives *)

CONST stdCARD = TRUE; (* standard binary representation *)

CONST usesSBR = TRUE; (* standard binary representation *)

CONST usesTCR = TRUE; (* two's complement representation *)

CONST usesTCR = TRUE; (* two's complement representation *)

(* scalar conversion *)

CONST digitCapacity = 4; (* total digits in native radix *)

PROCEDURE [TO] toSXF ( n : Sample UINT?; VAR s : ARRAY OF CHAR ); (* convert a Sample UINT? value to a string in scalar exchange format *)

PROCEDURE [FROM] fromSXF ( VAR n : Sample UINT?; s : ARRAY OF CHAR ); (* convert a string in scalar exchange format to a Sample UINT? value *)

PROCEDURE [TO] toSerialized ( value : Sample UINT?; VAR serialized : ARRAY OF CHAR ); (* Converts <value> to its serialised scalar representation and passes the result back

   in <serialized>. The output is shortened if the size of the passed in character array
   is insufficient to represent all available digits. *)

PROCEDURE [FROM] fromSerialized ( VAR value : Sample UINT?; serialized : ARRAY OF CHAR ); (* Converts the passed in serialised scalar to a value of type Sample UINT?

   and passes the result back in <value>. *)

PROCEDURE [MOD] modulo ( a, b : Sample UINT? ) : Sample UINT?;

(* conversion primitives *)

PROCEDURE [TO] toASCII ( value : Sample UINT?;

                         VAR isDecimal : BOOLEAN;
                         VAR mantissa  : ARRAY OF CHAR;
                         VAR exponent  : ARRAY OF CHAR );

PROCEDURE [FROM] fromASCII ( isDecimal : BOOLEAN;

                             mantissa  : ARRAY OF CHAR;
                             exponent  : ARRAY OF CHAR ) : Sample UINT?;

    Sample UINT? = OPAQUE RECORD ("Z-Type")

CONST [TYPE] semanticModel = 'Z'; (* obsolete *)

    Sample UINT? = OPAQUE RECORD ['Z']

DEFINITION MODULE SampleUINT;

(* Sample definition of an unsigned integer type *) 


FROM FileIO IMPORT File; (* required for IO *)


(* SampleUINT type *)

TYPE
    SampleUINT = OPAQUE RECORD
        value : ARRAY 2 OF OCTET; (* 16 bits *)
    END; 


(* number type *)

CONST [TYPE] semanticModel = 'Z';


(* range *) 

CONST [TMIN] minValue = 0; 

CONST [TMAX] maxValue = 65535;


(* assignment *)

PROCEDURE [:=] assign ( VAR assignTo : SampleUINT; literal : ARRAY OF CHAR ); 


(* type conversions *)

PROCEDURE [::] toCARD  ( a : SampleUINT ) : CARDINAL; 

PROCEDURE [::] toINT ( a : SampleUINT ) : INTEGER; 

PROCEDURE [::] toREAL ( a : SampleUINT ) : REAL;


(* monadic arithmetic operations *) 

PROCEDURE [ABS] abs ( a : SampleUINT ) : SampleUINT; 

PROCEDURE [ODD] odd ( a : SampleUINT ) : BOOLEAN; 


(* dyadic arithmetic operations *) 

PROCEDURE [+] add ( a, b : SampleUINT ) : SampleUINT; 

PROCEDURE [-] sub ( a, b : SampleUINT ) : SampleUINT; 

PROCEDURE [*] multiply ( a, b : SampleUINT ) : SampleUINT; 

PROCEDURE [DIV] divide ( a, b : SampleUINT ) : SampleUINT; 

PROCEDURE [MOD] divide ( a, b : SampleUINT ) : SampleUINT; 


(* relational operations *) 

PROCEDURE [=] isEqual ( a, b : SampleUINT ) : BOOLEAN; 

PROCEDURE [<] isLess ( a, b : SampleUINT ) : BOOLEAN; 

PROCEDURE [>] isGreater ( a, b : SampleUINT ) : BOOLEAN; 


(* IO operations, bound to READ, WRITE and WRITEF *)

PROCEDURE Read( infile : File; VAR b : SampleUINT );
(* Reads the textual representation of a SampleUINT value in simple format from input stream infile
   - any leading whitespace is skipped
   - any remaining characters that are part of the numeral being read are removed from infile
   - the numeric value of the numeral string read is assigned to the variable passed in for b
   - the file status is set to any of success, outOfRange, wrongFormat, endOfLine, or endOfInput *)

PROCEDURE Write( outfile : File; b : SampleUINT );
(* Writes the textual representation of value b in simple format to output stream outfile *)

PROCEDURE WriteF( outfile : File; fmtStr : ARRAY OF CHAR;
                  items : CARDINAL; VARIADIC v[items] OF b : SampleUINT );
(* Writes a formatted textual representation of one or more SampleUINT values to output stream outfile. The
   value of parameter items is calculated and inserted automatically. The output format is determined by fmtStr. *)

END SampleUINT.