improve getRemoteName signature

aeschli · aeschli · commit e346071dfc01 · 2020-02-19T17:14:53.000+01:00
diff --git a/src/vs/platform/remote/common/remoteHosts.ts b/src/vs/platform/remote/common/remoteHosts.ts
@@ -12,6 +12,9 @@ export function getRemoteAuthority(uri: URI): string | undefined {
 	return uri.scheme === REMOTE_HOST_SCHEME ? uri.authority : undefined;
 }
 
+export function getRemoteName(authority: string): string;
+export function getRemoteName(authority: undefined): undefined;
+export function getRemoteName(authority: string | undefined): string | undefined;
 export function getRemoteName(authority: string | undefined): string | undefined {
 	if (!authority) {
 		return undefined;
@@ -22,4 +25,4 @@ export function getRemoteName(authority: string | undefined): string | undefined
 		return authority;
 	}
 	return authority.substr(0, pos);
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,9 @@ export function getRemoteAuthority(uri: URI): string \| undefined {`
`12`	`12`	`return uri.scheme === REMOTE_HOST_SCHEME ? uri.authority : undefined;`
`13`	`13`	`}`
`14`	`14`
	`15`	`+export function getRemoteName(authority: string): string;`
	`16`	`+export function getRemoteName(authority: undefined): undefined;`
	`17`	`+export function getRemoteName(authority: string \| undefined): string \| undefined;`
`15`	`18`	`export function getRemoteName(authority: string \| undefined): string \| undefined {`
`16`	`19`	`if (!authority) {`
`17`	`20`	`return undefined;`
`@@ -22,4 +25,4 @@ export function getRemoteName(authority: string \| undefined): string \| undefined`
`22`	`25`	`return authority;`
`23`	`26`	`}`
`24`	`27`	`return authority.substr(0, pos);`
`25`		`-}`
	`28`	`+}`