hphp/hack/test/typecheck/trait_require_syntax.php

   1 <?hh // partial
   2 /**
   3  * Copyright (c) 2014, Facebook, Inc.
   4  * All rights reserved.
   5  *
   6  * This source code is licensed under the MIT license found in the
   7  * LICENSE file in the "hack" directory of this source tree.
   8  *
   9  *
  10  */
  11
  12 interface I1 {
  13   const int ICONST = 1;
  14
  15   public function baz(): void;
  16 }
  17
  18 interface I2 extends I1 {}
  19
  20 class Super {
  21   protected function foo(): void {
  22     echo __METHOD__, "\n";
  23   }
  24 }
  25
  26 trait Trait1 {
  27   require extends Super;
  28   require implements I1;
  29
  30   public function bar(): void {
  31     echo '[', self::ICONST, ']', "\n";
  32     $this->foo();
  33     $this->baz();
  34   }
  35
  36   // <<__Override>> // FIXME: check without a use class?
  37   // protected function override_me(): void {}
  38 }
  39
  40 trait Trait2 {
  41   use Trait1; // Requirements of Trait1 inherited
  42
  43   protected function f() {
  44     return $this->foo();
  45   }
  46   protected function g() {
  47     return $this->baz();
  48   }
  49 }
  50
  51 class C
  52  extends Super
  53  implements I2
  54 {
  55   use Trait2;
  56
  57   public function baz(): void {
  58     echo "baz", "\n";
  59   }
  60 }