@generated
!@#$%codegentest:testAutogenerated
<?hh // strict
// Codegen Tests
/**
 * This file is generated. Do not modify it manually!
 *
 * Completely autogenerated!
 *
 * @-generated SignedSource<<e071d07d9cb3a77e37f24ecfc972a120>>
 */

class AllAutogenerated {

  public function getName(): string {
    return $this->name;
  }
}

!@#$%codegentest:testConstants
<?hh // strict
// Codegen Tests
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<3081d5c20598b6bd1aa52a8035ffd207>>
 */
namespace Foo\Bar;
use namespace Herp\Derp;

const string FOO = 'bar';

/**
 * doc comment
 */
const string HERP = 'derp';

!@#$%codegentest:testDotHackExecutable
#!/usr/bin/env hhvm
// Codegen Tests
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<2e680a68425d6302b789a6588a8218e4>>
 */

<<__EntryPoint>>
function main(): noreturn {
  exit(0);
}

!@#$%codegentest:testExecutable
#!/usr/bin/env hhvm
<?hh // partial
// Codegen Tests
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<01b3a9234148420d95059e79f8a1d8a7>>
 */
require_once('vendor/autoload.php');

function main(): void {
  print("Hello, world!\n");
}

main();

!@#$%codegentest:testFormattingFullyGeneratedFile
<?hh // strict
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<8873291d72dbb45b8a9e70890f7d2f0a>>
 */

function my_func(
  string $aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
  string $bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
): (string, string) {
  return tuple(
    $aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
    $bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
  );
}

!@#$%codegentest:testFormattingFullyGeneratedFileWithOptions
<?hh // strict
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<edb2ec6abbf7356621b98a5eac852996>>
 */

function my_func(
	string $aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
	string $bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
): (string, string) {
	return tuple(
		$aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
		$bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
	);
}

!@#$%codegentest:testFormattingFullyGeneratedFileWithTabs
<?hh // strict
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<763ad93f9a1a4caf70638a8de8786e49>>
 */

function my_func(
	string $aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
	string $bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
): (string, string) {
	return tuple($aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, $bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb);
}

!@#$%codegentest:testFormattingPartiallyGeneratedFile
<?hh // strict
/**
 * This file is partially generated. Only make modifications between BEGIN
 * MANUAL SECTION and END MANUAL SECTION designators.
 *
 * @-partially-generated SignedSource<<a6295bf3f813f9420063cf2da7478571>>
 */

function my_func(
  string $aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
  string $bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
): (string, string) {
  /* BEGIN MANUAL SECTION whut */
  /* END MANUAL SECTION */
  return tuple(
    $aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
    $bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
  );
}

!@#$%codegentest:testFormattingUnsignedFile
<?hh // strict

function my_func(
  string $aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
  string $bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
): (string, string) {
  return tuple(
    $aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
    $bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
  );
}

!@#$%codegentest:testGenerateEnums
<?hh // strict
// Codegen Tests
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<9627a8d7e6cf7a65a9bf2ad85d657e03>>
 */


enum TestEnum : int {
  FIRST = 0;
  SECOND = 1;
}

!@#$%codegentest:testGenerateTopLevelFunctions
<?hh // strict
// Codegen Tests
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<36d9f7267f98197421aa97d0c84ca8f5>>
 */

function fun(): int {
  return 0;
}

!@#$%codegentest:testNamespace
<?hh // strict
// Codegen Tests
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<962f609e88de287eef0d9c8eb42c6fce>>
 */
namespace MyNamespace;
use namespace Another\Space;
use type My\Space\Bar as bar;
use function My\Space\my_function as f;
use const My\Space\MAX_RETRIES;

class Foo {
}

!@#$%codegentest:testNoSignature
<?hh // strict
// Codegen Tests
/**
 * Completely autogenerated!
 */

class NoSignature {

  public function getName(): string {
    return $this->name;
  }
}

!@#$%codegentest:testPartiallyGenerated
<?hh // strict
// Codegen Tests
/**
 * This file is partially generated. Only make modifications between BEGIN
 * MANUAL SECTION and END MANUAL SECTION designators.
 *
 * @-partially-generated SignedSource<<f45c8764e5eddd1d8ce7cb55633a7810>>
 */

class PartiallyGenerated {

  public function getSomething() {
    /* BEGIN MANUAL SECTION PartiallyGenerated::getSomething */
    throw new ViolationException('Unimplemented');
    /* END MANUAL SECTION */
  }
}

/**
 * We can put many clases in one file!
 */
class PartiallyGeneratedLoader {
}

!@#$%codegentest:testPhpFile
<?php
// Codegen Tests
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<75ccd5361b4a4337b9ded246a44f3b4c>>
 */

class Foo {
}

!@#$%codegentest:testSaveAutogenerated
<?hh // strict
// Codegen Tests
/**
 * This file is generated. Do not modify it manually!
 *
 * Testing CodegenFile with autogenerated files
 *
 * @-generated SignedSource<<6a105a3097cde1632d78096f693751c6>>
 */

class Demo {

  public function getName() {
    return "Codegen";
  }
}

!@#$%codegentest:testSavePartiallyGenerated
<?hh // strict
// Codegen Tests
/**
 * This file is partially generated. Only make modifications between BEGIN
 * MANUAL SECTION and END MANUAL SECTION designators.
 *
 * Testing CodegenFile with partially generated files
 *
 * @-partially-generated SignedSource<<500fa4945d39860935bb0c92a72477a0>>
 */

class Demo {

  public function getName() {
    /* BEGIN MANUAL SECTION Demo::getName */
    // manual_section_here
    /* END MANUAL SECTION */
  }
}

!@#$%codegentest:testStrictFile
<?hh // strict
// Codegen Tests
/**
 * This file is generated. Do not modify it manually!
 *
 * @-generated SignedSource<<5c0182dcd097a22f08d4dfbcc555c52c>>
 */

class Foo {
}