/**
* Parses and sets a single database option.
*
* @param session REST session
* @param param current parameter
* @param force force execution
* @return success flag, indicates if value was found
* @throws BaseXException database exception
*/
static boolean parseOption(
final RESTSession session, final Entry<String, String[]> param, final boolean force)
throws BaseXException {
final String key = param.getKey().toUpperCase(Locale.ENGLISH);
final MainOptions options = session.context.options;
final boolean found = options.option(key) != null;
if (found || force) options.assign(key, param.getValue()[0]);
return found;
}
@Override
public void startUpdate(final MainOptions opts) throws IOException {
if (!table.lock(true)) throw new BaseXException(Text.DB_PINNED_X, meta.name);
if (opts.get(MainOptions.AUTOFLUSH)) {
final IOFile uf = meta.updateFile();
if (uf.exists()) throw new BaseXException(Text.DB_UPDATED_X, meta.name);
if (!uf.touch()) throw Util.notExpected("%: could not create lock file.", meta.name);
}
}
/**
* Parses a string as XML and adds the resulting nodes to the specified parent.
*
* @param value string to parse
* @param elem element
*/
public static void add(final byte[] value, final FElem elem) {
try {
final Parser parser = new XMLParser(new IOContent(value), MainOptions.get(), true);
for (final ANode node : new DBNode(parser).children()) elem.add(node.copy());
} catch (final IOException ex) {
// fallback: add string representation
Util.debug(ex);
elem.add(value);
}
}
@Override
public synchronized byte[] info(final MainOptions options) {
final TokenBuilder tb = new TokenBuilder();
final long l = inX.length() + inY.length() + inZ.length();
tb.add(LI_NAMES).add(data.meta.ftinclude).add(NL);
tb.add(LI_SIZE + Performance.format(l, true) + NL);
final IndexStats stats = new IndexStats(options.get(MainOptions.MAXSTAT));
addOccs(stats);
stats.print(tb);
return tb.finish();
}
/** Saves the displayed text. */
private void save() {
final BaseXFileChooser fc =
new BaseXFileChooser(SAVE_AS, gui.gopts.get(GUIOptions.WORKPATH), gui).suffix(IO.XMLSUFFIX);
final IO file = fc.select(Mode.FSAVE);
if (file == null) return;
gui.gopts.set(GUIOptions.WORKPATH, file.path());
gui.cursor(CURSORWAIT, true);
final MainOptions opts = gui.context.options;
final int mh = opts.get(MainOptions.MAXHITS);
opts.set(MainOptions.MAXHITS, -1);
opts.set(MainOptions.CACHEQUERY, false);
try (final PrintOutput out = new PrintOutput(file.toString())) {
if (cmd != null) {
cmd.execute(gui.context, out);
} else if (ns != null) {
ns.serialize(Serializer.get(out));
} else {
final byte[] txt = text.getText();
for (final byte t : txt) if (t < 0 || t > ' ' || ws(t)) out.write(t);
}
} catch (final IOException ex) {
BaseXDialog.error(gui, Util.info(FILE_NOT_SAVED_X, file));
} finally {
opts.set(MainOptions.MAXHITS, mh);
opts.set(MainOptions.CACHEQUERY, true);
gui.cursor(CURSORARROW, true);
}
}
@Override
public byte[] info(final MainOptions options) {
final TokenBuilder tb = new TokenBuilder();
tb.add(LI_STRUCTURE).add(HASH).add(NL);
tb.add(LI_NAMES).add(data.meta.names(type)).add(NL);
final IndexStats stats = new IndexStats(options.get(MainOptions.MAXSTAT));
final int s = values.size();
for (int p = 1; p <= s; p++) {
final int oc = lenList.get(p);
if (oc > 0 && stats.adding(oc)) stats.add(values.key(p), oc);
}
stats.print(tb);
return tb.finish();
}
@Override
public synchronized void finishUpdate(final MainOptions opts) {
// remove updating file
final boolean auto = opts.get(MainOptions.AUTOFLUSH);
if (auto) {
final IOFile uf = meta.updateFile();
if (!uf.exists()) throw Util.notExpected("%: lock file does not exist.", meta.name);
if (!uf.delete()) throw Util.notExpected("%: could not delete lock file.", meta.name);
}
// db:optimize(..., true) will close the database before this function is called
if (!closed) {
flush(auto);
if (!table.lock(false)) throw Util.notExpected("Database '%': could not unlock.", meta.name);
}
}
/**
* Default constructor.
*
* @param main reference to the main window
*/
public DialogExport(final GUI main) {
super(main, EXPORT);
// create checkboxes
final BaseXBack p = new BaseXBack(new TableLayout(4, 1, 0, 0));
p.add(new BaseXLabel(OUTPUT_DIR + COL, true, true).border(0, 0, 6, 0));
// output label
BaseXBack pp = new BaseXBack(new TableLayout(1, 2, 8, 0));
path = new BaseXTextField(main.gopts.get(GUIOptions.INPUTPATH), this);
pp.add(path.history(GUIOptions.INPUTS, this));
final BaseXButton browse = new BaseXButton(BROWSE_D, this);
browse.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
choose();
}
});
pp.add(browse);
p.add(pp);
// provide components for method and encoding
final MainOptions opts = gui.context.options;
final SerializerOptions sopts = opts.get(MainOptions.EXPORTER);
// method (ignore last entry)
final StringList sl = new StringList();
for (final SerialMethod sm : SerialMethod.values()) sl.add(sm.name());
sl.remove(sl.size() - 1);
method = new BaseXCombo(this, sl.finish());
final SerialMethod sm = sopts.get(SerializerOptions.METHOD);
method.setSelectedItem((sm == null ? SerialMethod.BASEX : sm).name());
mparams = new BaseXTextField(this);
mparams.setColumns(24);
final BaseXBack mth = new BaseXBack(new TableLayout(1, 2, 8, 0));
mth.add(method);
mth.add(mparams);
encoding = new BaseXCombo(this, ENCODINGS);
String enc = sopts.get(SerializerOptions.ENCODING);
boolean f = false;
for (final String s : ENCODINGS) f |= s.equals(enc);
if (!f) {
enc = enc.toUpperCase(Locale.ENGLISH);
for (final String s : ENCODINGS) f |= s.equals(enc);
}
encoding.setSelectedItem(f ? enc : sopts.get(SerializerOptions.ENCODING));
params = new BaseXTextField(sopts.toString(), this);
params.setToolTipText(tooltip(SerializerMode.DEFAULT.get()));
pp = new BaseXBack(new TableLayout(3, 2, 16, 6)).border(8, 0, 8, 0);
pp.add(new BaseXLabel(METHOD + COL, true, true));
pp.add(mth);
pp.add(new BaseXLabel(ENCODING + COL, true, true));
pp.add(encoding);
pp.add(new BaseXLabel(PARAMETERS + COL, true, true));
pp.add(params);
p.add(pp);
info = new BaseXLabel(" ").border(8, 0, 0, 0);
p.add(info);
// indentation
set(p, BorderLayout.CENTER);
// buttons
pp = new BaseXBack(new BorderLayout());
buttons = okCancel();
pp.add(buttons, BorderLayout.EAST);
set(pp, BorderLayout.SOUTH);
action(method);
finish(null);
}
/**
* Constructor.
*
* @param source document source
* @param opts database options
* @throws IOException I/O exception
*/
public HtmlParser(final IO source, final MainOptions opts) throws IOException {
this(source, opts, opts.get(MainOptions.HTMLPARSER));
}
