hphp/hack/test/integration/hierarchy_tests.py

   1 #! /usr/bin/env python3
   2 # pyre-strict
   3
   4 import os
   5
   6 from common_tests import CommonTestDriver
   7 from test_case import TestCase
   8
   9
  10 class HierarchyTests(TestCase[CommonTestDriver]):
  11     @classmethod
  12     def get_template_repo(cls) -> str:
  13         return "hphp/hack/test/integration/data/hierarchy"
  14
  15     def test_inheritance(self) -> None:
  16         """
  17         Test --inheritance-ancestors and --inheritance-children
  18         """
  19         self.test_driver.start_hh_server()
  20         self.test_driver.check_cmd(
  21             [
  22                 'File "{root}foo.php", line 3, characters 7-9: Foo',
  23                 '    inherited by File "{root}bar.php", line 3, characters 7-9: Bar',
  24                 'File "{root}foo.php", line 4, characters 19-19: Foo::f',
  25                 '    inherited by File "{root}bar.php", line 4, characters 19-19: Bar::f',
  26                 'File "{root}foo.php", line 3, characters 7-9: Foo',
  27                 '    inherited by File "{root}baz.php", line 3, characters 7-9: Baz',
  28                 'File "{root}foo.php", line 5, characters 19-19: Foo::g',
  29                 '    inherited by File "{root}baz.php", line 4, characters 19-19: Baz::g',
  30             ],
  31             options=["--inheritance-children", "Foo"],
  32         )
  33         self.test_driver.check_cmd(
  34             [
  35                 'File "{root}baz.php", line 3, characters 7-9: Baz',
  36                 '    inherited from File "{root}foo.php", line 3, characters 7-9: Foo',
  37                 'File "{root}baz.php", line 4, characters 19-19: Baz::g',
  38                 '    inherited from File "{root}foo.php", line 5, characters 19-19: Foo::g',
  39                 'File "{root}baz.php", line 3, characters 7-9: Baz',
  40                 '    inherited from File "{root}bar.php", line 3, characters 7-9: Bar',
  41             ],
  42             options=["--inheritance-ancestors", "Baz"],
  43         )
  44
  45     def test_inheritance_filter(self) -> None:
  46         self.test_driver.start_hh_server()
  47         self.test_driver.check_cmd(
  48             [
  49                 'File "{root}filter.php", line 15, characters 7-12: Filter',
  50                 '    inherited from File "{root}filter.php", line 3, characters 7-13: CFilter',
  51                 'File "{root}filter.php", line 18, characters 19-31: Filter::cfilterMethod',
  52                 '    inherited from File "{root}filter.php", line 4, characters 19-31: CFilter::cfilterMethod',
  53             ],
  54             options=["--inheritance-ancestor-classes", "Filter"],
  55         )
  56         self.test_driver.check_cmd(
  57             [
  58                 'File "{root}filter.php", line 15, characters 7-12: Filter',
  59                 '    inherited from File "{root}filter.php", line 7, characters 11-17: IFilter',
  60                 'File "{root}filter.php", line 19, characters 19-31: Filter::ifilterMethod',
  61                 '    inherited from File "{root}filter.php", line 8, characters 19-31: IFilter::ifilterMethod',
  62             ],
  63             options=["--inheritance-ancestor-interfaces", "Filter"],
  64         )
  65         self.test_driver.check_cmd(
  66             [
  67                 'File "{root}filter.php", line 15, characters 7-12: Filter',
  68                 '    inherited from File "{root}filter.php", line 11, characters 7-13: TFilter',
  69                 'File "{root}filter.php", line 20, characters 19-31: Filter::tfilterMethod',
  70                 '    inherited from File "{root}filter.php", line 12, characters 19-31: TFilter::tfilterMethod',
  71             ],
  72             options=["--inheritance-ancestor-traits", "Filter"],
  73         )
  74
  75     def test_method_signature_change(self) -> None:
  76         with open(os.path.join(self.test_driver.repo_dir, "qux.php"), "w") as f:
  77             f.write(
  78                 """<?hh //partial
  79 class Qux {
  80   public function f() {
  81     $x = new Foo();
  82     $x->f();
  83   }
  84 }
  85 """
  86             )
  87         self.test_driver.start_hh_server(changed_files=["qux.php"])
  88         self.test_driver.check_cmd(["No errors!"])
  89         debug_sub = self.test_driver.subscribe_debug()
  90         with open(os.path.join(self.test_driver.repo_dir, "foo.php"), "w") as f:
  91             f.write(
  92                 """<?hh //partial
  93 class Foo {
  94   public function f(): void {}
  95   public final function g() {}
  96 }
  97 """
  98             )
  99         msgs = debug_sub.get_incremental_logs()
 100         self.assertEqual(set(msgs["to_redecl_phase1"]["files"]), set(["foo.php"]))
 101         # FIXME: redeclaring qux.php is unnecessary
 102         self.assertEqual(
 103             set(msgs["to_redecl_phase2"]["files"]),
 104             set(["foo.php", "bar.php", "baz.php", "qux.php"]),
 105         )
 106         self.assertEqual(
 107             set(msgs["to_recheck"]["files"]),
 108             set(["foo.php", "bar.php", "baz.php", "qux.php"]),
 109         )