/pliant/fullpliant/computer.pli
 
 1  abstract 
 2    [The computers database definition] 
 3  doc 
 4    [Please notice that the definition of a single computer is in this_computer.pli] 
 5   
 6  submodule "/pliant/storage/database.pli" 
 7  module "/pliant/language/unsafe.pli" 
 8  submodule "this_computer.pli" 
 9   
 10  public 
 11   
 12   
 13  type ComputerVariable 
 14    field Str category instance id value 
 15    field Str type label ; field Int length <- 10 
 16   
 17  type ComputerComponent 
 18    field Str abstract title 
 19    field Set:ComputerVariable variable 
 20    field Set:Str include 
 21   
 22   
 23  type ComputerDatabase 
 24    field Set:Computer computer 
 25    field Set:ComputerComponent component 
 26   
 27   
 28  (gvar Database:ComputerDatabase computer_database) load "security:/computer.pdb" mount "/pliant/computer" 
 29  gvar (Data Set:Computer) computer :> computer_database:data:computer 
 30  computer_database configure "encoding zlib"