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