APIs/processes.api

   1 (*
   2 system_object process
   3   dir_list "/proc/[1-9]*"
   4
   5   constructor <<
   6     $pid = atoi ($basename);
   7   >>
   8
   9   property int pid (* implicit *)
  10
  11   property string short_command
  12   <<
  13     // some code to parse $filename/stat
  14   >>
  15   property char state
  16   <<
  17     // some code to parse $filename/stat
  18   >>
  19
  20   writable property foo << ... >>
  21
  22   method err kill (signal sig)
  23   <<
  24     return kill ($pid, sig);
  25   >>
  26   method bool exists ()
  27   <<
  28     int r = kill ($pid, 0);
  29     if (r == 0)
  30       return 1;
  31     if (r == -1 && errno == ESRCH)
  32       return 0;
  33     save_errno ();
  34     return -1;
  35   >>
  36 *)