<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_0oci7ra9mql7dqhd60jac1l8mt, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

concept TitleSeen {
  S title;
}

cmodule OperationGroupSpike > DynPrintLog {
  L<Theory> theories = syncList();
  
  // a theory here is a list of things
  
  class Theory {
    IF1<S, Bool> checkExample;
    Set<S> examples;
  }
  
  class PrefixTheory > Theory {
    S prefix;
    
    { checkExample = s -> isPrefixOf(prefix, s); }
  }
  
  class SuffixTheory > Theory {
    S suffix;
    
    { checkExample = s -> isSuffixOf(suffix, s); }
  }
  
  start-thread {
    dbIndexing(TitleSeen, 'title);
    doEvery(3.0, rEnter gather);
  }
  
  void gather {
    L<virtual wmctrl_Entry> l = dm_windows();
    LS titles = collect windowTitle(l);
    oMap readTitle(this, titles);
  }
  
  void readTitle(S title) {
    if (uniq_trueIfNew(TitleSeen, +title)) print("New title: " + title);
    theories.add(titles);
  }
}