--- /dev/null
+<?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 Search
+ * @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: BooleanExpressionRecognizer.php 16971 2009-07-22 18:05:45Z mikaelkael $
+ */
+
+
+/** Zend_Search_Lucene_FSM */
+require_once 'Zend/Search/Lucene/FSM.php';
+
+/** Zend_Search_Lucene_Search_QueryToken */
+require_once 'Zend/Search/Lucene/Search/QueryToken.php';
+
+/** Zend_Search_Lucene_Search_QueryParser */
+require_once 'Zend/Search/Lucene/Search/QueryParser.php';
+
+/**
+ * @category Zend
+ * @package Zend_Search_Lucene
+ * @subpackage Search
+ * @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_Search_BooleanExpressionRecognizer extends Zend_Search_Lucene_FSM
+{
+ /** State Machine states */
+ const ST_START = 0;
+ const ST_LITERAL = 1;
+ const ST_NOT_OPERATOR = 2;
+ const ST_AND_OPERATOR = 3;
+ const ST_OR_OPERATOR = 4;
+
+ /** Input symbols */
+ const IN_LITERAL = 0;
+ const IN_NOT_OPERATOR = 1;
+ const IN_AND_OPERATOR = 2;
+ const IN_OR_OPERATOR = 3;
+
+
+ /**
+ * NOT operator signal
+ *
+ * @var boolean
+ */
+ private $_negativeLiteral = false;
+
+ /**
+ * Current literal
+ *
+ * @var mixed
+ */
+ private $_literal;
+
+
+ /**
+ * Set of boolean query conjunctions
+ *
+ * Each conjunction is an array of conjunction elements
+ * Each conjunction element is presented with two-elements array:
+ * array(<literal>, <is_negative>)
+ *
+ * So, it has a structure:
+ * array( array( array(<literal>, <is_negative>), // first literal of first conjuction
+ * array(<literal>, <is_negative>), // second literal of first conjuction
+ * ...
+ * array(<literal>, <is_negative>)
+ * ), // end of first conjuction
+ * array( array(<literal>, <is_negative>), // first literal of second conjuction
+ * array(<literal>, <is_negative>), // second literal of second conjuction
+ * ...
+ * array(<literal>, <is_negative>)
+ * ), // end of second conjuction
+ * ...
+ * ) // end of structure
+ *
+ * @var array
+ */
+ private $_conjunctions = array();
+
+ /**
+ * Current conjuction
+ *
+ * @var array
+ */
+ private $_currentConjunction = array();
+
+
+ /**
+ * Object constructor
+ */
+ public function __construct()
+ {
+ parent::__construct( array(self::ST_START,
+ self::ST_LITERAL,
+ self::ST_NOT_OPERATOR,
+ self::ST_AND_OPERATOR,
+ self::ST_OR_OPERATOR),
+ array(self::IN_LITERAL,
+ self::IN_NOT_OPERATOR,
+ self::IN_AND_OPERATOR,
+ self::IN_OR_OPERATOR));
+
+ $emptyOperatorAction = new Zend_Search_Lucene_FSMAction($this, 'emptyOperatorAction');
+ $emptyNotOperatorAction = new Zend_Search_Lucene_FSMAction($this, 'emptyNotOperatorAction');
+
+ $this->addRules(array( array(self::ST_START, self::IN_LITERAL, self::ST_LITERAL),
+ array(self::ST_START, self::IN_NOT_OPERATOR, self::ST_NOT_OPERATOR),
+
+ array(self::ST_LITERAL, self::IN_AND_OPERATOR, self::ST_AND_OPERATOR),
+ array(self::ST_LITERAL, self::IN_OR_OPERATOR, self::ST_OR_OPERATOR),
+ array(self::ST_LITERAL, self::IN_LITERAL, self::ST_LITERAL, $emptyOperatorAction),
+ array(self::ST_LITERAL, self::IN_NOT_OPERATOR, self::ST_NOT_OPERATOR, $emptyNotOperatorAction),
+
+ array(self::ST_NOT_OPERATOR, self::IN_LITERAL, self::ST_LITERAL),
+
+ array(self::ST_AND_OPERATOR, self::IN_LITERAL, self::ST_LITERAL),
+ array(self::ST_AND_OPERATOR, self::IN_NOT_OPERATOR, self::ST_NOT_OPERATOR),
+
+ array(self::ST_OR_OPERATOR, self::IN_LITERAL, self::ST_LITERAL),
+ array(self::ST_OR_OPERATOR, self::IN_NOT_OPERATOR, self::ST_NOT_OPERATOR),
+ ));
+
+ $notOperatorAction = new Zend_Search_Lucene_FSMAction($this, 'notOperatorAction');
+ $orOperatorAction = new Zend_Search_Lucene_FSMAction($this, 'orOperatorAction');
+ $literalAction = new Zend_Search_Lucene_FSMAction($this, 'literalAction');
+
+
+ $this->addEntryAction(self::ST_NOT_OPERATOR, $notOperatorAction);
+ $this->addEntryAction(self::ST_OR_OPERATOR, $orOperatorAction);
+ $this->addEntryAction(self::ST_LITERAL, $literalAction);
+ }
+
+
+ /**
+ * Process next operator.
+ *
+ * Operators are defined by class constants: IN_AND_OPERATOR, IN_OR_OPERATOR and IN_NOT_OPERATOR
+ *
+ * @param integer $operator
+ */
+ public function processOperator($operator)
+ {
+ $this->process($operator);
+ }
+
+ /**
+ * Process expression literal.
+ *
+ * @param integer $operator
+ */
+ public function processLiteral($literal)
+ {
+ $this->_literal = $literal;
+
+ $this->process(self::IN_LITERAL);
+ }
+
+ /**
+ * Finish an expression and return result
+ *
+ * Result is a set of boolean query conjunctions
+ *
+ * Each conjunction is an array of conjunction elements
+ * Each conjunction element is presented with two-elements array:
+ * array(<literal>, <is_negative>)
+ *
+ * So, it has a structure:
+ * array( array( array(<literal>, <is_negative>), // first literal of first conjuction
+ * array(<literal>, <is_negative>), // second literal of first conjuction
+ * ...
+ * array(<literal>, <is_negative>)
+ * ), // end of first conjuction
+ * array( array(<literal>, <is_negative>), // first literal of second conjuction
+ * array(<literal>, <is_negative>), // second literal of second conjuction
+ * ...
+ * array(<literal>, <is_negative>)
+ * ), // end of second conjuction
+ * ...
+ * ) // end of structure
+ *
+ * @return array
+ * @throws Zend_Search_Lucene_Exception
+ */
+ public function finishExpression()
+ {
+ if ($this->getState() != self::ST_LITERAL) {
+ require_once 'Zend/Search/Lucene/Exception.php';
+ throw new Zend_Search_Lucene_Exception('Literal expected.');
+ }
+
+ $this->_conjunctions[] = $this->_currentConjunction;
+
+ return $this->_conjunctions;
+ }
+
+
+
+ /*********************************************************************
+ * Actions implementation
+ *********************************************************************/
+
+ /**
+ * default (omitted) operator processing
+ */
+ public function emptyOperatorAction()
+ {
+ if (Zend_Search_Lucene_Search_QueryParser::getDefaultOperator() == Zend_Search_Lucene_Search_QueryParser::B_AND) {
+ // Do nothing
+ } else {
+ $this->orOperatorAction();
+ }
+
+ // Process literal
+ $this->literalAction();
+ }
+
+ /**
+ * default (omitted) + NOT operator processing
+ */
+ public function emptyNotOperatorAction()
+ {
+ if (Zend_Search_Lucene_Search_QueryParser::getDefaultOperator() == Zend_Search_Lucene_Search_QueryParser::B_AND) {
+ // Do nothing
+ } else {
+ $this->orOperatorAction();
+ }
+
+ // Process NOT operator
+ $this->notOperatorAction();
+ }
+
+
+ /**
+ * NOT operator processing
+ */
+ public function notOperatorAction()
+ {
+ $this->_negativeLiteral = true;
+ }
+
+ /**
+ * OR operator processing
+ * Close current conjunction
+ */
+ public function orOperatorAction()
+ {
+ $this->_conjunctions[] = $this->_currentConjunction;
+ $this->_currentConjunction = array();
+ }
+
+ /**
+ * Literal processing
+ */
+ public function literalAction()
+ {
+ // Add literal to the current conjunction
+ $this->_currentConjunction[] = array($this->_literal, !$this->_negativeLiteral);
+
+ // Switch off negative signal
+ $this->_negativeLiteral = false;
+ }
+}