blob: 99c6d67b9b91009beeddb4c2123b28c2af96f073 [file] [log] [blame]
// Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
library constants;
//
// Server methods
//
const String METHOD_GET_VERSION = 'server.getVersion';
const String METHOD_SHUTDOWN = 'server.shutdown';
const String METHOD_SET_SERVER_SUBSCRIPTIONS = 'server.setSubscriptions';
//
// Analysis methods
//
const String METHOD_GET_FIXES = 'analysis.getFixes';
const String METHOD_GET_MINOR_REFACTORINGS = 'analysis.getMinorRefactorings';
const String METHOD_SET_ANALYSIS_ROOTS = 'analysis.setAnalysisRoots';
const String METHOD_SET_PRIORITY_FILES = 'analysis.setPriorityFiles';
const String METHOD_SET_ANALYSIS_SUBSCRIPTIONS = 'analysis.setSubscriptions';
const String METHOD_UPDATE_CONTENT = 'analysis.updateContent';
const String METHOD_UPDATE_OPTIONS = 'analysis.updateOptions';
const String METHOD_UPDATE_SDKS = 'analysis.updateSdks';
//
// Server notifications
//
const String NOTIFICATION_CONNECTED = 'server.connected';
const String NOTIFICATION_STATUS = 'server.status';
//
// Analysis notifications
//
const String NOTIFICATION_ERRORS = 'analysis.errors';
const String NOTIFICATION_HIGHLIGHTS = 'analysis.highlights';
const String NOTIFICATION_NAVIGATION = 'analysis.navigation';
const String NOTIFICATION_OUTLINE = 'analysis.outline';
const String ADDED = 'added';
const String CHILDREN = 'children';
const String CONTENT = 'content';
const String DEFAULT = 'default';
const String ELEMENT_LENGTH = 'elementLength';
const String ELEMENT_OFFSET = 'elementOffset';
const String EXCLUDED = 'excluded';
const String ERRORS = 'errors';
const String FILE = 'file';
const String FILES = 'files';
const String FIXES = 'fixes';
const String INCLUDED = 'included';
const String IS_ABSTRACT = 'isAbstract';
const String IS_STATIC = 'isStatic';
const String KIND = 'kind';
const String LENGTH = 'length';
const String NAME = 'name';
const String NAME_LENGTH = 'nameLength';
const String NAME_OFFSET = 'nameOffset';
const String NEW_LENGTH = 'newLength';
const String OFFSET = 'offset';
const String OLD_LENGTH = 'oldLength';
const String OPTIONS = 'options';
const String OUTLINE = 'outline';
const String PARAMETERS = 'parameters';
const String REFACTORINGS = 'refactorings';
const String REGIONS = 'regions';
const String REMOVED = 'removed';
const String RETURN_TYPE = 'returnType';
const String SUBSCRIPTIONS = 'subscriptions';
const String VERSION = 'version';