Allow constructor and method signatures in classes

test/mjsunit/harmony/typesystem/class-declarations.js

 // Copyright 2016 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // Flags: --harmony-types
 
 
 load("test/mjsunit/harmony/typesystem/testgen.js");
 
 
@@ skipping 33 matching lines @@
   "  y: boolean" + "\n" +
   "  z = 42" + "\n" +
   "  w: number = 17" + "\n" +
   "  'one': number" + "\n" +
   "  '2': boolean" + "\n" +
   "  3: string" + "\n" +
   "  'four': number = 4" + "\n" +
   "  '5': boolean = false" + "\n" +
   "  6: string[] = [...['six', 'six', 'and', 'six']]" + "\n" +
      // methods
-  "  f () : number { return 42; }" + "\n" +
-  "  f (a: number[]) : number { return a[0]; }" + "\n" +
-  "  f (a: number[], b: number) : number { return b || a[0]; }" + "\n" +
+  "  f1 () : number { return 42; }" + "\n" +
+  "  f2 (a: number[]) : number { return a[0]; }" + "\n" +
+  "  f3 (a: number[], b: number) : number { return b || a[0]; }" + "\n" +
      // getters
   "  get p () : number { return 42; }" + "\n" +
   "  get 'q' () : number { return 42; }" + "\n" +
   "  get 42 () : number { return 42; }" + "\n" +
      // setters
   "  set p (x: number) {}" + "\n" +
   "  set 'q' (x: number) {}" + "\n" +
   "  set 42 (x : number) {}" + "\n" +
      // index members
   "  [x: string]" + "\n" +
   "  [x: string] : number" + "\n" +
   "  [x: number]" + "\n" +
   "  [x: number] : boolean" + "\n" +
   "}");
   // Test all possible valid static members.
   CheckValid("class C {" + "\n" +
      // variable members
   "  static x" + "\n" +
   "  static y: boolean" + "\n" +
   "  static z = 42" + "\n" +
   "  static w: number = 17" + "\n" +
   "  static 'one': number" + "\n" +
   "  static '2': boolean" + "\n" +
   "  static 3: string" + "\n" +
   "  static 'four': number = 4" + "\n" +
   "  static '5': boolean = false" + "\n" +
   "  static 6: string[] = [...['six', 'six', 'and', 'six']]" + "\n" +
      // methods
-  "  static f () : number { return 42; }" + "\n" +
-  "  static f (a: number[]) : number { return a[0]; }" + "\n" +
-  "  static f (a: number[], b: number) : number { return b || a[0]; }" + "\n" +
+  "  static f1 () : number { return 42; }" + "\n" +
+  "  static f2 (a: number[]) : number { return a[0]; }" + "\n" +
+  "  static f3 (a: number[], b: number) : number { return b || a[0]; }" + "\n" +
      // getters
   "  static get p () : number { return 42; }" + "\n" +
   "  static get 'q' () : number { return 42; }" + "\n" +
   "  static get 42 () : number { return 42; }" + "\n" +
      // setters
   "  static set p (x: number) {}" + "\n" +
   "  static set 'q' (x: number) {}" + "\n" +
   "  static set 42 (x : number) {}" + "\n" +
   "}");
   // Test invalid member variable declarations.
   CheckInvalid("class C { x: () }");
   CheckInvalid("class C { [42] }");
   CheckInvalid("class C { [42]: number }");
   // Test invalid index members.
   CheckInvalid("class C { [x: any] }");
   CheckInvalid("class C { [x: any] : any }");
   CheckInvalid("class C { static [x: number] }");
 })();
+
+(function TestClassMemberSignatures() {
+  CheckValid("class C {" + "\n" +
+     // constructor signatures
+  "  constructor (x: number, y: boolean)" + "\n" +
+  "  constructor (x: number, y: boolean) { this.x = x; this.y = y; }" + "\n" +
+     // method signatures
+  "  f1 () : number" + "\n" +
+  "  f1 () : number { return 42; }" + "\n" +
+  "  f2 (a: number[]) : number" + "\n" +
+  "  f2 (a: number[]) : number { return a[0]; }" + "\n" +
+  "  f3 (a: number[], b: number) : number" + "\n" +
+  "  f3 (a: number[], b: number) : number { return b || a[0]; }" + "\n" +
+  "}");
+  // Test all possible valid static members.
+  CheckValid("class C {" + "\n" +
+     // static method signatures
+  "  static f1 () : number" + "\n" +
+  "  static f1 () : number { return 42; }" + "\n" +
+  "  static f2 (a: number[]) : number" + "\n" +
+  "  static f2 (a: number[]) : number { return a[0]; }" + "\n" +
+  "  static f3 (a: number[], b: number)" + "\n" +
+  "  static f3 (a: number[], b: number) : number { return b || a[0]; }" + "\n" +
+  "}");
+})();