maxmustermann/TypeScript
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Change ServerProtocol module to ts.server.protocol

Browse source
This commit is contained in:
Mohamed Hegazy 2015-02-15 19:14:33 -08:00
parent ca34838535
commit 8a9ac8d338
3 changed files with 670 additions and 676 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

86
src/server/client.ts
View file

@ -47,11 +47,11 @@ module ts.server {
return lineMap;
}
private lineColToPosition(fileName: string, lineCol: ServerProtocol.LineCol): number {
private lineColToPosition(fileName: string, lineCol: ts.server.protocol.LineCol): number {
return ts.computePositionFromLineAndCharacter(this.getLineMap(fileName), lineCol.line, lineCol.col);
}
private positionToOneBasedLineCol(fileName: string, position: number): ServerProtocol.LineCol {
private positionToOneBasedLineCol(fileName: string, position: number): ts.server.protocol.LineCol {
var lineCol = ts.computeLineAndCharacterOfPosition(this.getLineMap(fileName), position);
return {
line: lineCol.line,
@ -59,7 +59,7 @@ module ts.server {
};
}
private convertCodeEditsToTextChange(fileName: string, codeEdit: ServerProtocol.CodeEdit): ts.TextChange {
private convertCodeEditsToTextChange(fileName: string, codeEdit: ts.server.protocol.CodeEdit): ts.TextChange {
var start = this.lineColToPosition(fileName, codeEdit.start);
var end = this.lineColToPosition(fileName, codeEdit.end);
@ -69,11 +69,11 @@ module ts.server {
};
}
private decodeEncodedFileId(fileId: ServerProtocol.EncodedFile): string {
private decodeEncodedFileId(fileId: ts.server.protocol.EncodedFile): string {
var fileName: string;
if (typeof fileId === "object") {
fileName = (<ServerProtocol.IdFile>fileId).file;
this.fileMapping[(<ServerProtocol.IdFile>fileId).id] = fileName;
fileName = (<ts.server.protocol.IdFile>fileId).file;
this.fileMapping[(<ts.server.protocol.IdFile>fileId).id] = fileName;
}
else if (typeof fileId === "number") {
fileName = ts.lookUp(this.fileMapping, fileId.toString());
@ -85,8 +85,8 @@ module ts.server {
return fileName;
}
private processRequest<T extends ServerProtocol.Request>(command: string, arguments?: any): T {
var request: ServerProtocol.Request = {
private processRequest<T extends ts.server.protocol.Request>(command: string, arguments?: any): T {
var request: ts.server.protocol.Request = {
seq: this.sequence++,
type: "request",
command: command,
@ -98,7 +98,7 @@ module ts.server {
return <T>request;
}
private processResponse<T extends ServerProtocol.Response>(request: ServerProtocol.Request): T {
private processResponse<T extends ts.server.protocol.Response>(request: ts.server.protocol.Request): T {
var lastMessage = this.messages.shift();
Debug.assert(!!lastMessage, "Did not recieve any responses.");
@ -138,12 +138,12 @@ module ts.server {
}
openFile(fileName: string): void {
var args: ServerProtocol.FileRequestArgs = { file: fileName };
var args: ts.server.protocol.FileRequestArgs = { file: fileName };
this.processRequest(CommandNames.Open, args);
}
closeFile(fileName: string): void {
var args: ServerProtocol.FileRequestArgs = { file: fileName };
var args: ts.server.protocol.FileRequestArgs = { file: fileName };
this.processRequest(CommandNames.Close, args);
}
@ -152,7 +152,7 @@ module ts.server {
this.lineMaps[fileName] = undefined;
var lineCol = this.positionToOneBasedLineCol(fileName, start);
var args: ServerProtocol.ChangeRequestArgs = {
var args: ts.server.protocol.ChangeRequestArgs = {
file: fileName,
line: lineCol.line,
col: lineCol.col,
@ -166,14 +166,14 @@ module ts.server {
getQuickInfoAtPosition(fileName: string, position: number): QuickInfo {
var lineCol = this.positionToOneBasedLineCol(fileName, position);
var args: ServerProtocol.CodeLocationRequestArgs = {
var args: ts.server.protocol.CodeLocationRequestArgs = {
file: fileName,
line: lineCol.line,
col: lineCol.col
};
var request = this.processRequest<ServerProtocol.QuickInfoRequest>(CommandNames.Quickinfo, args);
var response = this.processResponse<ServerProtocol.QuickInfoResponse>(request);
var request = this.processRequest<ts.server.protocol.QuickInfoRequest>(CommandNames.Quickinfo, args);
var response = this.processResponse<ts.server.protocol.QuickInfoResponse>(request);
var start = this.lineColToPosition(fileName, response.body.start);
var end = this.lineColToPosition(fileName, response.body.end);
@ -189,15 +189,15 @@ module ts.server {
getCompletionsAtPosition(fileName: string, position: number): CompletionInfo {
var lineCol = this.positionToOneBasedLineCol(fileName, position);
var args: ServerProtocol.CompletionsRequestArgs = {
var args: ts.server.protocol.CompletionsRequestArgs = {
file: fileName,
line: lineCol.line,
col: lineCol.col,
prefix: undefined
};
var request = this.processRequest<ServerProtocol.CompletionsRequest>(CommandNames.Completions, args);
var response = this.processResponse<ServerProtocol.CompletionsResponse>(request);
var request = this.processRequest<ts.server.protocol.CompletionsRequest>(CommandNames.Completions, args);
var response = this.processResponse<ts.server.protocol.CompletionsResponse>(request);
return this.lastCompletionEntry = {
isMemberCompletion: false,
@ -223,13 +223,13 @@ module ts.server {
}
getNavigateToItems(searchTerm: string): NavigateToItem[] {
var args: ServerProtocol.NavtoRequestArgs = {
var args: ts.server.protocol.NavtoRequestArgs = {
searchTerm,
file: this.host.getScriptFileNames()[0]
};
var request = this.processRequest<ServerProtocol.NavtoRequest>(CommandNames.Navto, args);
var response = this.processResponse<ServerProtocol.NavtoResponse>(request);
var request = this.processRequest<ts.server.protocol.NavtoRequest>(CommandNames.Navto, args);
var response = this.processResponse<ts.server.protocol.NavtoResponse>(request);
return response.body.map(entry => {
var fileName = this.decodeEncodedFileId(entry.file);
@ -252,7 +252,7 @@ module ts.server {
getFormattingEditsForRange(fileName: string, start: number, end: number, options: ts.FormatCodeOptions): ts.TextChange[] {
var startLineCol = this.positionToOneBasedLineCol(fileName, start);
var endLineCol = this.positionToOneBasedLineCol(fileName, end);
var args: ServerProtocol.FormatRequestArgs = {
var args: ts.server.protocol.FormatRequestArgs = {
file: fileName,
line: startLineCol.line,
col: startLineCol.col,
@ -261,8 +261,8 @@ module ts.server {
};
// TODO: handle FormatCodeOptions
var request = this.processRequest<ServerProtocol.FormatRequest>(CommandNames.Format, args);
var response = this.processResponse<ServerProtocol.FormatResponse>(request);
var request = this.processRequest<ts.server.protocol.FormatRequest>(CommandNames.Format, args);
var response = this.processResponse<ts.server.protocol.FormatResponse>(request);
return response.body.map(entry=> this.convertCodeEditsToTextChange(fileName, entry));
}
@ -273,7 +273,7 @@ module ts.server {
getFormattingEditsAfterKeystroke(fileName: string, position: number, key: string, options: FormatCodeOptions): ts.TextChange[] {
var lineCol = this.positionToOneBasedLineCol(fileName, position);
var args: ServerProtocol.FormatOnKeyRequestArgs = {
var args: ts.server.protocol.FormatOnKeyRequestArgs = {
file: fileName,
line: lineCol.line,
col: lineCol.col,
@ -281,22 +281,22 @@ module ts.server {
};
// TODO: handle FormatCodeOptions
var request = this.processRequest<ServerProtocol.FormatOnKeyRequest>(CommandNames.Formatonkey, args);
var response = this.processResponse<ServerProtocol.FormatResponse>(request);
var request = this.processRequest<ts.server.protocol.FormatOnKeyRequest>(CommandNames.Formatonkey, args);
var response = this.processResponse<ts.server.protocol.FormatResponse>(request);
return response.body.map(entry=> this.convertCodeEditsToTextChange(fileName, entry));
}
getDefinitionAtPosition(fileName: string, position: number): DefinitionInfo[] {
var lineCol = this.positionToOneBasedLineCol(fileName, position);
var args: ServerProtocol.CodeLocationRequestArgs = {
var args: ts.server.protocol.CodeLocationRequestArgs = {
file: fileName,
line: lineCol.line,
col: lineCol.col,
};
var request = this.processRequest<ServerProtocol.DefinitionRequest>(CommandNames.Definition, args);
var response = this.processResponse<ServerProtocol.DefinitionResponse>(request);
var request = this.processRequest<ts.server.protocol.DefinitionRequest>(CommandNames.Definition, args);
var response = this.processResponse<ts.server.protocol.DefinitionResponse>(request);
return response.body.map(entry => {
var fileName = this.decodeEncodedFileId(entry.file);
@ -315,14 +315,14 @@ module ts.server {
getReferencesAtPosition(fileName: string, position: number): ReferenceEntry[] {
var lineCol = this.positionToOneBasedLineCol(fileName, position);
var args: ServerProtocol.CodeLocationRequestArgs = {
var args: ts.server.protocol.CodeLocationRequestArgs = {
file: fileName,
line: lineCol.line,
col: lineCol.col,
};
var request = this.processRequest<ServerProtocol.ReferencesRequest>(CommandNames.References, args);
var response = this.processResponse<ServerProtocol.ReferencesResponse>(request);
var request = this.processRequest<ts.server.protocol.ReferencesRequest>(CommandNames.References, args);
var response = this.processResponse<ts.server.protocol.ReferencesResponse>(request);
return response.body.refs.map(entry => {
var fileName = this.decodeEncodedFileId(entry.file);
@ -354,7 +354,7 @@ module ts.server {
getRenameInfo(fileName: string, position: number, findInStrings?: boolean, findInComments?: boolean): RenameInfo {
var lineCol = this.positionToOneBasedLineCol(fileName, position);
var args: ServerProtocol.RenameRequestArgs = {
var args: ts.server.protocol.RenameRequestArgs = {
file: fileName,
line: lineCol.line,
col: lineCol.col,
@ -362,8 +362,8 @@ module ts.server {
findInComments
};
var request = this.processRequest<ServerProtocol.RenameRequest>(CommandNames.Rename, args);
var response = this.processResponse<ServerProtocol.RenameResponse>(request);
var request = this.processRequest<ts.server.protocol.RenameRequest>(CommandNames.Rename, args);
var response = this.processResponse<ts.server.protocol.RenameResponse>(request);
return this.lastRenameEntry = {
canRename: response.body.info.canRename,
@ -401,7 +401,7 @@ module ts.server {
return this.lastRenameEntry.locations;
}
decodeNavigationBarItems(items: ServerProtocol.NavigationBarItem[], fileName: string): NavigationBarItem[] {
decodeNavigationBarItems(items: ts.server.protocol.NavigationBarItem[], fileName: string): NavigationBarItem[] {
if (!items) {
return [];
}
@ -419,12 +419,12 @@ module ts.server {
}
getNavigationBarItems(fileName: string): NavigationBarItem[] {
var args: ServerProtocol.FileRequestArgs = {
var args: ts.server.protocol.FileRequestArgs = {
file: fileName
};
var request = this.processRequest<ServerProtocol.NavBarRequest>(CommandNames.NavBar, args);
var response = this.processResponse<ServerProtocol.NavBarResponse>(request);
var request = this.processRequest<ts.server.protocol.NavBarRequest>(CommandNames.NavBar, args);
var response = this.processResponse<ts.server.protocol.NavBarResponse>(request);
return this.decodeNavigationBarItems(response.body, fileName);
}
@ -455,14 +455,14 @@ module ts.server {
getBraceMatchingAtPosition(fileName: string, position: number): TextSpan[] {
var lineCol = this.positionToOneBasedLineCol(fileName, position);
var args: ServerProtocol.CodeLocationRequestArgs = {
var args: ts.server.protocol.CodeLocationRequestArgs = {
file: fileName,
line: lineCol.line,
col: lineCol.col,
};
var request = this.processRequest<ServerProtocol.BraceRequest>(CommandNames.Brace, args);
var response = this.processResponse<ServerProtocol.BraceResponse>(request);
var request = this.processRequest<ts.server.protocol.BraceRequest>(CommandNames.Brace, args);
var response = this.processResponse<ts.server.protocol.BraceResponse>(request);
return response.body.map(entry => {
var start = this.lineColToPosition(fileName, entry.start);

1192
src/server/protocol.d.ts vendored
View file

File diff suppressed because it is too large Load diff

68
src/server/session.ts
View file

@ -27,7 +27,7 @@ module ts.server {
}
interface FileStart {
file: ServerProtocol.EncodedFile;
file: ts.server.protocol.EncodedFile;
start: ILineInfo;
}
@ -188,7 +188,7 @@ module ts.server {
}
response(info: any, cmdName: string, reqSeq = 0, errorMsg?: string) {
var res: ServerProtocol.Response = {
var res: ts.server.protocol.Response = {
seq: 0,
type: "response",
command: cmdName,
@ -204,7 +204,7 @@ module ts.server {
this.send(res);
}
encodeFileName(fileName: string): ServerProtocol.EncodedFile {
encodeFileName(fileName: string): ts.server.protocol.EncodedFile {
var id = ts.lookUp(this.fileHash, fileName);
if (!id) {
id = this.nextFileId++;
@ -277,7 +277,7 @@ module ts.server {
}
}
getDefinition(line: number, col: number, fileName: string): ServerProtocol.CodeSpan[] {
getDefinition(line: number, col: number, fileName: string): ts.server.protocol.CodeSpan[] {
var file = ts.normalizePath(fileName);
var project = this.projectService.getProjectForFile(file);
if (!project) {
@ -299,7 +299,7 @@ module ts.server {
}));
}
getRenameLocations(line: number, col: number, fileName: string, findInComments: boolean, findInStrings: boolean): { info: RenameInfo; locs: ServerProtocol.CodeSpan[] } {
getRenameLocations(line: number, col: number, fileName: string, findInComments: boolean, findInStrings: boolean): { info: RenameInfo; locs: ts.server.protocol.CodeSpan[] } {
var file = ts.normalizePath(fileName);
var project = this.projectService.getProjectForFile(file);
if (!project) {
@ -325,7 +325,7 @@ module ts.server {
throw Errors.NoContent;
}
var bakedRenameLocs = renameLocations.map(location => (<ServerProtocol.CodeSpan>{
var bakedRenameLocs = renameLocations.map(location => (<ts.server.protocol.CodeSpan>{
file: this.encodeFileName(location.fileName),
start: compilerService.host.positionToLineCol(location.fileName, location.textSpan.start),
end: compilerService.host.positionToLineCol(location.fileName, ts.textSpanEnd(location.textSpan)),
@ -334,7 +334,7 @@ module ts.server {
return { info: renameInfo, locs: bakedRenameLocs };
}
getReferences(line: number, col: number, fileName: string): ServerProtocol.ReferencesResponseBody {
getReferences(line: number, col: number, fileName: string): ts.server.protocol.ReferencesResponseBody {
// TODO: get all projects for this file; report refs for all projects deleting duplicates
// can avoid duplicates by eliminating same ref file from subsequent projects
var file = ts.normalizePath(fileName);
@ -360,7 +360,7 @@ module ts.server {
var nameSpan = nameInfo.textSpan;
var nameColStart = compilerService.host.positionToLineCol(file, nameSpan.start).col;
var nameText = compilerService.host.getScriptSnapshot(file).getText(nameSpan.start, ts.textSpanEnd(nameSpan));
var bakedRefs: ServerProtocol.ReferencesResponseItem[] = references.map((ref) => {
var bakedRefs: ts.server.protocol.ReferencesResponseItem[] = references.map((ref) => {
var start = compilerService.host.positionToLineCol(ref.fileName, ref.textSpan.start);
var refLineSpan = compilerService.host.lineToTextSpan(ref.fileName, start.line - 1);
var snap = compilerService.host.getScriptSnapshot(ref.fileName);
@ -386,7 +386,7 @@ module ts.server {
this.projectService.openClientFile(file);
}
getQuickInfo(line: number, col: number, fileName: string): ServerProtocol.QuickInfoResponseBody {
getQuickInfo(line: number, col: number, fileName: string): ts.server.protocol.QuickInfoResponseBody {
var file = ts.normalizePath(fileName);
var project = this.projectService.getProjectForFile(file);
if (!project) {
@ -412,7 +412,7 @@ module ts.server {
};
}
getFormattingEditsForRange(line: number, col: number, endLine: number, endCol: number, fileName: string): ServerProtocol.CodeEdit[] {
getFormattingEditsForRange(line: number, col: number, endLine: number, endCol: number, fileName: string): ts.server.protocol.CodeEdit[] {
var file = ts.normalizePath(fileName);
var project = this.projectService.getProjectForFile(file);
if (!project) {
@ -438,7 +438,7 @@ module ts.server {
});
}
getFormattingEditsAfterKeystroke(line: number, col: number, key: string, fileName: string): ServerProtocol.CodeEdit[] {
getFormattingEditsAfterKeystroke(line: number, col: number, key: string, fileName: string): ts.server.protocol.CodeEdit[] {
var file = ts.normalizePath(fileName);
var project = this.projectService.getProjectForFile(file);
@ -480,7 +480,7 @@ module ts.server {
});
}
getCompletions(line: number, col: number, prefix: string, fileName: string): ServerProtocol.CompletionItem[] {
getCompletions(line: number, col: number, prefix: string, fileName: string): ts.server.protocol.CompletionItem[] {
if (!prefix) {
prefix = "";
}
@ -579,7 +579,7 @@ module ts.server {
this.projectService.closeClientFile(file);
}
decorateNavigationBarItem(project: Project, fileName: string, items: ts.NavigationBarItem[]): ServerProtocol.NavigationBarItem[] {
decorateNavigationBarItem(project: Project, fileName: string, items: ts.NavigationBarItem[]): ts.server.protocol.NavigationBarItem[] {
if (!items) {
return undefined;
}
@ -598,7 +598,7 @@ module ts.server {
}));
}
getNavigationBarItems(fileName: string): ServerProtocol.NavigationBarItem[] {
getNavigationBarItems(fileName: string): ts.server.protocol.NavigationBarItem[] {
var file = ts.normalizePath(fileName);
var project = this.projectService.getProjectForFile(file);
if (!project) {
@ -614,7 +614,7 @@ module ts.server {
return this.decorateNavigationBarItem(project, fileName, items);
}
getNavigateToItems(searchTerm: string, fileName: string): ServerProtocol.NavtoItem[] {
getNavigateToItems(searchTerm: string, fileName: string): ts.server.protocol.NavtoItem[] {
var file = ts.normalizePath(fileName);
var project = this.projectService.getProjectForFile(file);
if (!project) {
@ -630,7 +630,7 @@ module ts.server {
return navItems.map((navItem) => {
var start = compilerService.host.positionToLineCol(navItem.fileName, navItem.textSpan.start);
var end = compilerService.host.positionToLineCol(navItem.fileName, ts.textSpanEnd(navItem.textSpan));
var bakedItem: ServerProtocol.NavtoItem = {
var bakedItem: ts.server.protocol.NavtoItem = {
name: navItem.name,
kind: navItem.kind,
file: this.encodeFileName(navItem.fileName),
@ -653,7 +653,7 @@ module ts.server {
});
}
getBraceMatching(line: number, col: number, fileName: string): ServerProtocol.TextSpan[] {
getBraceMatching(line: number, col: number, fileName: string): ts.server.protocol.TextSpan[] {
var file = ts.normalizePath(fileName);
var project = this.projectService.getProjectForFile(file);
@ -677,87 +677,87 @@ module ts.server {
onMessage(message: string) {
try {
var request = <ServerProtocol.Request>JSON.parse(message);
var request = <ts.server.protocol.Request>JSON.parse(message);
var response: any;
switch (request.command) {
case CommandNames.Definition: {
var defArgs = <ServerProtocol.CodeLocationRequestArgs>request.arguments;
var defArgs = <ts.server.protocol.CodeLocationRequestArgs>request.arguments;
response = this.getDefinition(defArgs.line, defArgs.col, defArgs.file);
break;
}
case CommandNames.References: {
var refArgs = <ServerProtocol.CodeLocationRequestArgs>request.arguments;
var refArgs = <ts.server.protocol.CodeLocationRequestArgs>request.arguments;
response = this.getReferences(refArgs.line, refArgs.col, refArgs.file);
break;
}
case CommandNames.Rename: {
var renameArgs = <ServerProtocol.RenameRequestArgs>request.arguments;
var renameArgs = <ts.server.protocol.RenameRequestArgs>request.arguments;
response = this.getRenameLocations(renameArgs.line, renameArgs.col, renameArgs.file, renameArgs.findInComments, renameArgs.findInStrings);
break;
}
case CommandNames.Open: {
var openArgs = <ServerProtocol.FileRequestArgs>request.arguments;
var openArgs = <ts.server.protocol.FileRequestArgs>request.arguments;
this.openClientFile(openArgs.file);
break;
}
case CommandNames.Quickinfo: {
var quickinfoArgs = <ServerProtocol.CodeLocationRequestArgs>request.arguments;
var quickinfoArgs = <ts.server.protocol.CodeLocationRequestArgs>request.arguments;
response = this.getQuickInfo(quickinfoArgs.line, quickinfoArgs.col, quickinfoArgs.file);
break;
}
case CommandNames.Format: {
var formatArgs = <ServerProtocol.FormatRequestArgs>request.arguments;
var formatArgs = <ts.server.protocol.FormatRequestArgs>request.arguments;
response = this.getFormattingEditsForRange(formatArgs.line, formatArgs.col, formatArgs.endLine, formatArgs.endCol, formatArgs.file);
break;
}
case CommandNames.Formatonkey: {
var formatOnKeyArgs = <ServerProtocol.FormatOnKeyRequestArgs>request.arguments;
var formatOnKeyArgs = <ts.server.protocol.FormatOnKeyRequestArgs>request.arguments;
response = this.getFormattingEditsAfterKeystroke(formatOnKeyArgs.line, formatOnKeyArgs.col, formatOnKeyArgs.key, formatOnKeyArgs.file);
break;
}
case CommandNames.Completions: {
var completionsArgs = <ServerProtocol.CompletionsRequestArgs>request.arguments;
var completionsArgs = <ts.server.protocol.CompletionsRequestArgs>request.arguments;
response = this.getCompletions(request.arguments.line, request.arguments.col, completionsArgs.prefix, request.arguments.file);
break;
}
case CommandNames.Geterr: {
var geterrArgs = <ServerProtocol.GeterrRequestArgs>request.arguments;
var geterrArgs = <ts.server.protocol.GeterrRequestArgs>request.arguments;
response = this.getDiagnostics(geterrArgs.delay, geterrArgs.files);
break;
}
case CommandNames.Change: {
var changeArgs = <ServerProtocol.ChangeRequestArgs>request.arguments;
var changeArgs = <ts.server.protocol.ChangeRequestArgs>request.arguments;
this.change(changeArgs.line, changeArgs.col, changeArgs.deleteLen, changeArgs.insertString,
changeArgs.file);
break;
}
case CommandNames.Reload: {
var reloadArgs = <ServerProtocol.ReloadRequestArgs>request.arguments;
var reloadArgs = <ts.server.protocol.ReloadRequestArgs>request.arguments;
this.reload(reloadArgs.file, reloadArgs.tmpfile, request.seq);
break;
}
case CommandNames.Saveto: {
var savetoArgs = <ServerProtocol.SavetoRequestArgs>request.arguments;
var savetoArgs = <ts.server.protocol.SavetoRequestArgs>request.arguments;
this.saveToTmp(savetoArgs.file, savetoArgs.tmpfile);
break;
}
case CommandNames.Close: {
var closeArgs = <ServerProtocol.FileRequestArgs>request.arguments;
var closeArgs = <ts.server.protocol.FileRequestArgs>request.arguments;
this.closeClientFile(closeArgs.file);
break;
}
case CommandNames.Navto: {
var navtoArgs = <ServerProtocol.NavtoRequestArgs>request.arguments;
var navtoArgs = <ts.server.protocol.NavtoRequestArgs>request.arguments;
response = this.getNavigateToItems(navtoArgs.searchTerm, navtoArgs.file);
break;
}
case CommandNames.Brace: {
var braceArguments = <ServerProtocol.CodeLocationRequestArgs>request.arguments;
var braceArguments = <ts.server.protocol.CodeLocationRequestArgs>request.arguments;
response = this.getBraceMatching(braceArguments.line, braceArguments.col, braceArguments.file);
break;
}
case CommandNames.NavBar: {
var navBarArgs = <ServerProtocol.FileRequestArgs>request.arguments;
var navBarArgs = <ts.server.protocol.FileRequestArgs>request.arguments;
response = this.getNavigationBarItems(navBarArgs.file);
break;
}