palate 0.3.8

File type detection combining tft and hyperpolyglot
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

<?hh // strict
/**
 * Copyright (c) 2014, Facebook, Inc.
 * All rights reserved.
 *
 * This source code is licensed under the BSD-style license found in the
 * LICENSE file in the root directory of this source tree. An additional grant
 * of patent rights can be found in the PATENTS file in the same directory.
 *
 */

require_once $_SERVER['DOCUMENT_ROOT'].'/core/controller/recipe/init.php';
require_once "demo.php";

class UserIDRecipe extends Recipe implements RecipeWithDemo {

  protected function getName(): string {
    return 'User ID';
  }

  <<Override>>
  protected function getDescription(): ?string {
    return 'Protect your user IDs from being confused with normal ints';
  }

  protected function getFilenames(): Vector<string> {
    return Vector {
      'UserID.php',
      'UsingUserID.php',
    };
  }

  protected function getDocs(): Vector<(string, string)> {
    return Vector {
      tuple('Opaque Type Aliasing',  'hack.typealiasing.opaquetypealiasing'),
      tuple(
        'Opaque Type Aliasing with Constraints',
        'hack.typealiasing.opaquewithconstraints',
      ),
    };
  }

  public function getDemoFilename(): string {
    return 'demo.php';
  }

  public function getDemoResult(): string {
    return user_id_main();
  }

  public function getDemoXHP(): ?:xhp {
    return null;
  }
}