From a8d205a2fc6ce63fba37b36fa8482f050c1d500a Mon Sep 17 00:00:00 2001
From: Arthur Ozga <aozgaa@umich.edu>
Date: Mon, 22 Jun 2015 16:06:17 -0700
Subject: [PATCH] new tests

---
 .../classAbstractCrashedOnce.ts               | 10 ++++
 .../classAbstractImportInstantiation.ts       |  9 ++++
 ...ass.ts => classAbstractInstantiations1.ts} |  8 ---
 .../classAbstractInstantiations2.ts           | 51 +++++++++++++++++++
 .../classAbstractManyKeywords.ts              |  4 ++
 .../classAbstractMultiLineDecl.ts             | 12 +++++
 6 files changed, 86 insertions(+), 8 deletions(-)
 create mode 100644 tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractCrashedOnce.ts
 create mode 100644 tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractImportInstantiation.ts
 rename tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/{classInstantiatingAbstractClass.ts => classAbstractInstantiations1.ts} (60%)
 create mode 100644 tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractInstantiations2.ts
 create mode 100644 tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractManyKeywords.ts
 create mode 100644 tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractMultiLineDecl.ts

diff --git a/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractCrashedOnce.ts b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractCrashedOnce.ts
new file mode 100644
index 00000000000..747b8dafe6e
--- /dev/null
+++ b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractCrashedOnce.ts
@@ -0,0 +1,10 @@
+abstract class foo {
+    protected abstract test();
+}
+
+class bar extends foo {
+    test() {
+        this.
+    }
+}
+var x = new bar();
\ No newline at end of file
diff --git a/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractImportInstantiation.ts b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractImportInstantiation.ts
new file mode 100644
index 00000000000..165a3d7a2e6
--- /dev/null
+++ b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractImportInstantiation.ts
@@ -0,0 +1,9 @@
+module M {
+    export abstract class A {}
+    
+    new A;
+}
+
+import myA = M.A;
+
+new myA;
diff --git a/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classInstantiatingAbstractClass.ts b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractInstantiations1.ts
similarity index 60%
rename from tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classInstantiatingAbstractClass.ts
rename to tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractInstantiations1.ts
index d60a39a3f2c..c9ca4afb18d 100644
--- a/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classInstantiatingAbstractClass.ts
+++ b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractInstantiations1.ts
@@ -16,11 +16,3 @@ var c : C;
 a = new B;
 b = new B;
 c = new B;
-
-module M {
-    export abstract class A {}
-}
-
-import myA = M.A;
-
-var aa = new myA;
diff --git a/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractInstantiations2.ts b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractInstantiations2.ts
new file mode 100644
index 00000000000..6cca7ed947f
--- /dev/null
+++ b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractInstantiations2.ts
@@ -0,0 +1,51 @@
+class A {
+    // ...
+}
+
+abstract class B {
+    foo(): number { return bar(); }
+    abstract bar() : number;
+}
+
+new B; // error
+
+var BB: typeof B = B;
+var AA: typeof A = BB; // error, AA is not of abstract type.
+new AA;
+
+function constructB(Factory : typeof B) {
+    new Factory; // error -- Factory is of type typeof C
+}
+
+var BB = B;
+new BB; // error -- BB is of type typeof C
+
+var x : any = C;
+new x; // okay -- undefined behavior at runtime
+
+class C extends B { } // error -- not declared abstract
+
+abstract class D extends B { } // okay
+
+class E extends B { // okay -- implements abstract method
+    bar() { return 1; }
+}
+
+abstract class F extends B {
+    abstract foo() : number;
+    bar() { return 2; }
+}
+
+abstract class G {
+    abstract qux(x : number) : string;
+    abstract qux() : number;
+    y : number;
+    abstract quz(x : number, y : string) : boolean; // error -- declarations must be adjacent
+
+    abstract nom() boolean;
+    nom(x : number) boolean; // error -- use of modifier abstract must match on all overloads.
+}
+
+class H { // error -- not declared abstract
+    abstract baz() : number;
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractManyKeywords.ts b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractManyKeywords.ts
new file mode 100644
index 00000000000..2a6fd46a08d
--- /dev/null
+++ b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractManyKeywords.ts
@@ -0,0 +1,4 @@
+export default abstract class A {}
+export abstract class B {}
+default abstract class C {}
+import abstract class D {}
\ No newline at end of file
diff --git a/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractMultiLineDecl.ts b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractMultiLineDecl.ts
new file mode 100644
index 00000000000..374a3c089ef
--- /dev/null
+++ b/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractMultiLineDecl.ts
@@ -0,0 +1,12 @@
+abstract class A {}
+
+abstract
+class B {}
+
+abstract
+
+class C {}
+
+new A;
+new B;
+new C;
\ No newline at end of file