e5c912e0f3
* [Core] Fix #15558: Direct expression in ternary operator * [Core] Added tests for Non-Numeric conditions in ternary op. * [Core] prevent relational operator chains at grammar level. * [Core] Rewrite expressions grammar as a layered grammar. * [Core] Revert to left associative relops (like C/C++) plus tests.
226 lines
15 KiB
Plaintext
226 lines
15 KiB
Plaintext
/***************************************************************************
|
|
* Copyright (c) 2010 Jürgen Riegel <FreeCAD@juergen-riegel.net> *
|
|
* Copyright (c) 2015 Eivind Kvedalen <eivind@kvedalen.name> *
|
|
* *
|
|
* This file is part of the FreeCAD CAx development system. *
|
|
* *
|
|
* This library is free software; you can redistribute it and/or *
|
|
* modify it under the terms of the GNU Library General Public *
|
|
* License as published by the Free Software Foundation; either *
|
|
* version 2 of the License, or (at your option) any later version. *
|
|
* *
|
|
* This library is distributed in the hope that it will be useful, *
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of *
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
|
|
* GNU Library General Public License for more details. *
|
|
* *
|
|
* You should have received a copy of the GNU Library General Public *
|
|
* License along with this library; see the file COPYING.LIB. If not, *
|
|
* write to the Free Software Foundation, Inc., 59 Temple Place, *
|
|
* Suite 330, Boston, MA 02111-1307, USA *
|
|
* *
|
|
***************************************************************************/
|
|
|
|
/* Parser for the FreeCAD Expression language */
|
|
|
|
%{
|
|
#define YYSTYPE App::ExpressionParser::semantic_type
|
|
|
|
std::stack<FunctionExpression::Function> functions; /**< Function identifier */
|
|
|
|
#define yyparse ExpressionParser_yyparse
|
|
#define yyerror ExpressionParser_yyerror
|
|
%}
|
|
|
|
%token FUNC
|
|
%token ONE
|
|
%token NUM
|
|
%token IDENTIFIER
|
|
%token UNIT USUNIT
|
|
%token INTEGER
|
|
%token CONSTANT
|
|
%token CELLADDRESS
|
|
%token EQ NEQ LT GT GTE LTE
|
|
%token STRING MINUSSIGN PROPERTY_REF
|
|
%token DOCUMENT OBJECT
|
|
%token EXPONENT
|
|
%type <arguments> args
|
|
%type <expr> input unit_num us_building_unit other_unit exp unit_exp indexable
|
|
%type <quantity> UNIT USUNIT
|
|
%type <string> id_or_cell STRING IDENTIFIER CELLADDRESS
|
|
%type <ivalue> INTEGER
|
|
%type <string> PROPERTY_REF
|
|
%type <fvalue> ONE
|
|
%type <fvalue> NUM
|
|
%type <constant> CONSTANT
|
|
%type <expr> num
|
|
%type <expr> range
|
|
%type <path> identifier iden
|
|
%type <component> indexer
|
|
%type <func> FUNC
|
|
%type <string_or_identifier> document
|
|
%type <string_or_identifier> object
|
|
%type <ivalue> integer
|
|
%right '?' ':'
|
|
%left EQ NEQ LT GT GTE LTE
|
|
%left MINUSSIGN '+'
|
|
%left '*' '/' '%'
|
|
%precedence NUM_AND_UNIT
|
|
%left '^'
|
|
%precedence NEG
|
|
%precedence POS
|
|
|
|
%destructor { delete $$; } num range exp unit_exp indexable
|
|
%destructor { delete $$; } <component>
|
|
%destructor { std::vector<Expression*>::const_iterator i = $$.begin(); while (i != $$.end()) { delete *i; ++i; } } args
|
|
|
|
%start input
|
|
%%
|
|
|
|
|
|
input: exp { ScanResult = $1; valueExpression = true; }
|
|
| unit_exp { ScanResult = $1; unitExpression = true; }
|
|
;
|
|
|
|
unit_num: num unit_exp %prec NUM_AND_UNIT { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::UNIT, $2); }
|
|
| num us_building_unit num us_building_unit %prec NUM_AND_UNIT { $$ = new OperatorExpression(DocumentObject, new OperatorExpression(DocumentObject, $1, OperatorExpression::UNIT, $2), OperatorExpression::ADD, new OperatorExpression(DocumentObject, $3, OperatorExpression::UNIT, $4));}
|
|
;
|
|
|
|
exp: num { $$ = $1; }
|
|
| unit_num { $$ = $1; }
|
|
| STRING { $$ = new StringExpression(DocumentObject, $1); }
|
|
| identifier { $$ = new VariableExpression(DocumentObject, $1); }
|
|
| MINUSSIGN exp %prec NEG { $$ = new OperatorExpression(DocumentObject, $2, OperatorExpression::NEG, new NumberExpression(DocumentObject, Quantity(-1))); }
|
|
| '+' exp %prec POS { $$ = new OperatorExpression(DocumentObject, $2, OperatorExpression::POS, new NumberExpression(DocumentObject, Quantity(1))); }
|
|
| exp '+' exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::ADD, $3); }
|
|
| exp MINUSSIGN exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::SUB, $3); }
|
|
| exp '*' exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::MUL, $3); }
|
|
| exp '/' exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::DIV, $3); }
|
|
| exp '%' exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::MOD, $3); }
|
|
| exp '/' unit_exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::DIV, $3); }
|
|
| exp '^' exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::POW, $3); }
|
|
| exp EQ exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::EQ, $3); }
|
|
| exp NEQ exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::NEQ, $3); }
|
|
| exp LT exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::LT, $3); }
|
|
| exp GT exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::GT, $3); }
|
|
| exp GTE exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::GTE, $3); }
|
|
| exp LTE exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::LTE, $3); }
|
|
| indexable { $$ = $1; }
|
|
| FUNC args ')' { $$ = new FunctionExpression(DocumentObject, $1.first, std::move($1.second), $2);}
|
|
| exp '?' exp ':' exp { $$ = new ConditionalExpression(DocumentObject, $1, $3, $5); }
|
|
| '(' exp ')' { $$ = $2; }
|
|
;
|
|
|
|
num: ONE { $$ = new NumberExpression(DocumentObject, Quantity($1)); }
|
|
| NUM { $$ = new NumberExpression(DocumentObject, Quantity($1)); }
|
|
| INTEGER { $$ = new NumberExpression(DocumentObject, Quantity((double)$1)); }
|
|
| CONSTANT { $$ = new ConstantExpression(DocumentObject, $1.name, Quantity($1.fvalue)); }
|
|
|
|
args: exp { $$.push_back($1); }
|
|
| range { $$.push_back($1); }
|
|
| args ',' exp { $1.push_back($3); $$ = $1; }
|
|
| args ';' exp { $1.push_back($3); $$ = $1; }
|
|
| args ',' range { $1.push_back($3); $$ = $1; }
|
|
| args ';' range { $1.push_back($3); $$ = $1; }
|
|
;
|
|
|
|
range: id_or_cell ':' id_or_cell { $$ = new RangeExpression(DocumentObject, $1, $3); }
|
|
;
|
|
|
|
|
|
us_building_unit: USUNIT { $$ = new UnitExpression(DocumentObject, $1.scaler, $1.unitStr ); }
|
|
other_unit: UNIT { $$ = new UnitExpression(DocumentObject, $1.scaler, $1.unitStr ); }
|
|
|
|
unit_exp: other_unit { $$ = $1; }
|
|
| us_building_unit { $$ = $1; }
|
|
| unit_exp '/' unit_exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::DIV, $3); }
|
|
| unit_exp '*' unit_exp { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::MUL, $3); }
|
|
| unit_exp '^' integer { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::POW, new NumberExpression(DocumentObject, Quantity((double)$3))); }
|
|
| unit_exp '^' MINUSSIGN integer { $$ = new OperatorExpression(DocumentObject, $1, OperatorExpression::POW, new OperatorExpression(DocumentObject, new NumberExpression(DocumentObject, Quantity((double)$4)), OperatorExpression::NEG, new NumberExpression(DocumentObject, Quantity(-1)))); }
|
|
| '(' unit_exp ')' { $$ = $2; }
|
|
;
|
|
|
|
integer: INTEGER { $$ = $1; }
|
|
| ONE { $$ = $1; }
|
|
;
|
|
|
|
id_or_cell
|
|
: IDENTIFIER { $$ = std::move($1); }
|
|
| CELLADDRESS { $$ = std::move($1); }
|
|
;
|
|
|
|
identifier
|
|
: id_or_cell { $$ = ObjectIdentifier(DocumentObject); $$ << ObjectIdentifier::SimpleComponent($1); }
|
|
| iden { $$ = std::move($1); }
|
|
;
|
|
|
|
iden
|
|
: '.' STRING '.' id_or_cell { /* Path to property of a sub-object of the current object*/
|
|
$$ = ObjectIdentifier(DocumentObject,true);
|
|
$$.setDocumentObjectName(DocumentObject,false,ObjectIdentifier::String(std::move($2),true),true);
|
|
$$.addComponent(ObjectIdentifier::SimpleComponent($4));
|
|
}
|
|
| '.' id_or_cell { /* Path to property of the current document object */
|
|
$$ = ObjectIdentifier(DocumentObject,true);
|
|
$$.setDocumentObjectName(DocumentObject);
|
|
$$.addComponent(ObjectIdentifier::SimpleComponent($2));
|
|
}
|
|
| object '.' STRING '.' id_or_cell { /* Path to property of a sub-object */
|
|
$$ = ObjectIdentifier(DocumentObject);
|
|
$$.setDocumentObjectName(std::move($1), true, ObjectIdentifier::String(std::move($3),true),true);
|
|
$$.addComponent(ObjectIdentifier::SimpleComponent($5));
|
|
$$.resolveAmbiguity();
|
|
}
|
|
| object '.' id_or_cell { /* Path to property of a given document object */
|
|
$$ = ObjectIdentifier(DocumentObject);
|
|
$1.checkImport(DocumentObject);
|
|
$$.addComponent(ObjectIdentifier::SimpleComponent($1));
|
|
$$.addComponent(ObjectIdentifier::SimpleComponent($3));
|
|
$$.resolveAmbiguity();
|
|
}
|
|
| document '#' object '.' id_or_cell { /* Path to property from an external document, within a named document object */
|
|
$$ = ObjectIdentifier(DocumentObject);
|
|
$$.setDocumentName(std::move($1), true);
|
|
$$.setDocumentObjectName(std::move($3), true);
|
|
$$.addComponent(ObjectIdentifier::SimpleComponent($5));
|
|
$$.resolveAmbiguity();
|
|
}
|
|
| document '#' object '.' STRING '.' id_or_cell
|
|
{ $$ = ObjectIdentifier(DocumentObject);
|
|
$$.setDocumentName(std::move($1), true);
|
|
$$.setDocumentObjectName(std::move($3), true, ObjectIdentifier::String(std::move($5),true));
|
|
$$.addComponent(ObjectIdentifier::SimpleComponent($7));
|
|
$$.resolveAmbiguity();
|
|
}
|
|
| iden '.' IDENTIFIER { $$= std::move($1); $$.addComponent(ObjectIdentifier::SimpleComponent($3)); }
|
|
;
|
|
|
|
indexer
|
|
: '[' exp ']' { $$ = Expression::createComponent($2); }
|
|
| '[' exp ':' ']' { $$ = Expression::createComponent($2,0,0,true); }
|
|
| '[' ':' exp ']' { $$ = Expression::createComponent(0,$3); }
|
|
| '[' ':' ':' exp ']' { $$ = Expression::createComponent(0,0,$4); }
|
|
| '[' exp ':' exp ']' { $$ = Expression::createComponent($2,$4);}
|
|
| '[' exp ':' ':' exp ']' { $$ = Expression::createComponent($2,0,$5); }
|
|
| '[' ':' exp ':' exp ']' { $$ = Expression::createComponent(0,$3,$5); }
|
|
| '[' exp ':' exp ':' exp ']' { $$ = Expression::createComponent($2,$4,$6);}
|
|
;
|
|
|
|
indexable
|
|
: identifier indexer { $$ = new VariableExpression(DocumentObject,$1); $$->addComponent($2); }
|
|
| indexable indexer { $1->addComponent(std::move($2)); $$ = $1; }
|
|
| indexable '.' IDENTIFIER { $1->addComponent(Expression::createComponent($3)); $$ = $1; }
|
|
;
|
|
|
|
document
|
|
: STRING { $$ = ObjectIdentifier::String(std::move($1), true); }
|
|
| IDENTIFIER { $$ = ObjectIdentifier::String(std::move($1), false, true);}
|
|
;
|
|
|
|
object
|
|
: STRING { $$ = ObjectIdentifier::String(std::move($1), true); }
|
|
| id_or_cell { $$ = ObjectIdentifier::String(std::move($1), false);}
|
|
;
|
|
|
|
%%
|