range definitions for the y-axis

Sometimes it is useful to specify the certain y-axis range. For example
when you are only interested in the values that take longer than a
threshold. Or when you want to exclude some outliers. When you want to
compare plots in a gallery, it is very handy when all plots have the
same data-area.
This commit is contained in:
2018-05-01 10:18:06 +02:00
parent 54ee23459d
commit 6d85c56cb0
10 changed files with 180 additions and 28 deletions

View File

@@ -69,12 +69,10 @@ public class QueryCompletionPdbLangParser extends PdbLangParser {
return new Proposal(v, newQuery.toString(), false, newQuery.toString(),
start + v.length() + 1);
}).map(p -> {
int count = 0;
int count = 0;
try {
count = dataStore.count(p.getProposedQuery());
}
catch(SyntaxException e)
{
} catch (final SyntaxException e) {
// ignore: if the query is not valid, then it does not find any results
}
return new Proposal(p, count > 0);
@@ -139,23 +137,7 @@ public class QueryCompletionPdbLangParser extends PdbLangParser {
return new Proposal(key, String.format(newQueryPattern, key + "=* "), true, newQuery,
newCaretPosition);
})
// .map(p -> {
//
// final String proposedQuery = p.getProposedQuery();
// final int count = count(proposedQuery);
// return new Proposal(p, count > 0);
// })
.forEach(proposals::add);
}
private int count(final String proposedQuery) {
try {
return dataStore.count(proposedQuery);
} catch (final SyntaxException e) {
return -1;
}
}).forEach(proposals::add);
}
private boolean isEOF(final Object offendingSymbol) {