CONST [{}] allowValueConstructors = TRUE; (* this seems to be redundant *)

PROCEDURE dot ( v1, v2 : Sample Vector? ) : Component Type?;

PROCEDURE scalar ( a : Component Type?; v : Sample Vector? ) : Sample Vector?;

TYPE Component Type? IS REAL; (* arbitrary numeric type *)

(* component type *)

TYPE Component Type? IS REAL;

        values   : ARRAY capacity OF Component Type?;

PROCEDURE Vector ( items : CARDINAL; VARIADIC v[items] OF c : Component Type? ) : Sample Vector?;

PROCEDURE [!] setComponent ( n : CARDINAL; VAR v : Sample Vector?; c : Component Type? ); (* Overwrites the value of the n-th component of vector v with c *)

(* Returns the value of the n-th component of vector v *)

(* Overwrites the value of the n-th component of vector v with r *)

    Sample Vector? = OPAQUE RECORD ("V-Type")

(* cardinality *)

PROCEDURE [HIGH] highestComponentIndex ( v : Sample Vector? ) : CARDINAL;

(* constructor *)

(* accessor *)

PROCEDURE [.] component ( n : CARDINAL; v : Sample Vector? ) : REAL; (* Returns the n-th value of vector v *)

(* mutator *)

PROCEDURE [!] setComponent ( n : CARDINAL; VAR v : Sample Vector?; r : REAL ); (* Overwrites the n-th value of vector v with r *)

PROCEDURE Vector ( items : CARDINAL; VARIADIC v[items] OF r : REAL ) : Sample Vector?;

CONST [{}] allowValueConstructors = TRUE;

    Sample Vector? = OPAQUE RECORD ("C-Type")

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

(* Sample definition of a vector type *)

DEFINITION MODULE SampleVector;

(* Sample definition of a vector type *) 

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


(* SampleVector type *)

TYPE
    SampleVector = OPAQUE RECORD
        capacity : CARDINAL;
        values   : ARRAY capacity OF REAL;
    END;


(* number type *)

CONST [TYPE] semanticModel = 'C';


(* constructor and accessors *)

PROCEDURE Vector ( items : CARDINAL; VARIADIC v[items] r : REAL ) : SampleVector;
(* constructs a vector from a value list *)

PROCEDURE Elem ( n : CARDINAL; v : SampleVector ) : REAL;
(* returns the n-th value of a vector *)


(* literal assignment *)

CONST [{}] allowValueConstructors = TRUE; (* either this or ... *)

CONST [:=] allowValueConstructors = TRUE; (* but this needs more checks *)


(* monadic arithmetic operations *) 

PROCEDURE [ABS] abs ( v : SampleVector ) : SampleVector; 

PROCEDURE [NEG] neg ( v : SampleVector ) : SampleVector; 


(* dyadic arithmetic operations *) 

PROCEDURE [+] add ( v1, v2 : SampleVector ) : SampleVector; 

PROCEDURE [-] sub ( v1, v2 : SampleVector ) : SampleVector; 

PROCEDURE [*] multiply ( v1, v2 : SampleVector ) : SampleVector; 

PROCEDURE [/] divide ( v1, v2 : SampleVector ) : SampleVector; 


(* relational operations *) 

PROCEDURE [=] isEqual ( v1, v2 : SampleVector ) : BOOLEAN; 


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

PROCEDURE Read( infile : File; VAR v : SampleVector );
(* Reads the textual representation of a SampleVector 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 v
   - the file status is set to any of success, outOfRange, wrongFormat, endOfLine, or endOfInput *)

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

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

END SampleVector.