You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
211 lines
7.9 KiB
PHP
211 lines
7.9 KiB
PHP
<?php
|
|
/**
|
|
* Zend Framework
|
|
*
|
|
* LICENSE
|
|
*
|
|
* This source file is subject to the new BSD license that is bundled
|
|
* with this package in the file LICENSE.txt.
|
|
* It is also available through the world-wide-web at this URL:
|
|
* http://framework.zend.com/license/new-bsd
|
|
* If you did not receive a copy of the license and are unable to
|
|
* obtain it through the world-wide-web, please send an email
|
|
* to license@zend.com so we can send you a copy immediately.
|
|
*
|
|
* @category Zend
|
|
* @package Zend_Search_Lucene
|
|
* @subpackage UnitTests
|
|
* @copyright Copyright (c) 2005-2009 Zend Technologies USA Inc. (http://www.zend.com)
|
|
* @license http://framework.zend.com/license/new-bsd New BSD License
|
|
* @version $Id: FSMTest.php 17363 2009-08-03 07:40:18Z bkarwin $
|
|
*/
|
|
|
|
/**
|
|
* Zend_Search_Lucene_FSM
|
|
*/
|
|
require_once 'Zend/Search/Lucene/FSM.php';
|
|
|
|
/**
|
|
* PHPUnit test case
|
|
*/
|
|
require_once 'PHPUnit/Framework/TestCase.php';
|
|
|
|
/**
|
|
* @category Zend
|
|
* @package Zend_Search_Lucene
|
|
* @subpackage UnitTests
|
|
* @copyright Copyright (c) 2005-2009 Zend Technologies USA Inc. (http://www.zend.com)
|
|
* @license http://framework.zend.com/license/new-bsd New BSD License
|
|
*/
|
|
class Zend_Search_Lucene_FSM_testClass
|
|
{
|
|
public $action1Passed = false;
|
|
public $action2Passed = false;
|
|
public $action3Passed = false;
|
|
public $action4Passed = false;
|
|
public $action5Passed = false;
|
|
public $action6Passed = false;
|
|
public $action7Passed = false;
|
|
public $action8Passed = false;
|
|
|
|
public function action1() { $this->action1Passed = true; }
|
|
public function action2() { $this->action2Passed = true; }
|
|
public function action3() { $this->action3Passed = true; }
|
|
public function action4() { $this->action4Passed = true; }
|
|
public function action5() { $this->action5Passed = true; }
|
|
public function action6() { $this->action6Passed = true; }
|
|
public function action7() { $this->action7Passed = true; }
|
|
public function action8() { $this->action8Passed = true; }
|
|
}
|
|
|
|
/**
|
|
* @category Zend
|
|
* @package Zend_Search_Lucene
|
|
* @subpackage UnitTests
|
|
* @copyright Copyright (c) 2005-2009 Zend Technologies USA Inc. (http://www.zend.com)
|
|
* @license http://framework.zend.com/license/new-bsd New BSD License
|
|
*/
|
|
class Zend_Search_Lucene_FSM_testFSMClass extends Zend_Search_Lucene_FSM
|
|
{
|
|
const OPENED = 0;
|
|
const CLOSED = 1;
|
|
const CLOSED_AND_LOCKED = 2;
|
|
|
|
const OPENED_AND_LOCKED = 3; // Wrong state, should not be used
|
|
|
|
|
|
const OPEN = 0;
|
|
const CLOSE = 1;
|
|
const LOCK = 3;
|
|
const UNLOCK = 4;
|
|
|
|
/**
|
|
* Object to trace FSM actions
|
|
*
|
|
* @var Zend_Search_Lucene_FSM_testClass
|
|
*/
|
|
public $actionTracer;
|
|
|
|
public function __construct()
|
|
{
|
|
$this->actionTracer = new Zend_Search_Lucene_FSM_testClass();
|
|
|
|
$this->addStates(array(self::OPENED, self::CLOSED, self::CLOSED_AND_LOCKED));
|
|
$this->addInputSymbols(array(self::OPEN, self::CLOSE, self::LOCK, self::UNLOCK));
|
|
|
|
$unlockAction = new Zend_Search_Lucene_FSMAction($this->actionTracer, 'action4');
|
|
$openAction = new Zend_Search_Lucene_FSMAction($this->actionTracer, 'action6');
|
|
$closeEntryAction = new Zend_Search_Lucene_FSMAction($this->actionTracer, 'action2');
|
|
$closeExitAction = new Zend_Search_Lucene_FSMAction($this->actionTracer, 'action8');
|
|
|
|
$this->addRules(array( array(self::OPENED, self::CLOSE, self::CLOSED),
|
|
array(self::CLOSED, self::OPEN, self::OPEN),
|
|
array(self::CLOSED, self::LOCK, self::CLOSED_AND_LOCKED),
|
|
array(self::CLOSED_AND_LOCKED, self::UNLOCK, self::CLOSED, $unlockAction),
|
|
));
|
|
|
|
$this->addInputAction(self::CLOSED_AND_LOCKED, self::UNLOCK, $unlockAction);
|
|
|
|
$this->addTransitionAction(self::CLOSED, self::OPENED, $openAction);
|
|
|
|
$this->addEntryAction(self::CLOSED, $closeEntryAction);
|
|
|
|
$this->addExitAction(self::CLOSED, $closeExitAction);
|
|
}
|
|
}
|
|
|
|
/**
|
|
* @category Zend
|
|
* @package Zend_Search_Lucene
|
|
* @subpackage UnitTests
|
|
* @copyright Copyright (c) 2005-2009 Zend Technologies USA Inc. (http://www.zend.com)
|
|
* @license http://framework.zend.com/license/new-bsd New BSD License
|
|
* @group Zend_Search_Lucene
|
|
*/
|
|
class Zend_Search_Lucene_FSMTest extends PHPUnit_Framework_TestCase
|
|
{
|
|
public function testCreate()
|
|
{
|
|
$doorFSM = new Zend_Search_Lucene_FSM_testFSMClass();
|
|
|
|
$this->assertTrue($doorFSM instanceof Zend_Search_Lucene_FSM);
|
|
$this->assertEquals($doorFSM->getState(), Zend_Search_Lucene_FSM_testFSMClass::OPENED);
|
|
}
|
|
|
|
public function testSetState()
|
|
{
|
|
$doorFSM = new Zend_Search_Lucene_FSM_testFSMClass();
|
|
|
|
$this->assertEquals($doorFSM->getState(), Zend_Search_Lucene_FSM_testFSMClass::OPENED);
|
|
|
|
$doorFSM->setState(Zend_Search_Lucene_FSM_testFSMClass::CLOSED_AND_LOCKED);
|
|
$this->assertEquals($doorFSM->getState(), Zend_Search_Lucene_FSM_testFSMClass::CLOSED_AND_LOCKED );
|
|
|
|
$wrongStateExceptionCatched = false;
|
|
try {
|
|
$doorFSM->setState(Zend_Search_Lucene_FSM_testFSMClass::OPENED_AND_LOCKED);
|
|
} catch(Zend_Search_Exception $e) {
|
|
$wrongStateExceptionCatched = true;
|
|
}
|
|
$this->assertTrue($wrongStateExceptionCatched);
|
|
}
|
|
|
|
public function testReset()
|
|
{
|
|
$doorFSM = new Zend_Search_Lucene_FSM_testFSMClass();
|
|
|
|
$doorFSM->setState(Zend_Search_Lucene_FSM_testFSMClass::CLOSED_AND_LOCKED);
|
|
$this->assertEquals($doorFSM->getState(), Zend_Search_Lucene_FSM_testFSMClass::CLOSED_AND_LOCKED);
|
|
|
|
$doorFSM->reset();
|
|
$this->assertEquals($doorFSM->getState(), Zend_Search_Lucene_FSM_testFSMClass::OPENED);
|
|
}
|
|
|
|
public function testProcess()
|
|
{
|
|
$doorFSM = new Zend_Search_Lucene_FSM_testFSMClass();
|
|
|
|
$doorFSM->process(Zend_Search_Lucene_FSM_testFSMClass::CLOSE);
|
|
$this->assertEquals($doorFSM->getState(), Zend_Search_Lucene_FSM_testFSMClass::CLOSED);
|
|
|
|
$doorFSM->process(Zend_Search_Lucene_FSM_testFSMClass::LOCK);
|
|
$this->assertEquals($doorFSM->getState(), Zend_Search_Lucene_FSM_testFSMClass::CLOSED_AND_LOCKED);
|
|
|
|
$doorFSM->process(Zend_Search_Lucene_FSM_testFSMClass::UNLOCK);
|
|
$this->assertEquals($doorFSM->getState(), Zend_Search_Lucene_FSM_testFSMClass::CLOSED);
|
|
|
|
$doorFSM->process(Zend_Search_Lucene_FSM_testFSMClass::OPEN);
|
|
$this->assertEquals($doorFSM->getState(), Zend_Search_Lucene_FSM_testFSMClass::OPENED);
|
|
|
|
$wrongInputExceptionCatched = false;
|
|
try {
|
|
$doorFSM->process(Zend_Search_Lucene_FSM_testFSMClass::LOCK);
|
|
} catch(Zend_Search_Exception $e) {
|
|
$wrongInputExceptionCatched = true;
|
|
}
|
|
$this->assertTrue($wrongInputExceptionCatched);
|
|
}
|
|
|
|
public function testActions()
|
|
{
|
|
$doorFSM = new Zend_Search_Lucene_FSM_testFSMClass();
|
|
|
|
$this->assertFalse($doorFSM->actionTracer->action2Passed /* 'closed' state entry action*/);
|
|
$doorFSM->process(Zend_Search_Lucene_FSM_testFSMClass::CLOSE);
|
|
$this->assertTrue($doorFSM->actionTracer->action2Passed);
|
|
|
|
$this->assertFalse($doorFSM->actionTracer->action8Passed /* 'closed' state exit action*/);
|
|
$doorFSM->process(Zend_Search_Lucene_FSM_testFSMClass::LOCK);
|
|
$this->assertTrue($doorFSM->actionTracer->action8Passed);
|
|
|
|
$this->assertFalse($doorFSM->actionTracer->action4Passed /* 'closed&locked' state +'unlock' input action */);
|
|
$doorFSM->process(Zend_Search_Lucene_FSM_testFSMClass::UNLOCK);
|
|
$this->assertTrue($doorFSM->actionTracer->action4Passed);
|
|
|
|
$this->assertFalse($doorFSM->actionTracer->action6Passed /* 'locked' -> 'opened' transition action action */);
|
|
$doorFSM->process(Zend_Search_Lucene_FSM_testFSMClass::OPEN);
|
|
$this->assertTrue($doorFSM->actionTracer->action6Passed);
|
|
}
|
|
}
|
|
|