hphp/hack/test/typecheck/class_constant_cycle.php

   1 <?hh
   2
   3 /* cycles without inheritance */
   4 class C0 {
   5   const int A = C0::B;
   6   const int B = C0::A;
   7 }
   8
   9 class D0 {
  10   const int A = self::C;
  11   const int B = self::A;
  12   const int C = self::B;
  13 }
  14
  15 class C {
  16   const int A = D::X + Z::L;
  17   const int B = self::A;
  18
  19   const int W = self::WW;
  20   const int WW = Z::L + Z::Y;
  21
  22   const int C_SELF = self::C_SELF;
  23   const int C_SELF2 = C::C_SELF2;
  24 }
  25
  26 class Z {
  27   const int L = 42;
  28   const int Y = 42;
  29 }
  30
  31 class D {
  32   const int X = C::B;
  33 }
  34
  35 /* cycles with inheritance */
  36 class CE {
  37   const int X = CF::X;
  38 }
  39
  40 class CF extends CE {}
  41
  42 /* Same constant name but no cycle */
  43 class C_OK { const int A = 42; }
  44 class D_OK { const int A = C_OK::A; } // No error here
  45
  46 /* Indirect cycle: we report only in E_KO, not in F_OK */
  47 class E_KO {
  48     const int A = E_KO::B; // Error here
  49     const int B = E_KO::A; // Error here
  50 }
  51
  52 class F_OK {
  53     const int A = E_KO::A; // No error here.
  54 }