home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / oper_sys / emerald / emrldsys.lha / Language / Compiler / Builtins / ImmutableVector.m < prev    next >
Encoding:
Text File  |  1990-08-16  |  3.2 KB  |  109 lines
  1. % 
  2. % @(#)ImmutableVector.X    1.2  4/11/88
  3. %
  4. export _immutableVectorObject to "Builtins"
  5.  
  6. const _immutableVectorObject == 
  7.   immutable object _immutableVectorObject
  8.     export of
  9.     function of [ElementType : AbstractType] -> [result : NIMVT]
  10.       where
  11.     NIMVT ==    immutable type NIMVT
  12.           operation create [Integer] -> [NIMV]
  13.           operation new [RIS] -> [NIMV]
  14.           function getSignature -> [Signature]
  15.         end NIMVT
  16.     NIMV ==    immutable type NIMV
  17.           operation hiddenSetElement[Integer, ElementType]
  18.           function  getElement [Integer] -> [ElementType]
  19.             % get the element indexed by index, failing if index 
  20.             % 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 0.
  25.           function  getSlice [Integer, Integer] -> [NIMV]
  26.             % See implementation comment
  27.           operation catenate [a : NIMV] -> [r : NIMV]
  28.             % return a new vector the result of catenating the 
  29.             % elements of a to self
  30.         end NIMV
  31.     RIS ==  type RIS
  32.           function  getElement [Integer] -> [ElementType]
  33.           function  upperbound -> [Integer]
  34.           function  lowerbound -> [Integer]
  35.         end RIS
  36.     ElementType *> type T end T
  37.       end where
  38.       result <- 
  39.     immutable object aNIMVT
  40.       export create, new, getSignature
  41.  
  42.       function getSignature -> [result : Signature]
  43.         result <- NIMV
  44.       end getSignature
  45.  
  46.       operation create[length : Integer] -> [result : NIMV]
  47.         result <-
  48.           immutable object aNIMV
  49.         export getElement, hiddenSetElement, upperbound, lowerbound,
  50.               getSlice, catenate
  51.  
  52.         initially
  53.           var x : Integer <- length
  54.         end initially
  55.  
  56.         function  getElement [index : Integer] -> [result : ElementType]
  57.           % get the element indexed by index, failing if index 
  58.           % out of range.
  59.           primitive 012 [result] <- [index]
  60.         end getElement
  61.         operation hiddenSetElement [index : Integer, e : ElementType]
  62.           % set the element, failing if index out of range
  63.           primitive 112 [] <- [index, e]
  64.         end hiddenSetElement
  65.         function  upperbound -> [r : Integer]
  66.           % return the highest valid index, ub.
  67.           primitive 212 [r] <- []
  68.         end upperbound
  69.         function  lowerbound -> [r : Integer]
  70.           % return the lowest valid index, always 1.
  71.           primitive 312 [r] <- []
  72.         end lowerbound
  73.         function  getSlice [i1 : Integer, length : Integer] -> [r : NIMV]
  74.           % return a new Vector, a, with lower bound 0, and 
  75.           % upper bound length-1, such that for 0 <= i < length:
  76.           %     self.getElement[i1+i] == a.getElement[i]
  77.           % fail if i1 or i1+length is out of range.
  78.           primitive 412 [r] <- [i1, length]
  79.         end getSlice
  80.         operation catenate [a : NIMV] -> [r : NIMV]
  81.           % return a new vector the result of catenating the 
  82.           % elements of a to self
  83.           primitive 612 [r] <- [a]
  84.         end catenate
  85.           end aNIMV
  86.       end create
  87.       operation new[value : RIS] -> [r : NIMV]
  88.         var i    : Integer
  89.         var j     : Integer
  90.         var limit    : Integer
  91.         var e    : ElementType
  92.  
  93.         i <- value.lowerbound
  94.         limit <- value.upperbound
  95.         r <- self.create[limit - i + 1]
  96.         
  97.         j <- 0
  98.         loop
  99.           exit when i > limit
  100.           e <- value(i)
  101.           r.hiddenSetElement[j, e]
  102.           i <- i + 1
  103.           j <- j + 1
  104.         end loop
  105.       end new
  106.     end aNIMVT
  107.     end of
  108.   end _immutableVectorObject
  109.