Benjamin Zikarsky bzikarsky

## hhvm-async-test.php
<?hh

async function stream_check(resource $stream, string $mode, int $usec): Awaitable<void>
{
    $r = $w = $e = null;

    do {
        if ($mode == "r") {
            $r = Vector{$stream};
        }

## mongo_session_bench.php
<?php

$mongo = new MongoClient();
$db = $mongo->test;
$collection = $db->selectCollection('session');
$sessionCount = $argv[1];
$sampleCount = $argv[2];
$samples = [];

// Setup collection

## test.bash
#!/bin/bash

DB="test"
COL="tz"
ZONES="London Berlin Istanbul"
DATE="2000-01-01"

echo "System timezone: $(date -R)"

echo ""

## mongo-tz-test-alterantive.bash
#!/bin/bash

DB="test"
COL="tz"
ZONES="London Berlin Istanbul"
DATE="2000-01-01"

echo "System timezone: $(date -R)"

echo ""

## example.php
<?php

// this is our generator, dns\* and socket\* are assumed
// to be async functions returning promises
function read_data_from($hostname, $port) {
  $ip = yield dns\resolve($hostname);
  $socket = yield socket\connect($ip, $port);

  echo yield socket\read(1024);
};

## Enum.php
<?php

/**
 * This class provides an enum-like type (as in Java) for PHP
 *
 * To create an enum, the enum has to extends this Enum class and defined
 * a static protected array $enum with its entites.
 * This array can be either a normal collection, e.g.
 *
 * <code>

## Enum.examples.php
<?php

class Gender extends Enum
{
    protected static $enum = array(
        'MALE'   => array('male', 'm', 'Dear Mr.'),
        'FEMALE' => array('female', 'f', 'Dear Ms.')
    );


## NumberToWordConverter.php
<?php

class NumberToWordConverter
{
    private $numbers = array(
        '', 'ein',  'zwei', 'drei', 'vier', 'fünf', 'sech',
            'sieb', 'acht', 'neun', 'zehn', 'elf',  'zwölf'
    );

    private $numbersSingle = array(

## vm.js
String.prototype.lpad = function(length, padString) {
  var str = this;
  if (padString == undefined) {
    padString = ' ';
  }

  while (str.length < length) {
    str = padString + str;
  }


## vm.html
<html>
  <head>
    <title>VM</title>
    <style type="text/css">
      body {
        font-family: "Courier New";
        font-size: .8em;
      }
	<?hh

	async function stream_check(resource $stream, string $mode, int $usec): Awaitable<void>
	{
	$r = $w = $e = null;

	do {
	if ($mode == "r") {
	$r = Vector{$stream};
	}
	<?php

	$mongo = new MongoClient();
	$db = $mongo->test;
	$collection = $db->selectCollection('session');
	$sessionCount = $argv[1];
	$sampleCount = $argv[2];
	$samples = [];

	// Setup collection
	#!/bin/bash

	DB="test"
	COL="tz"
	ZONES="London Berlin Istanbul"
	DATE="2000-01-01"

	echo "System timezone: $(date -R)"

	echo ""
	<?php

	// this is our generator, dns\* and socket\* are assumed
	// to be async functions returning promises
	function read_data_from($hostname, $port) {
	$ip = yield dns\resolve($hostname);
	$socket = yield socket\connect($ip, $port);

	echo yield socket\read(1024);
	};
	<?php

	/**
	* This class provides an enum-like type (as in Java) for PHP
	*
	* To create an enum, the enum has to extends this Enum class and defined
	* a static protected array $enum with its entites.
	* This array can be either a normal collection, e.g.
	*
	* <code>
	<?php

	class Gender extends Enum
	{
	protected static $enum = array(
	'MALE' => array('male', 'm', 'Dear Mr.'),
	'FEMALE' => array('female', 'f', 'Dear Ms.')
	);
	<?php

	class NumberToWordConverter
	{
	private $numbers = array(
	'', 'ein', 'zwei', 'drei', 'vier', 'fünf', 'sech',
	'sieb', 'acht', 'neun', 'zehn', 'elf', 'zwölf'
	);

	private $numbersSingle = array(
	String.prototype.lpad = function(length, padString) {
	var str = this;
	if (padString == undefined) {
	padString = ' ';
	}

	while (str.length < length) {
	str = padString + str;
	}
	<html>
	<head>
	<title>VM</title>
	<style type="text/css">
	body {
	font-family: "Courier New";
	font-size: .8em;
	}