package org.kevoree.library.javase.webserver.latexEditor.client; /** * Created by IntelliJ IDEA. * User: duke * Date: 08/12/11 * Time: 10:51 * To change this template use File | Settings | File Templates. */ import com.google.gwt.user.client.rpc.AsyncCallback; import java.util.List; import java.util.Set; public interface latexEditorServiceAsync { void saveFile(String fileName, String content, AsyncCallback<Boolean> async); void getFlatFiles(AsyncCallback<Set<String>> async); void getFileContent(String fileName, Boolean lock, AsyncCallback<String> async); void compile(String fileName, AsyncCallback<String> async) throws Exception; void compileresult(String uuid, AsyncCallback<String[]> async); }