<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_4mqlkhd3fdr0vhc680he8dph1n, 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

set flag DynModule.

sclass Entry {
  S function;
  S tokenized;
}

cmodule InputTokenizer > DynBigInputAndSections {
  transient LS functions = ll(
    f javaTok,
    f javaTokWithBrackets,
    f javaTokNPunct,
    f javaTokWithAngleBrackets);
  
  void makeSections_impl() {
    S text = this.text;
    JTextPane tp = fontSizePlus(5, setFont(typeWriterFont(), jTextPane()));
    bool first = true;
    LPair<S, LS> toks = map_pcall(functions, fn -> pair(fn, (LS) callAndMake(fn, text)));
    
    // find out max width
    int maxWidth = 0;
    for (LS tok : pairsB(toks)) {
      ai_tokenizationToTextPane(jTextPane(), tok);
      maxWidth = max(maxWidth, ai_tokenizationToTextPane_charsWritten!);
    }
    
    for (Pair<S, LS> fAndTok : toks) pcall {
      if (!first) appendToTextPane(tp, "\n"); else first = false;
      ai_tokenizationToTextPane(tp, fAndTok.b);
      appendToTextPane(tp, spaces(maxWidth-ai_tokenizationToTextPane_charsWritten!+1) + "[" + fAndTok.a + "]");
    }
    
    addSection("Tokenizations", tp);
  }
}