Warning: session_start(): open(/var/lib/php/sessions/sess_c2d4v158h6unfdenfsdanocdqo, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
!7
static O host;
static SimpleLiveValue lv = new(S);
static S last;
static ReliableSingleThread rst = new(f parse);
static JComponent visualize() {
ret centerLabel(jLiveValueLabel(lv));
}
svoid update {
S s = cast callOpt(creator(), 'getInterestingString);
if (neq(s, last)) {
last = s;
rst.trigger();
}
}
svoid parse {
S text;
lv.set("Parsing...");
try {
javaParseCompilationUnit(last);
text = "Text parses as Java compilation unit";
} catch e {
text = getInnerMessage(e);
}
lv.set(text);
}