home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / oper_sys / emerald / emrldsys.lha / Language / Compiler / Builtins / Vector.m < prev    next >
Encoding:
Text File  |  1990-08-16  |  2.2 KB  |  73 lines
  1. % 
  2. % @(#)Vector.m    1.2  10/5/87
  3. %
  4. export _VectorObject to "Builtins"
  5.  
  6. const _VectorObject == 
  7.   immutable object _VectorObject
  8.     export of
  9.     function of [ElementType : AbstractType] -> [result : NVT]
  10.       where
  11.     NVT ==    immutable type NVT
  12.           operation create [Integer] -> [NV]
  13.           function getSignature -> [Signature]
  14.         end NVT
  15.     NV ==    type NV
  16.           function  getElement [Integer] -> [ElementType]
  17.             % get the element indexed by index, failing if index 
  18.             % out of range.
  19.           operation setElement [Integer, ElementType]
  20.             % set the element, failing if index out of range
  21.           function  upperbound -> [Integer]
  22.             % return the highest valid index, ub.
  23.           function  lowerbound -> [Integer]
  24.             % return the lowest valid index, always 1.
  25.           function  getSlice [Integer, Integer] -> [NV]
  26.             % See implementation comment
  27.         end NV
  28.     ElementType *> type T end T
  29.       end where
  30.       result <- 
  31.     immutable object aNVT
  32.       export create, getSignature
  33.  
  34.       function getSignature -> [result : Signature]
  35.         result <- NV
  36.       end getSignature
  37.  
  38.       operation create[length : Integer] -> [result : NV]
  39.         result <-
  40.           object aNV
  41.         export getElement, setElement, upperbound, lowerbound,
  42.               getSlice
  43.  
  44.         function  getElement [index : Integer] -> [result : ElementType]
  45.           % get the element indexed by index, failing if index 
  46.           % out of range.
  47.           primitive 012 [result] <- [index]
  48.         end getElement
  49.         operation setElement [index : Integer, e : ElementType]
  50.           % set the element, failing if index out of range
  51.           primitive 112 [] <- [index, e]
  52.         end setElement
  53.         function  upperbound -> [r : Integer]
  54.           % return the highest valid index, ub.
  55.           primitive 212 [r] <- []
  56.         end upperbound
  57.         function  lowerbound -> [r : Integer]
  58.           % return the lowest valid index, always 1.
  59.           primitive 312 [r] <- []
  60.         end lowerbound
  61.         function  getSlice [i1 : Integer, length : Integer] -> [r : NV]
  62.           % return a new Vector, a, with lower bound 0, and 
  63.           % upper bound length-1, such that for 0 <= i < length:
  64.           %     self.getElement[i1+i] == a.getElement[i]
  65.           % fail if i1 or i1+length is out of range.
  66.           primitive 412 [r] <- [i1, length]
  67.         end getSlice
  68.           end aNV
  69.       end create
  70.     end aNVT
  71.     end of
  72.   end _VectorObject
  73.