<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_5ir15qnq8gghh0d1n4opol2o8d, 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 />
// filter: S -> bool
static void printExplainTree2_filterClasses(Explain e, O filter) {
  printExplainTree2_filterClasses(0, e, filter);
}

static void printExplainTree2_filterClasses(int indent, Explain e, O filter) {
  bool printNulls = false;
  
  if (e == null) {
    // this would print "null" for every <identifier> etc
    if (printNulls)
      print(indent(indent) + "null");
  } else {
    new L<S> classNames;
    while true {
      addIfMatchesPredicate(classNames, e.className(), filter);
      if (!e.singleEqualChild()) break;
      e = e.sub(0);
    }
    print(indent(indent) + join(", ", classNames) + " | " + e.string());
    for (Explain sub : e.subs)
      printExplainTree2_filterClasses(indent+2, sub, filter);
  }
}