Support switch statements
commit4c33e86bf38ead53f3605e746ed99275858162f2
authorSelina Kim <selinakim@fb.com>
Wed, 20 Jul 2022 22:27:10 +0000 (20 15:27 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 20 Jul 2022 22:27:10 +0000 (20 15:27 -0700)
treeaf866dda8c5f306f3bbbcc4af0cb980279f571b0
parenta8e784d599fe94bebd4e3dbf1fc8fabe09625da4
Support switch statements

Summary: Walker can now handle switch statements. Based on shape_analysis module.

Reviewed By: madgen

Differential Revision: D37836042

fbshipit-source-id: 02f92ea369a7d9c440d72f087bdb66f688624bdf
13 files changed:
hphp/hack/src/refactor_sd/refactor_sd_walker.ml
hphp/hack/test/refactor_sd/dump_constraints/switch.php [new file with mode: 0644]
hphp/hack/test/refactor_sd/dump_constraints/switch.php.exp [new file with mode: 0644]
hphp/hack/test/refactor_sd/dump_constraints/switch2.php [new file with mode: 0644]
hphp/hack/test/refactor_sd/dump_constraints/switch2.php.exp [new file with mode: 0644]
hphp/hack/test/refactor_sd/dump_constraints/switch3.php [new file with mode: 0644]
hphp/hack/test/refactor_sd/dump_constraints/switch3.php.exp [new file with mode: 0644]
hphp/hack/test/refactor_sd/simplify_constraints/switch.php [new file with mode: 0644]
hphp/hack/test/refactor_sd/simplify_constraints/switch.php.exp [new file with mode: 0644]
hphp/hack/test/refactor_sd/simplify_constraints/switch2.php [new file with mode: 0644]
hphp/hack/test/refactor_sd/simplify_constraints/switch2.php.exp [new file with mode: 0644]
hphp/hack/test/refactor_sd/simplify_constraints/switch3.php [new file with mode: 0644]
hphp/hack/test/refactor_sd/simplify_constraints/switch3.php.exp [new file with mode: 0644]