Warning: session_start(): open(/var/lib/php/sessions/sess_jaajtiefbeb781bjk61mm301lu, 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
!752
// set these in client
static S dbName = "Boolean Flag DB.";
static L interpretations = splitAtSpace("ShowWindow HideWindow IsShowing Praise Hello NotForMe Unclear");
static RemoteDB db;
static L lines;
static JTable table;
p-substance {
fullRefresh();
L interpretButtons = map(func(final S cname) {
jbutton(cname, r { interpret(cname) })
}, interpretations);
interpretButtons.add(0, jbutton("Delete", "delete"));
tableDependButtons(table, interpretButtons);
addToWindow(table, jMinHeight(50, new JScrollPane(jCenteredLine(
concatLists(
ll((Component)
jbutton("Refresh", "fullRefresh")),
interpretButtons)))));
}
svoid fullRefresh {
if (db != null) db.close();
db = new RemoteDB(dbName);
//db.db.loud = true;
refresh();
}
svoid refresh {
lines = db.xlist("Line");
table = showTable(table, sortedByFieldIgnoreCase("Input", map(func(PassRef line) {
PassRef intp = db.xgetref(line, "interpretation");
PassRef guess = db.xgetref(line, "guess");
PassRef guessedAs = guess == null ? null : db.xgetref(guess, "guessedAs");
ret litorderedmap("Input", db.xS(line, "text"),
"Interpretation", intp == null ? "uninterpreted" : db.xclass(intp),
"Guess", guessedAs == null ? "" : db.xS(guessedAs, "text"));
}, lines)));
}
static void interpret(S cname) {
L line = getSelectedLine(table);
if (line == null) ret;
S text = (S) line.get(0);
print("Interpreting " + quote(text) + " as " + cname);
PassRef ref = (PassRef) rpc(db.db, "xfindLine", text);
PassRef intp = db.unary(cname);
db.xset(ref, "interpretation", intp);
print("Done!");
refresh();
}
svoid delete {
L line = getSelectedLine(table);
if (line == null) ret;
S text = (S) line.get(0);
print("Deleting line " + quote(text));
PassRef ref = (PassRef) rpc(db.db, "xfindLine", text);
db.xdelete(ref);
print("Done!");
refresh();
}