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: only allow a single compeltion request at a time.

Browse Source
This commit is contained in:
bjorn
2008-09-15 14:39:25 +00:00
parent 59065bb6fc
commit ca9b011b27
3 changed files with 40 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/server/gwt-client/src/se/chalmers/cs/gf/gwt_translate/client/CompletionOracle.java
View File

@@ -10,6 +10,9 @@ public class CompletionOracle extends SuggestOracle {
private List<String> inputLangs;
private GFRequest gfRequest = null;
public CompletionOracle (GF gf) {
this.gf = gf;
inputLangs = new ArrayList<String>();
@@ -39,7 +42,12 @@ public class CompletionOracle extends SuggestOracle {
}
public void requestSuggestions(final SuggestOracle.Request request, final SuggestOracle.Callback callback) {
gf.complete(request.getQuery(), getInputLangs(), null, request.getLimit(),
// only allow a single completion request at a time
if (gfRequest != null)
gfRequest.cancel();
gfRequest = gf.complete(request.getQuery(), getInputLangs(), null, request.getLimit(),
new GF.CompleteCallback() {
public void onCompleteDone(GF.Completions completions) {
Collection<CompletionSuggestion> suggestions = new ArrayList<CompletionSuggestion>();

21
src/server/gwt-client/src/se/chalmers/cs/gf/gwt_translate/client/GF.java
View File

@@ -23,8 +23,8 @@ public class GF {
/* Languages */
public void languages (final LanguagesCallback callback) {
sendRequest("languages", null, new JSONRequestCallback() {
public GFRequest languages (final LanguagesCallback callback) {
return sendRequest("languages", null, new JSONRequestCallback() {
public void onJSONReceived(JSONValue json) {
callback.onLanguagesDone((Languages)json.isArray().getJavaScriptObject().cast());
}
@@ -50,7 +50,7 @@ public class GF {
/* Translation */
public void translate (String input, List<String> fromLangs, String cat, List<String> toLangs,
public GFRequest translate (String input, List<String> fromLangs, String cat, List<String> toLangs,
final TranslateCallback callback) {
List<Arg> args = new ArrayList<Arg>();
args.add(new Arg("input", input));
@@ -65,7 +65,7 @@ public class GF {
args.add(new Arg("to", to));
}
}
sendRequest("translate", args, new JSONRequestCallback() {
return sendRequest("translate", args, new JSONRequestCallback() {
public void onJSONReceived(JSONValue json) {
callback.onTranslateDone((Translations)json.isArray().getJavaScriptObject().cast());
}
@@ -89,8 +89,8 @@ public class GF {
}
/* Completion */
public void complete (String input, List<String> fromLangs, String cat, int limit, final CompleteCallback callback) {
public GFRequest complete (String input, List<String> fromLangs, String cat, int limit, final CompleteCallback callback) {
List<Arg> args = new ArrayList<Arg>();
args.add(new Arg("input", input));
if (fromLangs != null) {
@@ -100,7 +100,7 @@ public class GF {
}
args.add(new Arg("cat", cat));
args.add(new Arg("limit", limit));
sendRequest("complete", args, new JSONRequestCallback() {
return sendRequest("complete", args, new JSONRequestCallback() {
public void onJSONReceived(JSONValue json) {
callback.onCompleteDone((Completions)json.isArray().getJavaScriptObject().cast());
}
@@ -129,12 +129,13 @@ public class GF {
public void onJSONReceived(JSONValue json);
}
private void sendRequest (String resource, List<Arg> vars, final JSONRequestCallback callback) {
private GFRequest sendRequest (String resource, List<Arg> vars, final JSONRequestCallback callback) {
String url = baseURL + "/" + resource + "?" + buildQueryString(vars);
RequestBuilder builder = new RequestBuilder(RequestBuilder.GET, url);
Request request = null;
try {
Request request = builder.sendRequest(null, new RequestCallback() {
request = builder.sendRequest(null, new RequestCallback() {
public void onError(Request request, Throwable e) {
GWT.log("onError called", e);
}
@@ -150,6 +151,8 @@ public class GF {
} catch (RequestException e) {
GWT.log("Failed to send request", e);
}
return new GFRequest(request);
}
private static class Arg {

19
src/server/gwt-client/src/se/chalmers/cs/gf/gwt_translate/client/GFRequest.java Normal file
View File

@@ -0,0 +1,19 @@
package se.chalmers.cs.gf.gwt_translate.client;
import com.google.gwt.http.client.*;
public class GFRequest {
private Request httpRequest;
GFRequest (Request httpRequest) {
this.httpRequest = httpRequest;
}
public void cancel() {
if (httpRequest != null) {
httpRequest.cancel();
}
}
}