<?php

/*
   +-------------------------------------------------------------+
   | Copyright (c) 2015 Facebook, Inc. (http://www.facebook.com) |
   +-------------------------------------------------------------+
*/

error_reporting(-1);

// Try to require a non-existant file

//$inc = require_once('XXPositions.inc');
//var_dump($inc);

echo "----------------------------------\n";

// require an existing file

$inc = require('Positions.inc');
//$inc = require_once('Positions.inc');
var_dump($inc);

// require an existing file. It doesn't matter if the first require was with/without
// _once; subsequent use of require_once returns true

$inc = require_once('Positions.inc');
var_dump($inc);

var_dump(Positions\LEFT);
var_dump(Positions\TOP);

echo "----------------------------------\n";

///*
// require Point.inc to get at the Point class type

$inc = require('Point.inc');
var_dump($inc);

$p1 = new Point(10,20);
//*/

echo "----------------------------------\n";

// require Circle.inc to get at the Circle class type, which in turn uses the Point type

$inc = require('Circle.inc');
var_dump($inc);

$p2 = new Point(5, 6);
$c1 = new Circle(9, 7, 2.4);

echo "----------------------------------\n";

// get the set of required files

print_r(get_required_files());
