1
0
mirror of synced 2024-12-13 22:56:04 +03:00
doctrine2/lib/Doctrine/ORM/Query/Parser.php

2193 lines
70 KiB
PHP
Raw Normal View History

<?php
/*
* $Id$
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
* A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
* OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*
* This software consists of voluntary contributions made by many individuals
* and is licensed under the LGPL. For more information, see
* <http://www.doctrine-project.org>.
*/
namespace Doctrine\ORM\Query;
use Doctrine\Common\DoctrineException;
use Doctrine\ORM\Query;
use Doctrine\ORM\Query\AST;
use Doctrine\ORM\Query\Exec;
/**
* An LL(*) parser for the context-free grammar of the Doctrine Query Language.
* Parses a DQL query, reports any errors in it, and generates an AST.
*
* @author Guilherme Blanco <guilhermeblanco@hotmail.com>
* @author Janne Vanhala <jpvanhal@cc.hut.fi>
* @author Roman Borschel <roman@code-factory.org>
* @license http://www.opensource.org/licenses/lgpl-license.php LGPL
* @link http://www.doctrine-project.org
* @since 2.0
* @version $Revision$
*/
class Parser
{
/** Maps registered string function names to class names. */
private static $_STRING_FUNCTIONS = array(
'concat' => 'Doctrine\ORM\Query\AST\Functions\ConcatFunction',
'substring' => 'Doctrine\ORM\Query\AST\Functions\SubstringFunction',
'trim' => 'Doctrine\ORM\Query\AST\Functions\TrimFunction',
'lower' => 'Doctrine\ORM\Query\AST\Functions\LowerFunction',
'upper' => 'Doctrine\ORM\Query\AST\Functions\UpperFunction'
);
/** Maps registered numeric function names to class names. */
private static $_NUMERIC_FUNCTIONS = array(
'length' => 'Doctrine\ORM\Query\AST\Functions\LengthFunction',
'locate' => 'Doctrine\ORM\Query\AST\Functions\LocateFunction',
'abs' => 'Doctrine\ORM\Query\AST\Functions\AbsFunction',
'sqrt' => 'Doctrine\ORM\Query\AST\Functions\SqrtFunction',
'mod' => 'Doctrine\ORM\Query\AST\Functions\ModFunction',
'size' => 'Doctrine\ORM\Query\AST\Functions\SizeFunction'
);
/** Maps registered datetime function names to class names. */
private static $_DATETIME_FUNCTIONS = array(
'current_date' => 'Doctrine\ORM\Query\AST\Functions\CurrentDateFunction',
'current_time' => 'Doctrine\ORM\Query\AST\Functions\CurrentTimeFunction',
'current_timestamp' => 'Doctrine\ORM\Query\AST\Functions\CurrentTimestampFunction'
);
/**
* Path expressions that were encountered during parsing of SelectExpressions
* and still need to be validated.
*
* @var array
*/
private $_deferredPathExpressionStacks = array();
/**
2009-06-14 21:34:28 +04:00
* The lexer.
*
* @var Doctrine\ORM\Query\Lexer
*/
private $_lexer;
/**
2009-06-14 21:34:28 +04:00
* The parser result.
*
* @var Doctrine\ORM\Query\ParserResult
*/
private $_parserResult;
2009-06-14 21:34:28 +04:00
/**
* The EntityManager.
*
* @var EnityManager
*/
private $_em;
/**
* The Query to parse.
*
* @var Query
*/
private $_query;
/**
2009-06-14 21:34:28 +04:00
* Map of declared query components in the parsed query.
*
* @var array
*/
private $_queryComponents = array();
2009-06-14 21:34:28 +04:00
/**
* Tree walker chain
*
* @var TreeWalker
*/
private $_treeWalker;
/**
* Creates a new query parser object.
*
* @param Query $query The Query to parse.
*/
public function __construct(Query $query)
{
$this->_query = $query;
$this->_em = $query->getEntityManager();
$this->_lexer = new Lexer($query->getDql());
$this->_parserResult = new ParserResult();
}
/**
* Sets the custom tree walker.
*
* @param TreeWalker $treeWalker
*/
public function setTreeWalker($treeWalker)
{
$this->_treeWalker = $treeWalker;
}
/**
* Gets the lexer used by the parser.
*
* @return Doctrine\ORM\Query\Lexer
*/
public function getLexer()
{
return $this->_lexer;
}
/**
* Gets the ParserResult that is being filled with information during parsing.
*
* @return Doctrine\ORM\Query\ParserResult
*/
public function getParserResult()
{
return $this->_parserResult;
}
/**
* Gets the EntityManager used by the parser.
*
* @return EntityManager
*/
public function getEntityManager()
{
return $this->_em;
}
/**
* Registers a custom function that returns strings.
*
* @param string $name The function name.
* @param string $class The class name of the function implementation.
*/
public static function registerStringFunction($name, $class)
{
self::$_STRING_FUNCTIONS[$name] = $class;
}
/**
* Registers a custom function that returns numerics.
*
* @param string $name The function name.
* @param string $class The class name of the function implementation.
*/
public static function registerNumericFunction($name, $class)
{
self::$_NUMERIC_FUNCTIONS[$name] = $class;
}
/**
* Registers a custom function that returns date/time values.
*
* @param string $name The function name.
* @param string $class The class name of the function implementation.
*/
public static function registerDatetimeFunction($name, $class)
{
self::$_DATETIME_FUNCTIONS[$name] = $class;
}
/**
* Attempts to match the given token with the current lookahead token.
*
* If they match, updates the lookahead token; otherwise raises a syntax
* error.
*
* @param int|string token type or value
* @return bool True, if tokens match; false otherwise.
*/
public function match($token)
{
$key = (is_string($token)) ? 'value' : 'type';
if ( ! ($this->_lexer->lookahead[$key] === $token))
$this->syntaxError($this->_lexer->getLiteral($token));
$this->_lexer->moveNext();
}
/**
2009-06-14 21:34:28 +04:00
* Free this parser enabling it to be reused
*
* @param boolean $deep Whether to clean peek and reset errors
* @param integer $position Position to reset
*/
public function free($deep = false, $position = 0)
{
// WARNING! Use this method with care. It resets the scanner!
$this->_lexer->resetPosition($position);
// Deep = true cleans peek and also any previously defined errors
if ($deep) {
$this->_lexer->resetPeek();
}
$this->_lexer->token = null;
$this->_lexer->lookahead = null;
}
/**
* Parses a query string.
2009-06-14 21:34:28 +04:00
*
* @return ParserResult
*/
public function parse()
{
// Parse & build AST
2009-06-14 21:34:28 +04:00
$AST = $this->QueryLanguage();
// Check for end of string
if ($this->_lexer->lookahead !== null) {
$this->syntaxError('end of string');
}
// Create TreeWalker who creates the SQL from the AST
$treeWalker = $this->_treeWalker ?: new SqlWalker(
$this->_query, $this->_parserResult, $this->_queryComponents
);
// Assign an SQL executor to the parser result
$this->_parserResult->setSqlExecutor($treeWalker->getExecutor($AST));
return $this->_parserResult;
}
/**
* Generates a new syntax error.
*
* @param string $expected Optional expected string.
* @param array $token Optional token.
*/
public function syntaxError($expected = '', $token = null)
{
if ($token === null) {
$token = $this->_lexer->lookahead;
}
$tokenPos = (isset($token['position'])) ? $token['position'] : '-1';
$message = "line 0, col {$tokenPos}: Error: ";
if ($expected !== '') {
$message .= "Expected '{$expected}', got ";
} else {
$message .= 'Unexpected ';
}
if ($this->_lexer->lookahead === null) {
$message .= 'end of string.';
} else {
$message .= "'{$this->_lexer->lookahead['value']}'";
}
throw \Doctrine\ORM\Query\QueryException::syntaxError($message);
}
/**
* Generates a new semantical error.
*
* @param string $message Optional message.
* @param array $token Optional token.
*/
public function semanticalError($message = '', $token = null)
{
if ($token === null) {
$token = $this->_lexer->lookahead;
}
// Find a position of a final word to display in error string
$dql = $this->_query->getDql();
$pos = strpos($dql, ' ', $token['position'] + 10);
$length = ($pos !== false) ? $pos - $token['position'] : 10;
// Building informative message
$message = 'line 0, col ' . (isset($token['position']) ? $token['position'] : '-1')
. " near '" . substr($dql, $token['position'], $length) . "': Error: " . $message;
2009-07-16 03:20:11 +04:00
throw \Doctrine\ORM\Query\QueryException::semanticalError($message);
}
/**
* Peeks beyond the specified token and returns the first token after that one.
*/
private function _peekBeyond($token)
{
$peek = $this->_lexer->peek();
while ($peek['value'] != $token) {
$peek = $this->_lexer->peek();
}
$peek = $this->_lexer->peek();
$this->_lexer->resetPeek();
2009-06-14 21:34:28 +04:00
return $peek;
}
/**
* Checks if the next-next (after lookahead) token starts a function.
*
* @return boolean TRUE if the next-next tokens start a function, FALSE otherwise.
*/
private function _isFunction()
{
$peek = $this->_lexer->peek();
$nextpeek = $this->_lexer->peek();
$this->_lexer->resetPeek();
// We deny the COUNT(SELECT * FROM User u) here. COUNT won't be considered a function
return ($peek['value'] === '(' && $nextpeek['type'] !== Lexer::T_SELECT);
}
/**
* Checks whether the function with the given name is a string function
* (a function that returns strings).
*
* @return boolean TRUE if the token type is a string function, FALSE otherwise.
*/
private function _isStringFunction($funcName)
{
return isset(self::$_STRING_FUNCTIONS[strtolower($funcName)]);
}
/**
* Checks whether the function with the given name is a numeric function
* (a function that returns numerics).
*
* @return boolean TRUE if the token type is a numeric function, FALSE otherwise.
*/
private function _isNumericFunction($funcName)
{
return isset(self::$_NUMERIC_FUNCTIONS[strtolower($funcName)]);
}
/**
* Checks whether the function with the given name is a datetime function
* (a function that returns date/time values).
*
* @return boolean TRUE if the token type is a datetime function, FALSE otherwise.
*/
private function _isDatetimeFunction($funcName)
{
return isset(self::$_DATETIME_FUNCTIONS[strtolower($funcName)]);
}
/**
* Checks whether the given token type indicates an aggregate function.
*
* @return boolean TRUE if the token type is an aggregate function, FALSE otherwise.
*/
private function _isAggregateFunction($tokenType)
{
return $tokenType == Lexer::T_AVG || $tokenType == Lexer::T_MIN ||
$tokenType == Lexer::T_MAX || $tokenType == Lexer::T_SUM ||
$tokenType == Lexer::T_COUNT;
}
/**
* Checks whether the current lookahead token of the lexer has the type
* T_ALL, T_ANY or T_SOME.
*
* @return boolean
*/
private function _isNextAllAnySome()
{
return $this->_lexer->lookahead['type'] === Lexer::T_ALL ||
$this->_lexer->lookahead['type'] === Lexer::T_ANY ||
$this->_lexer->lookahead['type'] === Lexer::T_SOME;
}
/**
* Checks whether the next 2 tokens start a subselect.
*
* @return boolean TRUE if the next 2 tokens start a subselect, FALSE otherwise.
*/
private function _isSubselect()
{
$la = $this->_lexer->lookahead;
$next = $this->_lexer->glimpse();
2009-07-16 03:20:11 +04:00
return ($la['value'] === '(' && $next['type'] === Lexer::T_SELECT);
}
/**
* Begins a new stack of deferred path expressions.
*/
private function _beginDeferredPathExpressionStack()
{
$this->_deferredPathExpressionStacks[] = array();
}
/**
* Processes the topmost stack of deferred path expressions.
*/
private function _processDeferredPathExpressionStack()
{
$exprStack = array_pop($this->_deferredPathExpressionStacks);
foreach ($exprStack as $expr) {
$this->_validatePathExpression($expr);
}
}
/**
* Validates that the given <tt>PathExpression</tt> is a semantically correct for grammar rules:
*
* AssociationPathExpression ::= CollectionValuedPathExpression | SingleValuedAssociationPathExpression
* SingleValuedPathExpression ::= StateFieldPathExpression | SingleValuedAssociationPathExpression
* StateFieldPathExpression ::= IdentificationVariable "." StateField | SingleValuedAssociationPathExpression "." StateField
* SingleValuedAssociationPathExpression ::= IdentificationVariable "." {SingleValuedAssociationField "."}* SingleValuedAssociationField
* CollectionValuedPathExpression ::= IdentificationVariable "." {SingleValuedAssociationField "."}* CollectionValuedAssociationField
*
* @param PathExpression $pathExpression
* @return integer
*/
private function _validatePathExpression(AST\PathExpression $pathExpression)
{
$identificationVariable = $pathExpression->getIdentificationVariable();
$this->_validateIdentificationVariable($identificationVariable);
$class = $this->_queryComponents[$identificationVariable]['metadata'];
$stateField = $collectionField = null;
foreach ($pathExpression->getParts() as $field) {
// Check if it is not in a state field
if ($stateField !== null) {
$this->semanticalError('Cannot navigate through state field named ' . $stateField);
}
// Check if it is not a collection field
if ($collectionField !== null) {
$this->semanticalError('Can not navigate through collection-valued field named ' . $collectionField);
}
// Check if field exists
if ( ! isset($class->associationMappings[$field]) && ! isset($class->fieldMappings[$field])) {
$this->semanticalError('Class ' . $class->name . ' has no field named ' . $field);
}
if (isset($class->fieldMappings[$field])) {
$stateField = $field;
} else if ($class->associationMappings[$field]->isOneToOne()) {
$class = $this->_em->getClassMetadata($class->associationMappings[$field]->targetEntityName);
} else {
$collectionField = $field;
}
}
// Recognize correct expression type
$expressionType = null;
if ($stateField !== null) {
$expressionType = AST\PathExpression::TYPE_STATE_FIELD;
} else if ($collectionField !== null) {
$expressionType = AST\PathExpression::TYPE_COLLECTION_VALUED_ASSOCIATION;
} else {
$expressionType = AST\PathExpression::TYPE_SINGLE_VALUED_ASSOCIATION;
}
// Validate if PathExpression is one of the expected types
$expectedType = $pathExpression->getExpectedType();
if ( ! ($expectedType & $expressionType)) {
// We need to recognize which was expected type(s)
$expectedStringTypes = array();
// Validate state field type (field/column)
if ($expectedType & AST\PathExpression::TYPE_STATE_FIELD) {
$expectedStringTypes[] = 'StateFieldPathExpression';
}
// Validate single valued association (*-to-one)
if ($expectedType & AST\PathExpression::TYPE_SINGLE_VALUED_ASSOCIATION) {
$expectedStringTypes[] = 'SingleValuedAssociationField';
}
// Validate single valued association (*-to-many)
if ($expectedType & AST\PathExpression::TYPE_COLLECTION_VALUED_ASSOCIATION) {
$expectedStringTypes[] = 'CollectionValuedAssociationField';
}
// Build the error message
$semanticalError = 'Invalid PathExpression.';
if (count($expectedStringTypes) == 1) {
$semanticalError .= ' Must be a ' . $expectedStringTypes[0] . '.';
} else {
$semanticalError .= ' ' . implode(' or ', $expectedStringTypes) . ' expected.';
}
$this->semanticalError($semanticalError);
}
// We need to force the type in PathExpression
$pathExpression->setType($expressionType);
return $expressionType;
}
/**
* Validates that the given <tt>IdentificationVariable</tt> is a semantically correct.
* It must exist in query components list.
*
* @param string $identificationVariable
*/
private function _validateIdentificationVariable($identificationVariable)
{
if ( ! isset($this->_queryComponents[$identificationVariable])) {
$this->semanticalError(
'Invalid IdentificationVariable. Could not find \'' .
$identificationVariable . '\' in query components.'
);
}
}
/**
* QueryLanguage ::= SelectStatement | UpdateStatement | DeleteStatement
*/
2009-06-14 21:34:28 +04:00
public function QueryLanguage()
{
$this->_lexer->moveNext();
2009-07-16 03:20:11 +04:00
switch ($this->_lexer->lookahead['type']) {
case Lexer::T_SELECT:
2009-06-14 21:34:28 +04:00
return $this->SelectStatement();
2009-07-16 03:20:11 +04:00
case Lexer::T_UPDATE:
2009-06-14 21:34:28 +04:00
return $this->UpdateStatement();
2009-07-16 03:20:11 +04:00
case Lexer::T_DELETE:
2009-06-14 21:34:28 +04:00
return $this->DeleteStatement();
2009-07-16 03:20:11 +04:00
default:
$this->syntaxError('SELECT, UPDATE or DELETE');
break;
}
}
/**
* SelectStatement ::= SelectClause FromClause [WhereClause] [GroupByClause] [HavingClause] [OrderByClause]
*/
2009-06-14 21:34:28 +04:00
public function SelectStatement()
{
// We need to prevent semantical checks on SelectClause,
// since we do not have any IdentificationVariable yet
$this->_beginDeferredPathExpressionStack();
2009-06-14 21:34:28 +04:00
$selectClause = $this->SelectClause();
$fromClause = $this->FromClause();
// Activate semantical checks after this point. Process all deferred checks in pipeline
$this->_processDeferredPathExpressionStack();
2009-07-16 03:20:11 +04:00
$whereClause = $this->_lexer->isNextToken(Lexer::T_WHERE)
? $this->WhereClause() : null;
2009-07-16 03:20:11 +04:00
$groupByClause = $this->_lexer->isNextToken(Lexer::T_GROUP)
? $this->GroupByClause() : null;
2009-07-16 03:20:11 +04:00
$havingClause = $this->_lexer->isNextToken(Lexer::T_HAVING)
? $this->HavingClause() : null;
2009-07-16 03:20:11 +04:00
$orderByClause = $this->_lexer->isNextToken(Lexer::T_ORDER)
? $this->OrderByClause() : null;
return new AST\SelectStatement(
2009-07-16 03:20:11 +04:00
$selectClause, $fromClause, $whereClause, $groupByClause, $havingClause, $orderByClause
);
}
/**
* UpdateStatement ::= UpdateClause [WhereClause]
*/
public function UpdateStatement()
{
$updateStatement = new AST\UpdateStatement($this->UpdateClause());
$updateStatement->setWhereClause(
$this->_lexer->isNextToken(Lexer::T_WHERE) ? $this->WhereClause() : null
);
return $updateStatement;
}
/**
* DeleteStatement ::= DeleteClause [WhereClause]
*/
public function DeleteStatement()
{
$deleteStatement = new AST\DeleteStatement($this->DeleteClause());
$deleteStatement->setWhereClause(
$this->_lexer->isNextToken(Lexer::T_WHERE) ? $this->WhereClause() : null
);
return $deleteStatement;
}
/**
* IdentificationVariable ::= identifier
*/
public function IdentificationVariable()
{
$this->match(Lexer::T_IDENTIFIER);
2009-07-16 03:20:11 +04:00
return $this->_lexer->token['value'];
}
/**
* AliasIdentificationVariable = identifier
*/
public function AliasIdentificationVariable()
{
$this->match(Lexer::T_IDENTIFIER);
2009-07-16 03:20:11 +04:00
return $this->_lexer->token['value'];
}
/**
* AbstractSchemaName ::= identifier
*/
public function AbstractSchemaName()
{
$this->match(Lexer::T_IDENTIFIER);
2009-07-16 03:20:11 +04:00
return $this->_lexer->token['value'];
}
/**
* ResultVariable ::= identifier
*/
public function ResultVariable()
{
$this->match(Lexer::T_IDENTIFIER);
return $this->_lexer->token['value'];
}
2009-07-16 03:20:11 +04:00
/**
* JoinAssociationPathExpression ::= IdentificationVariable "." (CollectionValuedAssociationField | SingleValuedAssociationField)
*/
public function JoinAssociationPathExpression()
{
$identificationVariable = $this->IdentificationVariable();
$this->match('.');
$this->match(Lexer::T_IDENTIFIER);
$field = $this->_lexer->token['value'];
// Validating IdentificationVariable (it was already defined previously)
$this->_validateIdentificationVariable($identificationVariable);
// Validating association field (*-to-one or *-to-many)
$class = $this->_queryComponents[$identificationVariable]['metadata'];
if ( ! isset($class->associationMappings[$field])) {
$this->semanticalError('Class ' . $class->name . ' has no field named ' . $field);
}
return new AST\JoinAssociationPathExpression($identificationVariable, $field);
}
/**
* Parses an arbitrary path expression. Applies or defer semantical validation
* based on expected types.
*
* PathExpression ::= IdentificationVariable "." {identifier "."}* identifier
*
* @param integer $expectedType
* @return PathExpression
*/
public function PathExpression($expectedType)
{
$identificationVariable = $this->IdentificationVariable();
$parts = array();
do {
$this->match('.');
$this->match(Lexer::T_IDENTIFIER);
$parts[] = $this->_lexer->token['value'];
} while ($this->_lexer->isNextToken('.'));
// Creating AST node
$pathExpr = new AST\PathExpression($expectedType, $identificationVariable, $parts);
// Defer PathExpression validation if requested to be defered
if ( ! empty($this->_deferredPathExpressionStacks)) {
$exprStack = array_pop($this->_deferredPathExpressionStacks);
$exprStack[] = $pathExpr;
array_push($this->_deferredPathExpressionStacks, $exprStack);
return $pathExpr;
}
// Apply PathExpression validation normally (not in defer mode)
$this->_validatePathExpression($pathExpr);
return $pathExpr;
}
/**
* AssociationPathExpression ::= CollectionValuedPathExpression | SingleValuedAssociationPathExpression
*/
public function AssociationPathExpression()
{
return $this->PathExpression(
AST\PathExpression::TYPE_SINGLE_VALUED_ASSOCIATION |
AST\PathExpression::TYPE_COLLECTION_VALUED_ASSOCIATION
);
}
/**
* SingleValuedPathExpression ::= StateFieldPathExpression | SingleValuedAssociationPathExpression
*/
public function SingleValuedPathExpression()
{
return $this->PathExpression(
AST\PathExpression::TYPE_STATE_FIELD |
AST\PathExpression::TYPE_SINGLE_VALUED_ASSOCIATION
);
}
/**
* StateFieldPathExpression ::= SimpleStateFieldPathExpression | SimpleStateFieldAssociationPathExpression
*/
public function StateFieldPathExpression()
{
return $this->PathExpression(AST\PathExpression::TYPE_STATE_FIELD);
}
/**
* SingleValuedAssociationPathExpression ::= IdentificationVariable "." {SingleValuedAssociationField "."}* SingleValuedAssociationField
*/
public function SingleValuedAssociationPathExpression()
{
return $this->PathExpression(AST\PathExpression::TYPE_SINGLE_VALUED_ASSOCIATION);
}
/**
* CollectionValuedPathExpression ::= IdentificationVariable "." {SingleValuedAssociationField "."}* CollectionValuedAssociationField
*/
public function CollectionValuedPathExpression()
{
return $this->PathExpression(AST\PathExpression::TYPE_COLLECTION_VALUED_ASSOCIATION);
}
/**
* SimpleStateFieldPathExpression ::= IdentificationVariable "." StateField
*
* @todo We should only allow 1 single part here (state field). It is used by INDEX BY clause.
*/
public function SimpleStateFieldPathExpression()
{
return $this->PathExpression(AST\PathExpression::TYPE_STATE_FIELD);
}
/**
* SelectClause ::= "SELECT" ["DISTINCT"] SelectExpression {"," SelectExpression}
*/
public function SelectClause()
{
$isDistinct = false;
$this->match(Lexer::T_SELECT);
// Check for DISTINCT
if ($this->_lexer->isNextToken(Lexer::T_DISTINCT)) {
$this->match(Lexer::T_DISTINCT);
$isDistinct = true;
}
// Process SelectExpressions (1..N)
$selectExpressions = array();
$selectExpressions[] = $this->SelectExpression();
while ($this->_lexer->isNextToken(',')) {
$this->match(',');
$selectExpressions[] = $this->SelectExpression();
}
return new AST\SelectClause($selectExpressions, $isDistinct);
}
/**
* SimpleSelectClause ::= "SELECT" ["DISTINCT"] SimpleSelectExpression
*/
public function SimpleSelectClause()
{
$distinct = false;
$this->match(Lexer::T_SELECT);
if ($this->_lexer->isNextToken(Lexer::T_DISTINCT)) {
$this->match(Lexer::T_DISTINCT);
$distinct = true;
}
$simpleSelectClause = new AST\SimpleSelectClause($this->SimpleSelectExpression());
$simpleSelectClause->setDistinct($distinct);
return $simpleSelectClause;
}
/**
* UpdateClause ::= "UPDATE" AbstractSchemaName [["AS"] AliasIdentificationVariable] "SET" UpdateItem {"," UpdateItem}*
*/
2009-06-14 21:34:28 +04:00
public function UpdateClause()
{
$this->match(Lexer::T_UPDATE);
2009-06-14 21:34:28 +04:00
$abstractSchemaName = $this->AbstractSchemaName();
$aliasIdentificationVariable = null;
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_AS)) {
$this->match(Lexer::T_AS);
}
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_IDENTIFIER)) {
$this->match(Lexer::T_IDENTIFIER);
$aliasIdentificationVariable = $this->_lexer->token['value'];
} else {
$aliasIdentificationVariable = $abstractSchemaName;
}
2009-07-16 03:20:11 +04:00
$this->match(Lexer::T_SET);
$updateItems = array();
2009-06-14 21:34:28 +04:00
$updateItems[] = $this->UpdateItem();
2009-07-16 03:20:11 +04:00
while ($this->_lexer->isNextToken(',')) {
$this->match(',');
2009-06-14 21:34:28 +04:00
$updateItems[] = $this->UpdateItem();
}
$classMetadata = $this->_em->getClassMetadata($abstractSchemaName);
2009-07-16 03:20:11 +04:00
// Building queryComponent
$queryComponent = array(
2009-07-16 03:20:11 +04:00
'metadata' => $classMetadata,
'parent' => null,
'relation' => null,
'map' => null
);
$this->_queryComponents[$aliasIdentificationVariable] = $queryComponent;
$updateClause = new AST\UpdateClause($abstractSchemaName, $updateItems);
$updateClause->setAliasIdentificationVariable($aliasIdentificationVariable);
return $updateClause;
}
/**
* DeleteClause ::= "DELETE" ["FROM"] AbstractSchemaName [["AS"] AliasIdentificationVariable]
*/
2009-06-14 21:34:28 +04:00
public function DeleteClause()
{
$this->match(Lexer::T_DELETE);
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_FROM)) {
$this->match(Lexer::T_FROM);
}
2009-07-16 03:20:11 +04:00
2009-06-14 21:34:28 +04:00
$deleteClause = new AST\DeleteClause($this->AbstractSchemaName());
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_AS)) {
$this->match(Lexer::T_AS);
}
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_IDENTIFIER)) {
$this->match(Lexer::T_IDENTIFIER);
$deleteClause->setAliasIdentificationVariable($this->_lexer->token['value']);
} else {
$deleteClause->setAliasIdentificationVariable($deleteClause->getAbstractSchemaName());
}
$classMetadata = $this->_em->getClassMetadata($deleteClause->getAbstractSchemaName());
$queryComponent = array(
2009-07-16 03:20:11 +04:00
'metadata' => $classMetadata
);
$this->_queryComponents[$deleteClause->getAliasIdentificationVariable()] = $queryComponent;
return $deleteClause;
}
/**
* FromClause ::= "FROM" IdentificationVariableDeclaration {"," IdentificationVariableDeclaration}*
*/
public function FromClause()
{
$this->match(Lexer::T_FROM);
$identificationVariableDeclarations = array();
$identificationVariableDeclarations[] = $this->IdentificationVariableDeclaration();
while ($this->_lexer->isNextToken(',')) {
$this->match(',');
$identificationVariableDeclarations[] = $this->IdentificationVariableDeclaration();
}
return new AST\FromClause($identificationVariableDeclarations);
}
/**
* SubselectFromClause ::= "FROM" SubselectIdentificationVariableDeclaration {"," SubselectIdentificationVariableDeclaration}*
*/
public function SubselectFromClause()
{
$this->match(Lexer::T_FROM);
$identificationVariables = array();
$identificationVariables[] = $this->SubselectIdentificationVariableDeclaration();
2009-07-16 03:20:11 +04:00
while ($this->_lexer->isNextToken(',')) {
$this->match(',');
$identificationVariables[] = $this->SubselectIdentificationVariableDeclaration();
}
return new AST\SubselectFromClause($identificationVariables);
}
/**
* WhereClause ::= "WHERE" ConditionalExpression
*/
public function WhereClause()
{
$this->match(Lexer::T_WHERE);
return new AST\WhereClause($this->ConditionalExpression());
}
/**
* HavingClause ::= "HAVING" ConditionalExpression
*/
public function HavingClause()
{
$this->match(Lexer::T_HAVING);
return new AST\HavingClause($this->ConditionalExpression());
}
/**
* GroupByClause ::= "GROUP" "BY" GroupByItem {"," GroupByItem}*
*/
public function GroupByClause()
{
$this->match(Lexer::T_GROUP);
$this->match(Lexer::T_BY);
$groupByItems = array($this->GroupByItem());
while ($this->_lexer->isNextToken(',')) {
$this->match(',');
$groupByItems[] = $this->GroupByItem();
}
return new AST\GroupByClause($groupByItems);
}
/**
* OrderByClause ::= "ORDER" "BY" OrderByItem {"," OrderByItem}*
*/
public function OrderByClause()
{
$this->match(Lexer::T_ORDER);
$this->match(Lexer::T_BY);
$orderByItems = array();
$orderByItems[] = $this->OrderByItem();
while ($this->_lexer->isNextToken(',')) {
$this->match(',');
$orderByItems[] = $this->OrderByItem();
}
return new AST\OrderByClause($orderByItems);
}
/**
* Subselect ::= SimpleSelectClause SubselectFromClause [WhereClause] [GroupByClause] [HavingClause] [OrderByClause]
*/
public function Subselect()
{
$this->_beginDeferredPathExpressionStack();
$subselect = new AST\Subselect($this->SimpleSelectClause(), $this->SubselectFromClause());
$this->_processDeferredPathExpressionStack();
$subselect->setWhereClause(
$this->_lexer->isNextToken(Lexer::T_WHERE) ? $this->WhereClause() : null
);
$subselect->setGroupByClause(
$this->_lexer->isNextToken(Lexer::T_GROUP) ? $this->GroupByClause() : null
);
$subselect->setHavingClause(
$this->_lexer->isNextToken(Lexer::T_HAVING) ? $this->HavingClause() : null
);
$subselect->setOrderByClause(
$this->_lexer->isNextToken(Lexer::T_ORDER) ? $this->OrderByClause() : null
);
return $subselect;
}
/**
* UpdateItem ::= [IdentificationVariable "."] {StateField | SingleValuedAssociationField} "=" NewValue
*/
public function UpdateItem()
{
$peek = $this->_lexer->glimpse();
$identVariable = null;
2009-07-16 03:20:11 +04:00
if ($peek['value'] == '.') {
$this->match(Lexer::T_IDENTIFIER);
$identVariable = $this->_lexer->token['value'];
$this->match('.');
} else {
throw QueryException::missingAliasQualifier();
}
2009-07-16 03:20:11 +04:00
$this->match(Lexer::T_IDENTIFIER);
$field = $this->_lexer->token['value'];
$this->match('=');
$newValue = $this->NewValue();
2009-07-16 03:20:11 +04:00
$updateItem = new AST\UpdateItem($field, $newValue);
$updateItem->setIdentificationVariable($identVariable);
return $updateItem;
}
/**
* GroupByItem ::= IdentificationVariable | SingleValuedPathExpression
*
* @todo Finish this implementation
*/
public function GroupByItem()
{
return $this->SingleValuedPathExpression();
}
/**
* OrderByItem ::= (ResultVariable | StateFieldPathExpression) ["ASC" | "DESC"]
*
* @todo Support general SingleValuedPathExpression instead of only StateFieldPathExpression.
*/
public function OrderByItem()
{
// We need to check if we are in a ResultVariable or StateFieldPathExpression
$glimpse = $this->_lexer->glimpse();
if ($glimpse['value'] != '.') {
$expr = $this->ResultVariable();
// @todo Check if ResultVariable is defined somewhere
} else {
$expr = $this->StateFieldPathExpression();
}
$item = new AST\OrderByItem($expr);
if ($this->_lexer->isNextToken(Lexer::T_ASC)) {
$this->match(Lexer::T_ASC);
$item->setAsc(true);
return $item;
}
if ($this->_lexer->isNextToken(Lexer::T_DESC)) {
$this->match(Lexer::T_DESC);
$item->setDesc(true);
return $item;
}
$item->setAsc(true);
return $item;
}
2009-07-16 03:20:11 +04:00
/**
* NewValue ::= SimpleArithmeticExpression | StringPrimary | DatetimePrimary | BooleanPrimary |
* EnumPrimary | SimpleEntityExpression | "NULL"
*
* NOTE: Since it is not possible to correctly recognize individual types, here is the full
* grammar that needs to be supported:
*
* NewValue ::= SimpleArithmeticExpression | "NULL"
*
* SimpleArithmeticExpression covers all *Primary grammar rules and also SimplEntityExpression
*
* @todo Find why removal of InputParameter check causes ClassTableInheritanceTest to fail with
* wrong parameter count (Should be processed in Literal, part of SimpleArithmeticExpression)
*/
public function NewValue()
{
if ($this->_lexer->isNextToken(Lexer::T_NULL)) {
$this->match(Lexer::T_NULL);
return null;
} else if ($this->_lexer->isNextToken(Lexer::T_INPUT_PARAMETER)) {
$this->match(Lexer::T_INPUT_PARAMETER);
return new AST\InputParameter($this->_lexer->token['value']);
}
return $this->SimpleArithmeticExpression();
}
/**
* IdentificationVariableDeclaration ::= RangeVariableDeclaration [IndexBy] {JoinVariableDeclaration}*
*/
2009-06-14 21:34:28 +04:00
public function IdentificationVariableDeclaration()
{
2009-06-14 21:34:28 +04:00
$rangeVariableDeclaration = $this->RangeVariableDeclaration();
$indexBy = $this->_lexer->isNextToken(Lexer::T_INDEX) ? $this->IndexBy() : null;
$joinVariableDeclarations = array();
2009-07-16 03:20:11 +04:00
while (
2009-07-16 03:20:11 +04:00
$this->_lexer->isNextToken(Lexer::T_LEFT) ||
$this->_lexer->isNextToken(Lexer::T_INNER) ||
$this->_lexer->isNextToken(Lexer::T_JOIN)
) {
2009-06-14 21:34:28 +04:00
$joinVariableDeclarations[] = $this->JoinVariableDeclaration();
}
return new AST\IdentificationVariableDeclaration(
2009-07-16 03:20:11 +04:00
$rangeVariableDeclaration, $indexBy, $joinVariableDeclarations
);
}
/**
* SubselectIdentificationVariableDeclaration ::= IdentificationVariableDeclaration | (AssociationPathExpression ["AS"] AliasIdentificationVariable)
*/
public function SubselectIdentificationVariableDeclaration()
{
$peek = $this->_lexer->glimpse();
if ($peek['value'] == '.') {
$subselectIdentificationVarDecl = new AST\SubselectIdentificationVariableDeclaration;
$subselectIdentificationVarDecl->setAssociationPathExpression($this->AssociationPathExpression());
$this->match(Lexer::T_AS);
$this->match(Lexer::T_IDENTIFIER);
$subselectIdentificationVarDecl->setAliasIdentificationVariable($this->_lexer->token['value']);
return $subselectIdentificationVarDecl;
}
return $this->IdentificationVariableDeclaration();
}
/**
* JoinVariableDeclaration ::= Join [IndexBy]
*/
public function JoinVariableDeclaration()
{
$join = $this->Join();
$indexBy = $this->_lexer->isNextToken(Lexer::T_INDEX)
? $this->IndexBy() : null;
return new AST\JoinVariableDeclaration($join, $indexBy);
}
/**
* RangeVariableDeclaration ::= AbstractSchemaName ["AS"] AliasIdentificationVariable
*/
2009-06-14 21:34:28 +04:00
public function RangeVariableDeclaration()
{
2009-06-14 21:34:28 +04:00
$abstractSchemaName = $this->AbstractSchemaName();
if ($this->_lexer->isNextToken(Lexer::T_AS)) {
$this->match(Lexer::T_AS);
}
2009-07-16 03:20:11 +04:00
2009-06-14 21:34:28 +04:00
$aliasIdentificationVariable = $this->AliasIdentificationVariable();
$classMetadata = $this->_em->getClassMetadata($abstractSchemaName);
// Building queryComponent
$queryComponent = array(
2009-07-16 03:20:11 +04:00
'metadata' => $classMetadata,
'parent' => null,
'relation' => null,
'map' => null
);
$this->_queryComponents[$aliasIdentificationVariable] = $queryComponent;
2009-07-16 03:20:11 +04:00
return new AST\RangeVariableDeclaration(
$classMetadata, $aliasIdentificationVariable
);
}
/**
* Join ::= ["LEFT" ["OUTER"] | "INNER"] "JOIN" JoinAssociationPathExpression
* ["AS"] AliasIdentificationVariable [("ON" | "WITH") ConditionalExpression]
*/
2009-06-14 21:34:28 +04:00
public function Join()
{
// Check Join type
$joinType = AST\Join::JOIN_TYPE_INNER;
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_LEFT)) {
$this->match(Lexer::T_LEFT);
2009-07-16 03:20:11 +04:00
// Possible LEFT OUTER join
if ($this->_lexer->isNextToken(Lexer::T_OUTER)) {
$this->match(Lexer::T_OUTER);
$joinType = AST\Join::JOIN_TYPE_LEFTOUTER;
} else {
$joinType = AST\Join::JOIN_TYPE_LEFT;
}
} else if ($this->_lexer->isNextToken(Lexer::T_INNER)) {
$this->match(Lexer::T_INNER);
}
$this->match(Lexer::T_JOIN);
$joinPathExpression = $this->JoinAssociationPathExpression();
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_AS)) {
$this->match(Lexer::T_AS);
}
2009-06-14 21:34:28 +04:00
$aliasIdentificationVariable = $this->AliasIdentificationVariable();
// Verify that the association exists.
$parentClass = $this->_queryComponents[$joinPathExpression->getIdentificationVariable()]['metadata'];
$assocField = $joinPathExpression->getAssociationField();
2009-07-16 03:20:11 +04:00
if ( ! $parentClass->hasAssociation($assocField)) {
2009-07-16 03:20:11 +04:00
$this->semanticalError(
"Class " . $parentClass->name . " has no association named '$assocField'."
);
}
2009-07-16 03:20:11 +04:00
$targetClassName = $parentClass->getAssociationMapping($assocField)->getTargetEntityName();
// Building queryComponent
$joinQueryComponent = array(
2009-07-16 03:20:11 +04:00
'metadata' => $this->_em->getClassMetadata($targetClassName),
'parent' => $joinPathExpression->getIdentificationVariable(),
'relation' => $parentClass->getAssociationMapping($assocField),
'map' => null
);
$this->_queryComponents[$aliasIdentificationVariable] = $joinQueryComponent;
// Create AST node
$join = new AST\Join($joinType, $joinPathExpression, $aliasIdentificationVariable);
// Check for ad-hoc Join conditions
if ($this->_lexer->isNextToken(Lexer::T_ON) || $this->_lexer->isNextToken(Lexer::T_WITH)) {
if ($this->_lexer->isNextToken(Lexer::T_ON)) {
$this->match(Lexer::T_ON);
$join->setWhereType(AST\Join::JOIN_WHERE_ON);
} else {
$this->match(Lexer::T_WITH);
}
2009-07-16 03:20:11 +04:00
2009-06-14 21:34:28 +04:00
$join->setConditionalExpression($this->ConditionalExpression());
}
return $join;
}
/**
* IndexBy ::= "INDEX" "BY" SimpleStateFieldPathExpression
*/
2009-06-14 21:34:28 +04:00
public function IndexBy()
{
$this->match(Lexer::T_INDEX);
$this->match(Lexer::T_BY);
2009-06-14 21:34:28 +04:00
$pathExp = $this->SimpleStateFieldPathExpression();
2009-07-16 03:20:11 +04:00
// Add the INDEX BY info to the query component
2009-06-14 21:34:28 +04:00
$parts = $pathExp->getParts();
$this->_queryComponents[$pathExp->getIdentificationVariable()]['map'] = $parts[0];
2009-07-16 03:20:11 +04:00
return $pathExp;
}
/**
* SelectExpression ::=
* IdentificationVariable | StateFieldPathExpression |
* (AggregateExpression | "(" Subselect ")" | FunctionDeclaration) [["AS"] ResultVariable]
*/
public function SelectExpression()
{
$expression = null;
$fieldAliasIdentificationVariable = null;
$peek = $this->_lexer->glimpse();
2009-07-16 03:20:11 +04:00
// First we recognize for an IdentificationVariable (DQL class alias)
if ($peek['value'] != '.' && $peek['value'] != '(' && $this->_lexer->lookahead['type'] === Lexer::T_IDENTIFIER) {
$expression = $this->IdentificationVariable();
} else if (($isFunction = $this->_isFunction()) !== false || $this->_isSubselect()) {
if ($isFunction) {
if ($this->_isAggregateFunction($this->_lexer->lookahead['type'])) {
$expression = $this->AggregateExpression();
} else {
$expression = $this->FunctionDeclaration();
}
} else {
$this->match('(');
$expression = $this->Subselect();
$this->match(')');
}
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_AS)) {
$this->match(Lexer::T_AS);
}
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_IDENTIFIER)) {
$fieldAliasIdentificationVariable = $this->ResultVariable();
}
} else {
// Deny hydration of partial objects if doctrine.forcePartialLoad query hint not defined
if (
$this->_query->getHydrationMode() == Query::HYDRATE_OBJECT &&
! $this->_em->getConfiguration()->getAllowPartialObjects() &&
! $this->_query->getHint(Query::HINT_FORCE_PARTIAL_LOAD)
) {
throw DoctrineException::partialObjectsAreDangerous();
}
2009-07-16 03:20:11 +04:00
$expression = $this->StateFieldPathExpression();
}
2009-07-16 03:20:11 +04:00
return new AST\SelectExpression($expression, $fieldAliasIdentificationVariable);
}
/**
* SimpleSelectExpression ::= StateFieldPathExpression | IdentificationVariable | (AggregateExpression [["AS"] ResultVariable])
*/
public function SimpleSelectExpression()
{
if ($this->_lexer->isNextToken(Lexer::T_IDENTIFIER)) {
// SingleValuedPathExpression | IdentificationVariable
$peek = $this->_lexer->glimpse();
if ($peek['value'] == '.') {
return new AST\SimpleSelectExpression($this->StateFieldPathExpression());
}
$this->match($this->_lexer->lookahead['value']);
return new AST\SimpleSelectExpression($this->_lexer->token['value']);
} else {
$expr = new AST\SimpleSelectExpression($this->AggregateExpression());
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_AS)) {
$this->match(Lexer::T_AS);
}
if ($this->_lexer->isNextToken(Lexer::T_IDENTIFIER)) {
$expr->setFieldIdentificationVariable($this->ResultVariable());
}
2009-07-16 03:20:11 +04:00
return $expr;
}
}
/**
* ConditionalExpression ::= ConditionalTerm {"OR" ConditionalTerm}*
*/
2009-06-14 21:34:28 +04:00
public function ConditionalExpression()
{
$conditionalTerms = array();
2009-06-14 21:34:28 +04:00
$conditionalTerms[] = $this->ConditionalTerm();
2009-07-16 03:20:11 +04:00
while ($this->_lexer->isNextToken(Lexer::T_OR)) {
$this->match(Lexer::T_OR);
2009-06-14 21:34:28 +04:00
$conditionalTerms[] = $this->ConditionalTerm();
}
2009-07-16 03:20:11 +04:00
return new AST\ConditionalExpression($conditionalTerms);
}
/**
* ConditionalTerm ::= ConditionalFactor {"AND" ConditionalFactor}*
*/
2009-06-14 21:34:28 +04:00
public function ConditionalTerm()
{
$conditionalFactors = array();
2009-06-14 21:34:28 +04:00
$conditionalFactors[] = $this->ConditionalFactor();
2009-07-16 03:20:11 +04:00
while ($this->_lexer->isNextToken(Lexer::T_AND)) {
$this->match(Lexer::T_AND);
2009-06-14 21:34:28 +04:00
$conditionalFactors[] = $this->ConditionalFactor();
}
2009-07-16 03:20:11 +04:00
return new AST\ConditionalTerm($conditionalFactors);
}
/**
* ConditionalFactor ::= ["NOT"] ConditionalPrimary
*/
2009-06-14 21:34:28 +04:00
public function ConditionalFactor()
{
$not = false;
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_NOT)) {
$this->match(Lexer::T_NOT);
$not = true;
}
2009-07-16 03:20:11 +04:00
2009-06-14 21:34:28 +04:00
return new AST\ConditionalFactor($this->ConditionalPrimary(), $not);
}
/**
* ConditionalPrimary ::= SimpleConditionalExpression | "(" ConditionalExpression ")"
* @todo Implementation incomplete: Recognition of SimpleConditionalExpression is incomplete.
*/
2009-06-14 21:34:28 +04:00
public function ConditionalPrimary()
{
$condPrimary = new AST\ConditionalPrimary;
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken('(')) {
// We need to inner inspect for a subselect (ArithmeticExpression)
if ( ! $this->_isSubselect()) {
// Peek beyond and not until matching closing parenthesis
$peek = $this->_lexer->peek();
$arithmeticOps = array("+", "-", "*", "/");
$numUnmatched = 1;
// While not found a closing matched parenthesis and a matched arithmetic operator
while ($numUnmatched > 0 && ! in_array($peek['value'], $arithmeticOps)) {
if ($peek['value'] == ')') {
--$numUnmatched;
} else if ($peek['value'] == '(') {
++$numUnmatched;
}
$peek = $this->_lexer->peek();
}
}
// Check if unmatched parenthesis is > 0, then we found a matching arithmetic operator
if ($numUnmatched > 0) {
2009-06-14 21:34:28 +04:00
$condPrimary->setSimpleConditionalExpression($this->SimpleConditionalExpression());
} else {
$this->match('(');
$condPrimary->setConditionalExpression($this->ConditionalExpression());
$this->match(')');
}
} else {
2009-06-14 21:34:28 +04:00
$condPrimary->setSimpleConditionalExpression($this->SimpleConditionalExpression());
}
return $condPrimary;
}
/**
* SimpleConditionalExpression ::=
* ComparisonExpression | BetweenExpression | LikeExpression |
* InExpression | NullComparisonExpression | ExistsExpression |
* EmptyCollectionComparisonExpression | CollectionMemberExpression
*
* @todo Missing EmptyCollectionComparisonExpression implementation
*/
2009-06-14 21:34:28 +04:00
public function SimpleConditionalExpression()
{
if ($this->_lexer->isNextToken(Lexer::T_NOT)) {
$token = $this->_lexer->glimpse();
} else {
$token = $this->_lexer->lookahead;
}
2009-07-16 03:20:11 +04:00
if ($token['type'] === Lexer::T_EXISTS) {
2009-06-14 21:34:28 +04:00
return $this->ExistsExpression();
}
2009-06-14 21:34:28 +04:00
$pathExprOrInputParam = false;
2009-07-16 03:20:11 +04:00
2009-06-14 21:34:28 +04:00
if ($token['type'] === Lexer::T_IDENTIFIER || $token['type'] === Lexer::T_INPUT_PARAMETER) {
// Peek beyond the PathExpression
2009-06-14 21:34:28 +04:00
$pathExprOrInputParam = true;
$peek = $this->_lexer->peek();
2009-07-16 03:20:11 +04:00
while ($peek['value'] === '.') {
$this->_lexer->peek();
$peek = $this->_lexer->peek();
}
// Also peek beyond a NOT if there is one
if ($peek['type'] === Lexer::T_NOT) {
$peek = $this->_lexer->peek();
}
$this->_lexer->resetPeek();
$token = $peek;
}
2009-06-14 21:34:28 +04:00
if ($pathExprOrInputParam) {
switch ($token['type']) {
2009-06-14 21:34:28 +04:00
case Lexer::T_NONE:
return $this->ComparisonExpression();
2009-07-16 03:20:11 +04:00
case Lexer::T_BETWEEN:
2009-06-14 21:34:28 +04:00
return $this->BetweenExpression();
2009-07-16 03:20:11 +04:00
case Lexer::T_LIKE:
2009-06-14 21:34:28 +04:00
return $this->LikeExpression();
2009-07-16 03:20:11 +04:00
case Lexer::T_IN:
2009-06-14 21:34:28 +04:00
return $this->InExpression();
2009-07-16 03:20:11 +04:00
case Lexer::T_IS:
2009-06-14 21:34:28 +04:00
return $this->NullComparisonExpression();
2009-07-16 03:20:11 +04:00
2009-06-14 21:34:28 +04:00
case Lexer::T_MEMBER:
return $this->CollectionMemberExpression();
2009-07-16 03:20:11 +04:00
default:
$this->syntaxError();
}
} else {
2009-06-14 21:34:28 +04:00
return $this->ComparisonExpression();
}
}
2009-06-14 21:34:28 +04:00
/**
2009-06-14 21:34:28 +04:00
* CollectionMemberExpression ::= EntityExpression ["NOT"] "MEMBER" ["OF"] CollectionValuedPathExpression
*
2009-06-14 21:34:28 +04:00
* EntityExpression ::= SingleValuedAssociationPathExpression | SimpleEntityExpression
* SimpleEntityExpression ::= IdentificationVariable | InputParameter
*
* @return AST\CollectionMemberExpression
*/
2009-06-14 21:34:28 +04:00
public function CollectionMemberExpression()
{
2009-06-14 21:34:28 +04:00
$isNot = false;
2009-07-16 03:20:11 +04:00
$entityExpr = $this->EntityExpression();
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_NOT)) {
$isNot = true;
$this->match(Lexer::T_NOT);
}
2009-07-16 03:20:11 +04:00
$this->match(Lexer::T_MEMBER);
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_OF)) {
$this->match(Lexer::T_OF);
2009-06-14 21:34:28 +04:00
}
return new AST\CollectionMemberExpression(
$entityExpr, $this->CollectionValuedPathExpression(), $isNot
);
2009-06-14 21:34:28 +04:00
}
2009-06-14 21:34:28 +04:00
/**
* Literal ::= string | char | integer | float | boolean | InputParameter
2009-06-14 21:34:28 +04:00
*
* @todo Rip out InputParameter. Thats not a literal.
2009-06-14 21:34:28 +04:00
*/
public function Literal()
2009-06-14 21:34:28 +04:00
{
switch ($this->_lexer->lookahead['type']) {
case Lexer::T_INPUT_PARAMETER:
$this->match($this->_lexer->lookahead['value']);
return new AST\InputParameter($this->_lexer->token['value']);
2009-06-14 21:34:28 +04:00
case Lexer::T_STRING:
case Lexer::T_INTEGER:
case Lexer::T_FLOAT:
$this->match($this->_lexer->lookahead['value']);
return $this->_lexer->token['value'];
2009-07-16 03:20:11 +04:00
default:
$this->syntaxError('Literal');
}
}
/**
* ArithmeticExpression ::= SimpleArithmeticExpression | "(" Subselect ")"
*/
2009-06-14 21:34:28 +04:00
public function ArithmeticExpression()
{
$expr = new AST\ArithmeticExpression;
2009-07-16 03:20:11 +04:00
if ($this->_lexer->lookahead['value'] === '(') {
$peek = $this->_lexer->glimpse();
2009-07-16 03:20:11 +04:00
if ($peek['type'] === Lexer::T_SELECT) {
$this->match('(');
2009-06-14 21:34:28 +04:00
$expr->setSubselect($this->Subselect());
$this->match(')');
2009-07-16 03:20:11 +04:00
return $expr;
}
}
2009-07-16 03:20:11 +04:00
2009-06-14 21:34:28 +04:00
$expr->setSimpleArithmeticExpression($this->SimpleArithmeticExpression());
2009-07-16 03:20:11 +04:00
return $expr;
}
/**
* SimpleArithmeticExpression ::= ArithmeticTerm {("+" | "-") ArithmeticTerm}*
*/
2009-06-14 21:34:28 +04:00
public function SimpleArithmeticExpression()
{
$terms = array();
2009-06-14 21:34:28 +04:00
$terms[] = $this->ArithmeticTerm();
2009-07-16 03:20:11 +04:00
while ($this->_lexer->lookahead['value'] == '+' || $this->_lexer->lookahead['value'] == '-') {
if ($this->_lexer->lookahead['value'] == '+') {
$this->match('+');
} else {
$this->match('-');
}
2009-07-16 03:20:11 +04:00
$terms[] = $this->_lexer->token['value'];
2009-06-14 21:34:28 +04:00
$terms[] = $this->ArithmeticTerm();
}
2009-07-16 03:20:11 +04:00
return new AST\SimpleArithmeticExpression($terms);
}
/**
* ArithmeticTerm ::= ArithmeticFactor {("*" | "/") ArithmeticFactor}*
*/
2009-06-14 21:34:28 +04:00
public function ArithmeticTerm()
{
$factors = array();
2009-06-14 21:34:28 +04:00
$factors[] = $this->ArithmeticFactor();
2009-07-16 03:20:11 +04:00
while ($this->_lexer->lookahead['value'] == '*' || $this->_lexer->lookahead['value'] == '/') {
if ($this->_lexer->lookahead['value'] == '*') {
$this->match('*');
} else {
$this->match('/');
}
2009-07-16 03:20:11 +04:00
$factors[] = $this->_lexer->token['value'];
2009-06-14 21:34:28 +04:00
$factors[] = $this->ArithmeticFactor();
}
2009-07-16 03:20:11 +04:00
return new AST\ArithmeticTerm($factors);
}
/**
* ArithmeticFactor ::= [("+" | "-")] ArithmeticPrimary
*/
2009-06-14 21:34:28 +04:00
public function ArithmeticFactor()
{
$pSign = $nSign = false;
2009-07-16 03:20:11 +04:00
if ($this->_lexer->lookahead['value'] == '+') {
$this->match('+');
$pSign = true;
} else if ($this->_lexer->lookahead['value'] == '-') {
$this->match('-');
$nSign = true;
}
2009-07-16 03:20:11 +04:00
2009-06-14 21:34:28 +04:00
return new AST\ArithmeticFactor($this->ArithmeticPrimary(), $pSign, $nSign);
}
/**
* ArithmeticPrimary ::= SingleValuedPathExpression | Literal | "(" SimpleArithmeticExpression ")"
* | FunctionsReturningNumerics | AggregateExpression | FunctionsReturningStrings
* | FunctionsReturningDatetime | IdentificationVariable
*/
public function ArithmeticPrimary()
{
if ($this->_lexer->lookahead['value'] === '(') {
$this->match('(');
$expr = $this->SimpleArithmeticExpression();
$this->match(')');
2009-07-16 03:20:11 +04:00
return $expr;
}
2009-07-16 03:20:11 +04:00
switch ($this->_lexer->lookahead['type']) {
case Lexer::T_IDENTIFIER:
$peek = $this->_lexer->glimpse();
if ($peek['value'] == '(') {
return $this->FunctionDeclaration();
}
if ($peek['value'] == '.') {
return $this->SingleValuedPathExpression();
}
2009-07-16 03:20:11 +04:00
return $this->IdentificationVariable();
2009-07-16 03:20:11 +04:00
case Lexer::T_INPUT_PARAMETER:
$this->match($this->_lexer->lookahead['value']);
2009-06-14 21:34:28 +04:00
return new AST\InputParameter($this->_lexer->token['value']);
case Lexer::T_STRING:
case Lexer::T_INTEGER:
case Lexer::T_FLOAT:
$this->match($this->_lexer->lookahead['value']);
2009-07-16 03:20:11 +04:00
return $this->_lexer->token['value'];
2009-07-16 03:20:11 +04:00
default:
$peek = $this->_lexer->glimpse();
2009-07-16 03:20:11 +04:00
if ($peek['value'] == '(') {
if ($this->_isAggregateFunction($this->_lexer->lookahead['type'])) {
return $this->AggregateExpression();
}
2009-06-14 21:34:28 +04:00
return $this->FunctionsReturningStrings();
} else {
$this->syntaxError();
}
}
}
/**
* StringExpression ::= StringPrimary | "(" Subselect ")"
*/
public function StringExpression()
{
if ($this->_lexer->lookahead['value'] === '(') {
$peek = $this->_lexer->glimpse();
if ($peek['type'] === Lexer::T_SELECT) {
$this->match('(');
$expr = $this->Subselect();
$this->match(')');
return $expr;
}
}
return $this->StringPrimary();
}
/**
* StringPrimary ::= StateFieldPathExpression | string | InputParameter | FunctionsReturningStrings | AggregateExpression
*/
public function StringPrimary()
{
if ($this->_lexer->lookahead['type'] === Lexer::T_IDENTIFIER) {
$peek = $this->_lexer->glimpse();
2009-07-16 03:20:11 +04:00
if ($peek['value'] == '.') {
return $this->StateFieldPathExpression();
} else if ($peek['value'] == '(') {
return $this->FunctionsReturningStrings();
} else {
$this->syntaxError("'.' or '('");
}
} else if ($this->_lexer->lookahead['type'] === Lexer::T_STRING) {
$this->match(Lexer::T_STRING);
2009-07-16 03:20:11 +04:00
return $this->_lexer->token['value'];
} else if ($this->_lexer->lookahead['type'] === Lexer::T_INPUT_PARAMETER) {
$this->match(Lexer::T_INPUT_PARAMETER);
2009-06-14 21:34:28 +04:00
return new AST\InputParameter($this->_lexer->token['value']);
} else if ($this->_isAggregateFunction($this->_lexer->lookahead['type'])) {
return $this->AggregateExpression();
}
$this->syntaxError('StateFieldPathExpression | string | InputParameter | FunctionsReturningStrings | AggregateExpression');
}
/**
* EntityExpression ::= SingleValuedAssociationPathExpression | SimpleEntityExpression
*/
public function EntityExpression()
{
$glimpse = $this->_lexer->glimpse();
if ($this->_lexer->isNextToken(Lexer::T_IDENTIFIER) && $glimpse['value'] === '.') {
return $this->SingleValuedAssociationPathExpression();
}
return $this->SimpleEntityExpression();
}
/**
* SimpleEntityExpression ::= IdentificationVariable | InputParameter
*/
public function SimpleEntityExpression()
{
if ($this->_lexer->isNextToken(Lexer::T_INPUT_PARAMETER)) {
$this->match(Lexer::T_INPUT_PARAMETER);
return new AST\InputParameter($this->_lexer->token['value']);
}
return $this->IdentificationVariable();
}
/**
* AggregateExpression ::=
* ("AVG" | "MAX" | "MIN" | "SUM") "(" ["DISTINCT"] StateFieldPathExpression ")" |
* "COUNT" "(" ["DISTINCT"] (IdentificationVariable | SingleValuedPathExpression) ")"
*/
public function AggregateExpression()
{
$isDistinct = false;
$functionName = '';
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_COUNT)) {
$this->match(Lexer::T_COUNT);
$functionName = $this->_lexer->token['value'];
$this->match('(');
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_DISTINCT)) {
$this->match(Lexer::T_DISTINCT);
$isDistinct = true;
}
2009-07-16 03:20:11 +04:00
$pathExp = $this->SingleValuedPathExpression();
$this->match(')');
} else {
if ($this->_lexer->isNextToken(Lexer::T_AVG)) {
$this->match(Lexer::T_AVG);
} else if ($this->_lexer->isNextToken(Lexer::T_MAX)) {
$this->match(Lexer::T_MAX);
} else if ($this->_lexer->isNextToken(Lexer::T_MIN)) {
$this->match(Lexer::T_MIN);
} else if ($this->_lexer->isNextToken(Lexer::T_SUM)) {
$this->match(Lexer::T_SUM);
} else {
$this->syntaxError('One of: MAX, MIN, AVG, SUM, COUNT');
}
2009-07-16 03:20:11 +04:00
$functionName = $this->_lexer->token['value'];
$this->match('(');
$pathExp = $this->StateFieldPathExpression();
$this->match(')');
}
return new AST\AggregateExpression($functionName, $pathExp, $isDistinct);
}
/**
* QuantifiedExpression ::= ("ALL" | "ANY" | "SOME") "(" Subselect ")"
*/
public function QuantifiedExpression()
{
$all = $any = $some = false;
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_ALL)) {
$this->match(Lexer::T_ALL);
$all = true;
} else if ($this->_lexer->isNextToken(Lexer::T_ANY)) {
$this->match(Lexer::T_ANY);
$any = true;
} else if ($this->_lexer->isNextToken(Lexer::T_SOME)) {
$this->match(Lexer::T_SOME);
$some = true;
} else {
$this->syntaxError('ALL, ANY or SOME');
}
2009-07-16 03:20:11 +04:00
$this->match('(');
$qExpr = new AST\QuantifiedExpression($this->Subselect());
$this->match(')');
2009-07-16 03:20:11 +04:00
$qExpr->setAll($all);
$qExpr->setAny($any);
$qExpr->setSome($some);
2009-07-16 03:20:11 +04:00
return $qExpr;
}
/**
* BetweenExpression ::= ArithmeticExpression ["NOT"] "BETWEEN" ArithmeticExpression "AND" ArithmeticExpression
*/
2009-06-14 21:34:28 +04:00
public function BetweenExpression()
{
$not = false;
2009-06-14 21:34:28 +04:00
$arithExpr1 = $this->ArithmeticExpression();
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_NOT)) {
$this->match(Lexer::T_NOT);
$not = true;
}
2009-07-16 03:20:11 +04:00
$this->match(Lexer::T_BETWEEN);
2009-06-14 21:34:28 +04:00
$arithExpr2 = $this->ArithmeticExpression();
$this->match(Lexer::T_AND);
2009-06-14 21:34:28 +04:00
$arithExpr3 = $this->ArithmeticExpression();
$betweenExpr = new AST\BetweenExpression($arithExpr1, $arithExpr2, $arithExpr3);
$betweenExpr->setNot($not);
return $betweenExpr;
}
/**
* ComparisonExpression ::= ArithmeticExpression ComparisonOperator ( QuantifiedExpression | ArithmeticExpression )
*
* @return AST\ComparisonExpression
* @todo Semantical checks whether $leftExpr $operator and $rightExpr are compatible.
*/
public function ComparisonExpression()
{
$peek = $this->_lexer->glimpse();
2009-07-16 03:20:11 +04:00
$leftExpr = $this->ArithmeticExpression();
$operator = $this->ComparisonOperator();
if ($this->_isNextAllAnySome()) {
$rightExpr = $this->QuantifiedExpression();
} else {
$rightExpr = $this->ArithmeticExpression();
}
return new AST\ComparisonExpression($leftExpr, $operator, $rightExpr);
}
2009-07-16 03:20:11 +04:00
/**
* InExpression ::= StateFieldPathExpression ["NOT"] "IN" "(" (Literal {"," Literal}* | Subselect) ")"
*/
public function InExpression()
{
$inExpression = new AST\InExpression($this->StateFieldPathExpression());
if ($this->_lexer->isNextToken(Lexer::T_NOT)) {
$this->match(Lexer::T_NOT);
$inExpression->setNot(true);
}
$this->match(Lexer::T_IN);
$this->match('(');
if ($this->_lexer->isNextToken(Lexer::T_SELECT)) {
$inExpression->setSubselect($this->Subselect());
} else {
$literals = array();
$literals[] = $this->Literal();
while ($this->_lexer->isNextToken(',')) {
$this->match(',');
$literals[] = $this->Literal();
}
2009-07-16 03:20:11 +04:00
$inExpression->setLiterals($literals);
}
2009-07-16 03:20:11 +04:00
$this->match(')');
2009-07-16 03:20:11 +04:00
return $inExpression;
}
2009-07-16 03:20:11 +04:00
/**
* LikeExpression ::= StringExpression ["NOT"] "LIKE" (string | input_parameter) ["ESCAPE" char]
*/
public function LikeExpression()
{
$stringExpr = $this->StringExpression();
$isNot = false;
2009-07-16 03:20:11 +04:00
if ($this->_lexer->lookahead['type'] === Lexer::T_NOT) {
$this->match(Lexer::T_NOT);
$isNot = true;
}
2009-07-16 03:20:11 +04:00
$this->match(Lexer::T_LIKE);
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_INPUT_PARAMETER)) {
$this->match(Lexer::T_INPUT_PARAMETER);
$stringPattern = new AST\InputParameter($this->_lexer->token['value']);
} else {
$this->match(Lexer::T_STRING);
$stringPattern = $this->_lexer->token['value'];
}
2009-07-16 03:20:11 +04:00
$escapeChar = null;
2009-07-16 03:20:11 +04:00
if ($this->_lexer->lookahead['type'] === Lexer::T_ESCAPE) {
$this->match(Lexer::T_ESCAPE);
$this->match(Lexer::T_STRING);
$escapeChar = $this->_lexer->token['value'];
}
return new AST\LikeExpression($stringExpr, $stringPattern, $isNot, $escapeChar);
}
/**
* NullComparisonExpression ::= (SingleValuedPathExpression | InputParameter) "IS" ["NOT"] "NULL"
*/
public function NullComparisonExpression()
{
if ($this->_lexer->isNextToken(Lexer::T_INPUT_PARAMETER)) {
$this->match(Lexer::T_INPUT_PARAMETER);
$expr = new AST\InputParameter($this->_lexer->token['value']);
} else {
$expr = $this->SingleValuedPathExpression();
}
2009-07-16 03:20:11 +04:00
$nullCompExpr = new AST\NullComparisonExpression($expr);
$this->match(Lexer::T_IS);
if ($this->_lexer->isNextToken(Lexer::T_NOT)) {
$this->match(Lexer::T_NOT);
$nullCompExpr->setNot(true);
}
2009-07-16 03:20:11 +04:00
$this->match(Lexer::T_NULL);
return $nullCompExpr;
}
/**
* ExistsExpression ::= ["NOT"] "EXISTS" "(" Subselect ")"
*/
public function ExistsExpression()
{
$not = false;
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken(Lexer::T_NOT)) {
$this->match(Lexer::T_NOT);
$not = true;
}
$this->match(Lexer::T_EXISTS);
$this->match('(');
$existsExpression = new AST\ExistsExpression($this->Subselect());
$this->match(')');
$existsExpression->setNot($not);
return $existsExpression;
}
/**
* ComparisonOperator ::= "=" | "<" | "<=" | "<>" | ">" | ">=" | "!="
*/
2009-06-14 21:34:28 +04:00
public function ComparisonOperator()
{
switch ($this->_lexer->lookahead['value']) {
case '=':
$this->match('=');
2009-07-16 03:20:11 +04:00
return '=';
2009-07-16 03:20:11 +04:00
case '<':
$this->match('<');
$operator = '<';
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken('=')) {
$this->match('=');
$operator .= '=';
} else if ($this->_lexer->isNextToken('>')) {
$this->match('>');
$operator .= '>';
}
2009-07-16 03:20:11 +04:00
return $operator;
2009-07-16 03:20:11 +04:00
case '>':
$this->match('>');
$operator = '>';
2009-07-16 03:20:11 +04:00
if ($this->_lexer->isNextToken('=')) {
$this->match('=');
$operator .= '=';
}
2009-07-16 03:20:11 +04:00
return $operator;
2009-07-16 03:20:11 +04:00
case '!':
$this->match('!');
$this->match('=');
2009-07-16 03:20:11 +04:00
return '<>';
2009-07-16 03:20:11 +04:00
default:
$this->syntaxError('=, <, <=, <>, >, >=, !=');
}
}
/**
* FunctionDeclaration ::= FunctionsReturningStrings | FunctionsReturningNumerics | FunctionsReturningDatetime
*/
public function FunctionDeclaration()
{
$funcName = $this->_lexer->lookahead['value'];
2009-07-16 03:20:11 +04:00
if ($this->_isStringFunction($funcName)) {
return $this->FunctionsReturningStrings();
} else if ($this->_isNumericFunction($funcName)) {
return $this->FunctionsReturningNumerics();
} else if ($this->_isDatetimeFunction($funcName)) {
return $this->FunctionsReturningDatetime();
}
$this->syntaxError('Known function.');
}
/**
* FunctionsReturningNumerics ::=
* "LENGTH" "(" StringPrimary ")" |
* "LOCATE" "(" StringPrimary "," StringPrimary ["," SimpleArithmeticExpression]")" |
* "ABS" "(" SimpleArithmeticExpression ")" |
* "SQRT" "(" SimpleArithmeticExpression ")" |
* "MOD" "(" SimpleArithmeticExpression "," SimpleArithmeticExpression ")" |
* "SIZE" "(" CollectionValuedPathExpression ")"
*/
public function FunctionsReturningNumerics()
{
$funcNameLower = strtolower($this->_lexer->lookahead['value']);
$funcClass = self::$_NUMERIC_FUNCTIONS[$funcNameLower];
$function = new $funcClass($funcNameLower);
$function->parse($this);
2009-07-16 03:20:11 +04:00
return $function;
}
/**
* FunctionsReturningDateTime ::= "CURRENT_DATE" | "CURRENT_TIME" | "CURRENT_TIMESTAMP"
*/
public function FunctionsReturningDatetime()
{
$funcNameLower = strtolower($this->_lexer->lookahead['value']);
$funcClass = self::$_DATETIME_FUNCTIONS[$funcNameLower];
$function = new $funcClass($funcNameLower);
$function->parse($this);
return $function;
}
/**
* FunctionsReturningStrings ::=
* "CONCAT" "(" StringPrimary "," StringPrimary ")" |
* "SUBSTRING" "(" StringPrimary "," SimpleArithmeticExpression "," SimpleArithmeticExpression ")" |
* "TRIM" "(" [["LEADING" | "TRAILING" | "BOTH"] [char] "FROM"] StringPrimary ")" |
* "LOWER" "(" StringPrimary ")" |
* "UPPER" "(" StringPrimary ")"
*/
public function FunctionsReturningStrings()
{
$funcNameLower = strtolower($this->_lexer->lookahead['value']);
$funcClass = self::$_STRING_FUNCTIONS[$funcNameLower];
$function = new $funcClass($funcNameLower);
$function->parse($this);
return $function;
}
}