public class OnBotJavaProgrammingMode
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
URI_ADMIN_CLEAN |
static java.lang.String |
URI_ADMIN_REARM |
static java.lang.String |
URI_ADMIN_RESET_ONBOTJAVA |
static java.lang.String |
URI_ADMIN_SETTINGS |
static java.lang.String |
URI_ADMIN_SETTINGS_RESET |
static java.lang.String |
URI_BUILD_LAUNCH |
static java.lang.String |
URI_BUILD_LOG |
static java.lang.String |
URI_BUILD_STATUS |
static java.lang.String |
URI_BUILD_WAIT |
static java.lang.String |
URI_FILE_COPY |
static java.lang.String |
URI_FILE_DELETE |
static java.lang.String |
URI_FILE_DOWNLOAD |
static java.lang.String |
URI_FILE_GET |
static java.lang.String |
URI_FILE_NEW |
static java.lang.String |
URI_FILE_SAVE |
static java.lang.String |
URI_FILE_TEMPLATES |
static java.lang.String |
URI_FILE_TREE |
static java.lang.String |
URI_FILE_UPLOAD |
static java.lang.String |
URI_JAVA_EDITOR |
static java.lang.String |
URI_JAVA_PREFIX |
static java.lang.String |
URI_JAVA_README_FILE |
static java.lang.String |
URI_JS_AUTOCOMPLETE |
static java.lang.String |
URI_JS_SETTINGS |
static java.lang.String |
WS_BUILD_LAUNCH |
static java.lang.String |
WS_BUILD_STATUS |
static java.lang.String |
WS_NAMESPACE |
Constructor and Description |
---|
OnBotJavaProgrammingMode() |
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
register(ProgrammingModeManager manager) |
public static final java.lang.String URI_JAVA_PREFIX
public static final java.lang.String URI_JAVA_EDITOR
public static final java.lang.String URI_JAVA_README_FILE
public static final java.lang.String URI_FILE_COPY
public static final java.lang.String URI_FILE_DELETE
public static final java.lang.String URI_FILE_DOWNLOAD
public static final java.lang.String URI_FILE_GET
public static final java.lang.String URI_FILE_NEW
public static final java.lang.String URI_FILE_SAVE
public static final java.lang.String URI_FILE_TEMPLATES
public static final java.lang.String URI_FILE_TREE
public static final java.lang.String URI_FILE_UPLOAD
public static final java.lang.String URI_JS_AUTOCOMPLETE
public static final java.lang.String URI_BUILD_LAUNCH
public static final java.lang.String URI_BUILD_LOG
public static final java.lang.String URI_BUILD_STATUS
public static final java.lang.String URI_BUILD_WAIT
public static final java.lang.String URI_JS_SETTINGS
public static final java.lang.String URI_ADMIN_CLEAN
public static final java.lang.String URI_ADMIN_REARM
public static final java.lang.String URI_ADMIN_SETTINGS
public static final java.lang.String URI_ADMIN_SETTINGS_RESET
public static final java.lang.String URI_ADMIN_RESET_ONBOTJAVA
public static final java.lang.String WS_NAMESPACE
public static final java.lang.String WS_BUILD_LAUNCH
public static final java.lang.String WS_BUILD_STATUS