From 1e2760696ecc00cefa7c8db16cf6af03107f08e4 Mon Sep 17 00:00:00 2001
From: Daniel Rosenwasser <drosen@microsoft.com>
Date: Fri, 12 Feb 2016 14:12:21 -0800
Subject: [PATCH] Added tests for declaration emit.

---
 .../declarationEmitIdentifierPredicates01.ts      |  6 ++++++
 ...onEmitIdentifierPredicatesWithPrivateName01.ts | 10 ++++++++++
 .../declarationEmitThisPredicates01.ts            | 11 +++++++++++
 .../declarationEmitThisPredicates02.ts            | 15 +++++++++++++++
 ...larationEmitThisPredicatesWithPrivateName01.ts | 11 +++++++++++
 ...larationEmitThisPredicatesWithPrivateName02.ts | 15 +++++++++++++++
 6 files changed, 68 insertions(+)
 create mode 100644 tests/cases/conformance/declarationEmit/typePredicates/declarationEmitIdentifierPredicates01.ts
 create mode 100644 tests/cases/conformance/declarationEmit/typePredicates/declarationEmitIdentifierPredicatesWithPrivateName01.ts
 create mode 100644 tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicates01.ts
 create mode 100644 tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicates02.ts
 create mode 100644 tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicatesWithPrivateName01.ts
 create mode 100644 tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicatesWithPrivateName02.ts

diff --git a/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitIdentifierPredicates01.ts b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitIdentifierPredicates01.ts
new file mode 100644
index 00000000000..c4a223f07ef
--- /dev/null
+++ b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitIdentifierPredicates01.ts
@@ -0,0 +1,6 @@
+// @declaration: true
+// @module: commonjs
+
+export function f(x: any): x is number {
+    return typeof x === "number";
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitIdentifierPredicatesWithPrivateName01.ts b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitIdentifierPredicatesWithPrivateName01.ts
new file mode 100644
index 00000000000..1398b2bc040
--- /dev/null
+++ b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitIdentifierPredicatesWithPrivateName01.ts
@@ -0,0 +1,10 @@
+// @declaration: true
+// @module: commonjs
+
+interface I {
+    a: number;
+}
+
+export function f(x: any): x is I {
+    return typeof x.a === "number";
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicates01.ts b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicates01.ts
new file mode 100644
index 00000000000..69af9c5b077
--- /dev/null
+++ b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicates01.ts
@@ -0,0 +1,11 @@
+// @declaration: true
+// @module: commonjs
+
+export class C {
+    m(): this is D {
+        return this instanceof D;
+    }
+}
+
+export class D extends C {
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicates02.ts b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicates02.ts
new file mode 100644
index 00000000000..02f2a798831
--- /dev/null
+++ b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicates02.ts
@@ -0,0 +1,15 @@
+// @declaration: true
+// @module: commonjs
+
+export interface Foo {
+    a: string;
+    b: number;
+    c: boolean;
+}
+
+export const obj = {
+    m(): this is Foo {
+        let dis = this as Foo;
+        return dis.a != null && dis.b != null && dis.c != null;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicatesWithPrivateName01.ts b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicatesWithPrivateName01.ts
new file mode 100644
index 00000000000..461c7d17571
--- /dev/null
+++ b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicatesWithPrivateName01.ts
@@ -0,0 +1,11 @@
+// @declaration: true
+// @module: commonjs
+
+export class C {
+    m(): this is D {
+        return this instanceof D;
+    }
+}
+
+class D extends C {
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicatesWithPrivateName02.ts b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicatesWithPrivateName02.ts
new file mode 100644
index 00000000000..c238bb16ec8
--- /dev/null
+++ b/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicatesWithPrivateName02.ts
@@ -0,0 +1,15 @@
+// @declaration: true
+// @module: commonjs
+
+interface Foo {
+    a: string;
+    b: number;
+    c: boolean;
+}
+
+export const obj = {
+    m(): this is Foo {
+        let dis = this as Foo;
+        return dis.a != null && dis.b != null && dis.c != null;
+    }
+}
\ No newline at end of file