!
! DictUtils V0.0a
!
! %include '...' this file in your programs BEFORE the %begin
!
! ######################################################################
! Store management for optimised file IO
%own %integer master store tag, old store tag

%external %integer %fn %spec  get new tag
%external %routine %spec  return tag(%integer tag)
%external %routine %spec  reset heap end
%external %integer %fn %spec  set store tag(%integer tag)
%external %routine %spec  xdeallocate group(%integer tag)
%external %integer %fn %spec Allocate(%integername addr, %integer size)
%external %routine %spec  FREE SPACE %alias "xdeallocate" (%integer ad)

! ######################################################################

%const %string(255) master dict dir = "adfs::0.$.words.longmans"

! External routines lacking in IMP: should be removed later...

%constant %integer  true = 0, false = 1

%external %integer %fn %spec  Proc ID (%routine X)

%external %routine %spec Stop(%integer res)

%string (63) %fn str(%byte %array %name dict, %integer word length, idx)
%string(63) s
  s = ""
  s = s.dict(idx) %for idx = idx, 1, idx+word length-1
  %result = s
%end

%string (255) %fn  sub string (%string (255) s, %integer first, last)
   %integer i
   %string (255) sub
   %if last > LENGTH(s) %then %signal 15,first,last
   sub = ""
   %for i = first, 1, last %cycle
      sub = sub. char no (s, i)
   %repeat
   %result = sub
%end

%integerfn CPU Time {Courtesy of Mark Taunton}
%record %format tfm(%integer low, %byte high)
%record (tfm) T
  *MovQB _ #1, 1
  *Addr  _ T, 2
  *Svc   _ 7
  %result = T_low
%end

! ######################################################################
! External routine specs for command line decoding

%external %integer verbosity
%external %string(255) in param1, in param2, output param, program name

%external %integer %fn %spec Verbosity Required(%integer Handle)

%external %integer %fn %spec ArgumentInit(%c
  %integer %name Handle,
  %string(255) keyString,
  %integer Input wanted, Output wanted,
  %string(255) Identification,
  %integer Help proc)

%external %integer %fn %spec XGetPresence(%c
  %string(255) key,
  %integer Handle)

%external %integer %fn %spec XGetStateArg(%c
  %string(255) key,
  %integer Handle)

%external %integer %fn %spec XGetCardinalArg(%c
  %string(255) key,
  %integer Index,
  %integer Handle)

%external %integer %fn %spec XGetStringArg(%c
  %string(*) %name argument,
  %string(255) Key,
  %integer Index,
           handle)

%external %integer %fn %spec XGetNumberOfValues(%c
  %string(255) Key,
  %integer handle)

%external %integer %fn %spec XName(%string(255) %name prog name)

! ######################################################################
! External routine specs for file I/O           (blocked)
! and dictionary management

%external %integerfn %spec Get Global String(%c
  %integer address, maxlength, %integername length,
  %string(255) Name)  
  
%external %integerfn %spec  Load File (%string (255) file name,
                                     %integer      buffer size,
                                     %integer      address)
%external %routine %spec XLoad File (%string (255) file name,
                                     %integer      buffer size,
                                     %integer      address)
%external %integer %fn %spec Save File (%integer straddr,strlen,
                                     %integer     buffer size,
                                                  address)
%constant %integer os length index = 2
%record %format osfile array fm (%integer %array element (0:3))
%record %format Time stamp fm (%integer low, high)
%external %integer %fn %spec Get file information(%c
  %record (osfile array fm) %name osfile array, 
  %record (time stamp fm) %name time stamp,
  %string (255) file name)

! ######################################################################
! External routine specs for console/printer IO (sequential)
%own %integer ttchan
%external %routine %spec XSWriteByte(%integer s,ch)
%external %integer %fn %spec XFindOutput(%string(255)s)

! ######################################################################
! Command-line decoding interface

%routine %spec help

%string(255) %fn default dir prefix
  %result = master dict dir
%end

%routine Decode standard params
%integer result, handle, string length, j,
  in count, out count

  tt chan = XFind Output("RAWVDU:")

  result = ArgumentInit(%c
    handle,
    "first/2 second=TO/1",
    0 , 0,
    ident,
    Proc ID(Help))
  %if result < 0 %then Stop(result)

  verbosity = Verbosity Required(handle)
  in count = XGetNumberOfvalues("first", handle)
  out count = XGetNumberOfvalues("second", handle)

  %if in count >= 1 %start
    string length = XGetStringArg(in param1, "first", 1, handle) 
    %for j = string length, -1, 1 %cycle
      charno(in param1, j) = charno(in param1, j-1)
    %repeat
    length(in param1) = string length
  %finish %else %start
    in param1 = default dir prefix
  %finish

  %if in count >=2 %start
    string length = XGetStringArg(in param2, "first", 2, handle)
    %for j = string length, -1, 1 %cycle
      charno(in param2, j) = charno(in param2, j-1)
    %repeat
    length(in param2) = string length
  %finish %else in param2 = default dir prefix

  %if out count >= 1 %start  
    string length = XGetStringArg(output param, "second", 1, handle)
    %for j = string length, -1, 1 %cycle
      charno(output param, j) = charno(output param, j-1)
    %repeat
    length(output param) = string length
  %finish %else output param = default dir prefix

  string length = XName(program name)
  %for j = string length, -1, 1 %cycle
    charno(program name, j) = charno(program name, j-1)
  %repeat
  length(program name) = string length

  reset heap end {**********************}

  master store tag = get new tag
  old store tag = set store tag(master store tag)

%end

%routine terminate
  xdeallocate group(master store tag)
  return tag(master store tag)
  master store tag = set store tag(old store tag)
%end

! ######################################################################
! File loading interface

%predicate Exists(%string (255) File, %integer %name len)
  %record (osfile array fm) osfile array
  %record (time stamp fm) time stamp
  osfile array_element(os length index) = 0
  %integer success = Get file information(osfile array,
                                          time stamp,
                                          File)
  %false %if success # 1
  len = osfile array_element(os length index)
  %true
%end

%routine loadup(%string (255) file name,
                          %integer address, actual length, max length)
  %external %routine %spec  X Load File (%string (255) file name,
                                         %integer      buffer size,
                                         %integer      address)
  %if max length < actual length %then %start
    print string("File ".file name." of ".itos(actual length,0). %c
                 " bytes is too big for buffer of ". %c
                 itos(max length,0)." bytes".nl)
    %stop
  %finish
  X Load file(file name, max length,                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               еееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееееее