hphp/hack/test/decl/classes_require.php

   1 <?hh
   2
   3 abstract class Machine {
   4   public function openDoors(): void {}
   5   public function closeDoors(): void {}
   6 }
   7
   8 interface Fliers {
   9   public function fly(): bool;
  10 }
  11
  12 trait Plane {
  13   require extends Machine;
  14   require implements Fliers;
  15
  16   public function takeOff(): bool {
  17     $this->openDoors();
  18     $this->closeDoors();
  19     return $this->fly();
  20   }
  21 }
  22
  23 interface HasEngine {
  24   public function startEngine(): void;
  25 }
  26
  27 trait Startable {
  28   require extends Machine;
  29   require implements HasEngine;
  30
  31   public function start(): void {
  32     $this->closeDoors();
  33     $this->startEngine();
  34   }
  35 }
  36
  37 class AirBus extends Machine implements Fliers, HasEngine {
  38   use Plane;
  39   use Startable;
  40
  41   public function fly(): bool {
  42     return true;
  43   }
  44
  45   public function startEngine(): void {}
  46 }