-- Test GENERIC_INTEGER_ARRAYS 
--
-- The testing is performed by comparison to a model. The model,
-- a primitive implementation that can be checked against the standard
-- by inspection, is used to generate the test results. Simple
-- compare procedures are used for scalars, vectors and matrices
-- to determine exact match of array elements and attributes.
-- The function name REF is used for the model reference function.
-- The required formal parameter names are checked at compile time.

generic

  type INTEGER_TYPE is range <>;
  type INTEGER_VECTOR is array(INTEGER range <>) of INTEGER_TYPE;
  type INTEGER_MATRIX is array(INTEGER range <>,INTEGER range <>)
                                                        of INTEGER_TYPE;
  with function "+" (RIGHT : INTEGER_VECTOR) return INTEGER_VECTOR is <>;
  with function "-" (RIGHT : INTEGER_VECTOR) return INTEGER_VECTOR is <>;
  with function "abs" (RIGHT : INTEGER_VECTOR) return INTEGER_VECTOR is <>; 
  with function "+" (LEFT, RIGHT : INTEGER_VECTOR) return INTEGER_VECTOR is <>;
  with function "-" (LEFT, RIGHT : INTEGER_VECTOR) return INTEGER_VECTOR is <>;
  with function "*" (LEFT, RIGHT : INTEGER_VECTOR) return INTEGER_VECTOR is <>;
  with function "/" (LEFT, RIGHT : INTEGER_VECTOR) return INTEGER_VECTOR is <>;
  with function "**" (LEFT  : INTEGER_VECTOR; 
                 RIGHT : INTEGER) return INTEGER_VECTOR is <>;
  with function "*" (LEFT, RIGHT : INTEGER_VECTOR) return INTEGER_TYPE is <>; 
  with function "*" (LEFT  : INTEGER_TYPE;
                RIGHT : INTEGER_VECTOR) return INTEGER_VECTOR is <>;
  with function "*" (LEFT  : INTEGER_VECTOR;
                RIGHT : INTEGER_TYPE) return INTEGER_VECTOR is <>;
  with function "/" (LEFT  : INTEGER_VECTOR;
                RIGHT : INTEGER_TYPE) return INTEGER_VECTOR is <>;
  with function UNIT_VECTOR (INDEX : INTEGER;
                        ORDER : NATURAL;
                        FIRST : INTEGER := 1) return INTEGER_VECTOR is <>;  
  with function "+" (RIGHT : INTEGER_MATRIX) return INTEGER_MATRIX is <>;
  with function "-" (RIGHT : INTEGER_MATRIX) return INTEGER_MATRIX is <>;
  with function "abs" (RIGHT : INTEGER_MATRIX) return INTEGER_MATRIX is <>;
  with function TRANSPOSE (X : INTEGER_MATRIX) return INTEGER_MATRIX is <>;
  with function "+" (LEFT, RIGHT : INTEGER_MATRIX) return INTEGER_MATRIX is <>;
  with function "-" (LEFT, RIGHT : INTEGER_MATRIX) return INTEGER_MATRIX is <>;
  with function "*" (LEFT, RIGHT : INTEGER_MATRIX) return INTEGER_MATRIX is <>;
  with function "*" (LEFT, RIGHT : INTEGER_VECTOR) return INTEGER_MATRIX is <>;
  with function "*" (LEFT  : INTEGER_VECTOR;
                RIGHT : INTEGER_MATRIX) return INTEGER_VECTOR is <>;
  with function "*" (LEFT  : INTEGER_MATRIX;
                RIGHT : INTEGER_VECTOR) return INTEGER_VECTOR is <>;
  with function "*" (LEFT  : INTEGER_TYPE;
                RIGHT : INTEGER_MATRIX) return INTEGER_MATRIX is <>;
  with function "*" (LEFT  : INTEGER_MATRIX;
                RIGHT : INTEGER_TYPE) return INTEGER_MATRIX is <>;
  with function "/" (LEFT  : INTEGER_MATRIX;
                RIGHT : INTEGER_TYPE) return INTEGER_MATRIX is <>;
  with function IDENTITY_MATRIX (ORDER : NATURAL;
                                 FIRST_1, FIRST_2 : INTEGER := 1)
                                 return INTEGER_MATRIX is <>;


procedure TEST_GENERIC_INTEGER_ARRAYS; -- end of specification