<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_5a03r6if4hj0gm8enim65t46td, 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 />
abstract sclass DynPhilosophyBotTextArea extends DynTextArea {
  S output, logicRules, factsOut;
  transient PhilosophyBot1 bot;
  transient ReliableSingleThread rstRunProgram = dm_rst(this, r runProgram);
  transient JLabel lblStatus;
  transient ReliableSingleThread rstLogicRules = dm_rst(this, r showLogicRules);
  transient ReliableSingleThread rstFactsOut = dm_rst(this, r showFactsDeduced);
  
  visual jvsplit(
    jCenteredSection("Program", super),
    centerAndSouth(
      jhsplit(
        jCenteredSection("Output", dm_textArea_scrollDown_readOnly output()),
        jCenteredLiveValueSection(dm_calculatedLiveValue(S,
          () -> "Facts deduced (" + l(factsOut)) + ")", dm_textArea_scrollDown_readOnly factsOut())
      ),
      withRightMargin(lblStatus = jRightAlignedLabel())));
  
  start {
    grabInterval = 1.0;
    dm_watchFieldAndNow text(rstRunProgram);
  }
  
  void runProgram {
    temp tempMiniLoadingAnim();
    time {
      setField(output := hijackPrint(r {
        pcall {
          bot = new PhilosophyBot1(text);
          bot.printFactsAfterThinking = false;
          bot.onLogicRuleAdded.add(rule -> rstLogicRules.run());
          bot.onFactAdded.add(f -> rstFactsOut.run());
          bot.standardImports();
          philosophyBot1_addEnableableExtension(bot, "autoJava",
             _bot -> philosophyBot_autoJava(_bot));
          bot.run();
          bot.checkExpectations();
        }
      }));
    }
    main setText(lblStatus, lastTiming_formatted());
  }
  
  void showLogicRules {
    setField(logicRules := joinWithEmptyLines(allToString(cloneList(bot.logicRules))));
  }
  
  void showFactsDeduced {
    setField(factsOut := lines(bot.factsDeduced()));
  }
}