(* experimental *)

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

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

CONST [INTEGER] usesTwosComplement = TRUE; (* experimental *)

CONST stdINT = TRUE; (* experimental *)

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

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

(* scalar conversion primitives *)

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

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

(* scalar conversion *)

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

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

(* convert a Sample INT? value to a string in numeric exchange format *)

(* convert a string in numeric exchange format to a Sample INT? value *)

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

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

PROCEDURE [::] toREAL ( n : Sample INT? ) : REAL;

PROCEDURE [ABS] abs ( n : Sample INT? ) : Sample INT?;

PROCEDURE [NEG] neg ( n : Sample INT? ) : BOOLEAN;

PROCEDURE [ODD] odd ( n : Sample INT? ) : BOOLEAN;

PROCEDURE [+] add ( n, m : Sample INT? ) : Sample INT?;

PROCEDURE [-] sub ( n, m : Sample INT? ) : Sample INT?;

PROCEDURE [*] multiply ( n, m : Sample INT? ) : Sample INT?;

PROCEDURE [DIV] divide ( n, m : Sample INT? ) : Sample INT?;

PROCEDURE [MOD] modulo ( n, m : Sample INT? ) : Sample INT?;

PROCEDURE [=] isEqual ( n, m : Sample INT? ) : BOOLEAN;

PROCEDURE [<] isLess ( n, m : Sample INT? ) : BOOLEAN;

PROCEDURE [>] isGreater ( n, m : Sample INT? ) : BOOLEAN;

(* conversion primitives *)

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

PROCEDURE [TO] toNXF ( n : Sample INT?; VAR s : ARRAY OF CHAR ); (* convert Sample INT? value to string in numeric exchange format *)

PROCEDURE [FROM] fromNXF ( VAR n : Sample INT?; s : ARRAY OF CHAR ); (* convert string in numeric exchange format to Sample INT? value *)

PROCEDURE [TO] toSerialized ( value : Sample INT?; VAR serialized : ARRAY OF CHAR );

PROCEDURE [FROM] fromSerialized ( VAR value : Sample INT?; serialized : ARRAY OF CHAR );

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

(* conversion primitives *)

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

                         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 INT?;

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

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

DEFINITION MODULE SampleINT;

(* Sample definition of a signed integer type *) 


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


(* SampleINT type *)

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


(* number type *)

CONST [TYPE] semanticModel = 'Z';


(* range *) 

CONST [TMIN] minValue = -32768; 

CONST [TMAX] maxValue = 32767;


(* assignment *)

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


(* type conversions *)

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

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

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


(* monadic arithmetic operations *) 

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

PROCEDURE [NEG] neg ( a : SampleINT ) : BOOLEAN; 

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


(* dyadic arithmetic operations *) 

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

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

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

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

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


(* relational operations *) 

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

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

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


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

PROCEDURE Read( infile : File; VAR b : SampleINT );
(* Reads the textual representation of a SampleINT 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 : SampleINT );
(* 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 : SampleINT );
(* Writes a formatted textual representation of one or more SampleINT values to output stream outfile. The
   value of parameter items is calculated and inserted automatically. The output format is determined by fmtStr. *)

END SampleINT.