GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

GWT: better heuristics for when to ask the server for completions.

Browse Source
This commit is contained in:
bjorn
2008-10-28 12:59:00 +00:00
parent 1a34a24df0
commit 8e43cfb8a8
1 changed files with 16 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
src/server/gwt/src/se/chalmers/cs/gf/gwt/client/CompletionOracle.java
View File

@@ -8,7 +8,7 @@ import com.google.gwt.user.client.ui.SuggestOracle;
public class CompletionOracle extends SuggestOracle {
private static final int LIMIT_SCALE_FACTOR = 10;
private static final int LIMIT_SCALE_FACTOR = 4;
private PGF pgf;
@@ -81,14 +81,24 @@ public class CompletionOracle extends SuggestOracle {
/** Filters old suggestions and checks if we still have enough suggestions. */
private List<CompletionSuggestion> filterOldSuggestions(SuggestOracle.Request request) {
List<CompletionSuggestion> suggestions = new ArrayList<CompletionSuggestion>();
if (oldQuery != null && request.getQuery().startsWith(oldQuery)) {
String query = request.getQuery();
if (query.length() > 0 && oldQuery != null && query.startsWith(oldQuery)) {
// If the prefix had no completions, so there is no way that the current input will.
if (oldSuggestions.isEmpty()) {
return Collections.emptyList();
}
// If the input ends in whitespace, always get completions from the server,
// since the old suggestions won't include the next word.
if (query.charAt(query.length() - 1) == ' ') {
return null;
}
List<CompletionSuggestion> suggestions = new ArrayList<CompletionSuggestion>();
for (CompletionSuggestion c : oldSuggestions) {
if (c.getReplacementString().startsWith(request.getQuery())) {
if (c.getReplacementString().startsWith(query)) {
suggestions.add(c);
}
}
if (suggestions.size() > 1 && (suggestions.size() >= request.getLimit() || oldSuggestions.size() < request.getLimit())) {
}
if (suggestions.size() >= request.getLimit() || oldSuggestions.size() < request.getLimit()) {
return suggestions;
}
}