Hi Stef, I don't see unsupported syntax, just missing quotes around some tokens, such as ** should be "**", + should be "+" in binary_adding_operator, etc... BOOLEAN is probably <BOOLEAN> Are you sure that the text you're joining isn't unquoted? It's hard to requote everything as it should be, and not having the lexer definition makes testing with SmaCC a bit painfull. Thierry Le 02/09/2013 12:18, Stéphane Ducasse a écrit :
Hi thierry
I imported the generated parsers (a student did a while ago on VW using Smacc). The generated parser parse apparently the tests. Now when I regenerate the parser with Pharo I cannot get the Smacc compuling the parser. I get a SmaCCParserError: Token not expected
do you have any idea what would not be supported in the Pharo/Squeak version
# # Expression Parser #=============================================
goal: expression* ;
expression: relation ( ( and | and then | or | or else | xor ) relation )*;
relation: simple_expression sndPart?;
sndPart: relational_operator simple_expression | ( not )? ( in range | in type_mark);
simple_expression: (unary_adding_operator)? term (binary_adding_operator term)*;
term: factor (multiplying_operator factor)*;
factor: primary ( ** primary)? | abs primary | not primary;
#<identifier> instead of name primary: <numeric_lit> | null | <string_lit> | <number> | <identifier> | <identifier> '' <identifier> | function_call | ( expression ) ; #simplified
binary_adding_operator: + | - | & ; unary_adding_operator: + | - ; multiplying_operator: * | / | mod | rem ; relational_operator: = | /= | < | <= |
|
= ;
#=============================================================================
function_call: <identifier> ''identifier'' function_arguments ''args'' { ADFunctionCall withElements: args withName: identifier } ;
function_arguments: ( expression ( , expression)* ) ;
#==== Declarations ===========================================================
discrete_range: range | subtype_indication; #discrete_?
subtype_indication: type_mark (constraint)? ;
type_mark: type;
constraint: range_constraint;
range_constraint: range range;
range: range_attribute | (simple_expression .. simple_expression);
range_attribute: <identifier> ''
range ; #cf. 4.1.4
#==== Names ==================================================================
name: simple_name | <char_lit> | indexed_component | slice | selected_component | attribute; #operator_symbol
prefix: name | function_call;
simple_name: <identifier>;
indexed_component: prefix ( expression ( , expression )* ) ;
slice: prefix ( discrete_range ) ;
selected_component: prefix . selector;
selector: simple_name | <char_lit> |
all ; #operator_symbol
attribute: prefix '' attribute_designator;
attribute_designator: simple_name ( ( <universal_static_expression> ) )? ;
#==== Types: appendix c: package STANDARD plus more ========================================================= type: BOOLEAN | REAL | INTEGER | FLOAT | CHARACTER | DURATION |
STRING | RAINBOW ;
'
-- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95