% @(#) $Id: SubArray.lsl,v 1.14 1995/11/06 07:19:07 leavens Exp $

SubArray(SubObjArr, SubValArr): trait
  assumes State
  includes contained_objects(SubObjArr)
  introduces
    allAllocated, allAssigned: SubObjArr, State -> Bool
    eval: SubObjArr, State -> SubValArr
    objectsInRange: SubObjArr, int, int -> Set[TypeTaggedObject]
    maxIndex: SubObjArr -> int

[Index]

HTML generated using lcpp2html.