@Override
public void execute(final GUI gui) {
final boolean rt = gui.gprop.invert(GUIProp.FILTERRT);
gui.stop();
// refresh buttons in input bar
gui.refreshControls();
// refresh editor buttons
gui.editor.refreshMark();
final Context ctx = gui.context;
final boolean root = ctx.root();
final Data data = ctx.data();
if (!rt) {
if (!root) {
gui.notify.context(new Nodes(0, data), true, null);
gui.notify.mark(ctx.current(), null);
}
} else {
if (root) {
gui.notify.mark(new Nodes(data), null);
} else {
final Nodes mark = ctx.marked;
ctx.marked = new Nodes(data);
gui.notify.context(mark, true, null);
}
}
}
@Override
public void execute(final GUI gui) {
// skip operation for root context
final Context ctx = gui.context;
if (ctx.root()) return;
// jump to database root
ctx.update();
gui.notify.context(ctx.current(), false, null);
}
@Override
public void execute(final GUI gui) {
// skip operation for root context
final Context ctx = gui.context;
if (ctx.root()) return;
// check if all nodes are document nodes
boolean doc = true;
final Data data = ctx.data();
for (final int pre : ctx.current().pres) doc &= data.kind(pre) == Data.DOC;
if (doc) {
// if yes, jump to database root
ctx.update();
gui.notify.context(ctx.current(), false, null);
} else {
// otherwise, jump to parent nodes
gui.execute(new Cs(".."));
}
}
/**
* Creates an XQuery representation for the specified query.
*
* @param query query
* @param ctx database context
* @param root start from root node
* @return query
*/
public static String find(final String query, final Context ctx, final boolean root) {
// treat input as XQuery
if (query.startsWith("/")) return query;
final boolean r = root || ctx.root();
if (query.isEmpty()) return r ? "/" : ".";
// parse user input
final String qu = query.replaceAll(" \\+", " ");
final String[] terms = split(qu);
String pre = "";
String preds = "";
final String tag = "*";
for (String term : terms) {
if (term.startsWith("@=")) {
preds += "[@* = \"" + term.substring(2) + "\"]";
} else if (term.startsWith("=")) {
preds += "[text() = \"" + term.substring(1) + "\"]";
} else if (term.startsWith("~")) {
preds += "[text() contains text \"" + term.substring(1) + "\" using fuzzy]";
} else if (term.startsWith("@")) {
if (term.length() == 1) continue;
preds += "[@* contains text \"" + term.substring(1) + "\"]";
term = term.substring(1);
// add valid name tests
if (XMLToken.isName(token(term))) {
pre += (r ? "" : ".") + "//@" + term + " | ";
}
} else {
preds += "[text() contains text \"" + term + "\"]";
// add valid name tests
if (XMLToken.isName(token(term))) {
pre += (r ? "/" : "") + Axis.DESC + "::*:" + term + " | ";
}
}
}
if (pre.isEmpty() && preds.isEmpty()) return root ? "/" : ".";
// create final string
final TokenBuilder tb = new TokenBuilder();
tb.add(pre + (r ? "/" : "") + Axis.DESCORSELF + "::" + tag + preds);
return tb.toString();
}
