PHP Classes

File: Falcraft/examples/Data/Types/TaggedUnion.php

Recommend this page to a friend!
  Classes of Asher Wolfstein   Abstract Data Types   Falcraft/examples/Data/Types/TaggedUnion.php   Download  
File: Falcraft/examples/Data/Types/TaggedUnion.php
Role: Example script
Content type: text/plain
Description: Tagged Union Example
Class: Abstract Data Types
Set of abstract data types as pure PHP classes
Author: By
Last change:
Date: 9 years ago
Size: 2,812 bytes
 

Contents

Class file image Download
<?php

require_once('../../../Data/Types/Restrictions.php');
require_once(
'../../../Data/Types/TaggedUnion.php');
require_once(
'../../../Data/Types/Range.php');
require_once(
'../../../Data/Types/Stack.php');
require_once(
'../../../Data/Types/Type.php');

use
Falcraft\Data\Types;
use
Falcraft\Data\Types\Type;

echo
"Falcraft\\Data\\Types\\TaggedUnion.php Test\n";
echo
"----------------------------------------\n\n";

echo
"Basic Instantiation (Boolean, String) -> ";

$success = true;

$testRestrictions = $testTaggedUnion = null;

try {
   
$testRestrictions = new Types\Restrictions(
        array(
Type::BASIC_BOOL, Type::BASIC_STRING,)
    );
   
   
$testTaggedUnion = new Types\TaggedUnion($testRestrictions);
} catch (\
Exception $e) {
   
$success = false;
}

if (
$success) {
    echo
"Success!\n";
} else {
    echo
"Failure...\n";
}

echo
"Setting Tagged Union Values -> \n";
echo
" Set Boolean -> ";

try {
   
$testTaggedUnion->set(true);
    if (
$testTaggedUnion->get() === true) {
        echo
"Yes\n";
    } else {
        echo
"No\n";
    }
} catch (\
Exception $e) {
    echo
"No\n";
}

echo
" Set String -> ";

try {
   
$testTaggedUnion->set('string');
    if (
$testTaggedUnion->get() === 'string') {
        echo
"Yes\n";
    } else {
        echo
"No\n";
    }
} catch (\
Exception $e) {
    echo
"No\n";
}

echo
" Set Integer -> ";

try {
   
$testTaggedUnion->set(5);
    echo
"Yes\n";
} catch (\
Exception $e) {
    echo
"No\n";
}

echo
"Typed Object Instantiation -> ";

$success = true;

$testRestrictions = $testTaggedUnion = null;

try {
   
$testRestrictions = new Types\Restrictions(
        array(
Type::BASIC_INT, Type::TYPED_OBJECT,),
        array(
'Falcraft\\Data\\Types\\Range')
    );
   
   
$testTaggedUnion = new Types\TaggedUnion($testRestrictions);
} catch (\
Exception $e) {
   
$success = false;
}

if (
$success) {
    echo
"Success!\n";
} else {
    echo
"Failure...\n";
}

echo
"Setting Tagged Union Values -> \n";
echo
" Integer -> ";

try {
   
$testTaggedUnion->set(5);
    if (
$testTaggedUnion->get() == 5) {
        echo
"Yes - Type: \n\n";
       
var_dump($testTaggedUnion->getType());
        echo
"\n";
    } else {
        echo
"No\n";
    }
} catch (\
Exception $e) {
    echo
"No\n";
}

echo
" Falcraft\\Data\\Types\\Range -> ";

try {
   
$testRange = new Types\Range();
   
$testTaggedUnion->set($testRange);
    if (
$testTaggedUnion->get() instanceof Types\Range) {
        echo
"Yes - Type: \n\n";
       
var_dump($testTaggedUnion->getType());
        echo
"\n";
    } else {
        echo
"No\n";
    }
} catch (\
Exception $e) {
    echo
"No\n";
}

echo
" Falcraft\\Data\\Types\\Stack -> ";

try {
   
$testStack = new Types\Stack();
   
$testTaggedUnion->set($testStack);
    echo
"Yes\n";
} catch (\
Exception $e) {
    echo
"No\n";
}