X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.document.server.io%2Fsrc%2Forg%2Fsimantics%2Fdocument%2Fserver%2Fio%2FIAbstractRequestInterface.java;fp=bundles%2Forg.simantics.document.server.io%2Fsrc%2Forg%2Fsimantics%2Fdocument%2Fserver%2Fio%2FIAbstractRequestInterface.java;h=0000000000000000000000000000000000000000;hp=9e736c82116f0d83c2017ddef1d749093d7eb4f2;hb=3efd7d44a55ae1fff284a1826e7c9afe27e0815e;hpb=0b471805f017da83d715a0d8409f53bdd009d31e diff --git a/bundles/org.simantics.document.server.io/src/org/simantics/document/server/io/IAbstractRequestInterface.java b/bundles/org.simantics.document.server.io/src/org/simantics/document/server/io/IAbstractRequestInterface.java deleted file mode 100644 index 9e736c821..000000000 --- a/bundles/org.simantics.document.server.io/src/org/simantics/document/server/io/IAbstractRequestInterface.java +++ /dev/null @@ -1,22 +0,0 @@ -package org.simantics.document.server.io; - -public interface IAbstractRequestInterface { - - void init(); - void createSession(String sessionGUID, IConsole console); - void deleteSession(String sessionGUID); - void setInputURI(String sessionGUID, String inputURI); - void setSessionParameter(String sessionGUID, String parameterName, Object value); - public IJSONResult requestDocument(String document, int sequenceNumber, int pollingHint, String sessionGUID); - public String requestDocumentURI(String alias); - String requestCSS(String documentURI); - int[] requestLoadingIndicatorDelay(String documentURI); - Double requestPollingInterval(String documentURI); - Content requestContent(String resourceURI); - public CommandResult execute(String id, CommandContext context); - public void subscribeDocument(String document, String sessionGUID, IDocumentListener documentListener); - public IJSONResult readChanges(String uri, String sessionGUID, int sequenceNumber); - public void initializeDocument(String documentURI, String sessionGUID, CommandContext context); - public void onPoll(String sessionGUID); - public String escapeURI(String unicode); -}