diff options
Diffstat (limited to 'lib/ic/src/icparse.yrl')
| -rw-r--r-- | lib/ic/src/icparse.yrl | 872 |
1 files changed, 0 insertions, 872 deletions
diff --git a/lib/ic/src/icparse.yrl b/lib/ic/src/icparse.yrl deleted file mode 100644 index 27e949729c..0000000000 --- a/lib/ic/src/icparse.yrl +++ /dev/null @@ -1,872 +0,0 @@ -%% -%% %CopyrightBegin% -%% -%% Copyright Ericsson AB 1997-2016. All Rights Reserved. -%% -%% Licensed under the Apache License, Version 2.0 (the "License"); -%% you may not use this file except in compliance with the License. -%% You may obtain a copy of the License at -%% -%% http://www.apache.org/licenses/LICENSE-2.0 -%% -%% Unless required by applicable law or agreed to in writing, software -%% distributed under the License is distributed on an "AS IS" BASIS, -%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -%% See the License for the specific language governing permissions and -%% limitations under the License. -%% -%% %CopyrightEnd% -%% -%%------------------------------------------------------------ -%% Yecc spec for IDL -%% -%% -%% -%% Implementation Detail: -%% OorM_ means OneORMany and is used instead of -%% the "+" BNF notation -%% ZorM_ means ZeroORMany and is used instead of -%% the "*" BNF notation -%% -%% All the reverse/1 calls are because yecc+lists naturally leads -%% to reversed lists, which then have to be reversed. Maybe fix -%% this? -%% -%% Implementation history -%% -%% The IDL language supported is not the complete IDL. We skipped -%% the multiple declarator syntax allowed (i.e. typedef long T1, -%% T2). This also applies to attributes members in structs, -%% unions and exceptions, and to case labels in unions. The cases -%% where IDL has been altered is marked with comments containing -%% NIY. -%% -%% Above is chaging. Whenever we change a clause, we put (FIXED) in -%% its comment. -%% -%%------------------------------------------------------------ - - - - - -Nonterminals - '<op_type_spec>' - '<enumerator>' - '<switch_body>' - 'OorM_<case>' - '<member_list>' - '<struct_type>' - '<unsigned_int>' - '<constr_type_spec>' - '<shift_expr>' - '<or_expr>' - '<inheritance_spec>' - 'ZorM_<param_dcl>' - 'Opt_<context_expr>' - '<attr_dcl>' - '<array_declarator>' - '<element_spec>' - '<signed_int>' - '<primary_expr>' - '<interface_dcl>' - 'ZorM_<string_literal>' - 'Opt_<raises_expr>' - '<integer_type>' - '<signed_long_int>' - '<literal>' - '<export>' - '<forward_dcl>' - 'OorM_<definition>' - '<base_type_spec>' - '<op_dcl>' - '<const_exp>' - '<case>' - '<any_type>' - '<signed_short_int>' - '<unary_expr>' - '<context_expr>' - 'ZorM_<scoped_name>' - '<switch_type_spec>' - '<complex_declarator>' - '<declarators>' - 'OorM_<member>' - '<interface>' - '<parameter_dcls>' - '<op_attribute>' - '<positive_int_const>' - 'OorM_<fixed_array_size>' - '<sequence_type>' - '<case_label>' - '<octet_type>' - '<type_dcl>' - '<module>' - '<specification>' - '<declarator>' - '<boolean_type>' - '<union_type>' - '<add_expr>' - '<interface_body>' - '<except_dcl>' - '<fixed_array_size>' - '<unsigned_short_int>' - '<boolean_literal>' - '<and_expr>' - 'Opt_<inheritance_spec>' - '<scoped_name>' - '<param_type_spec>' - 'ZorM_<member>' - '<char_type>' - '<const_dcl>' - '<param_dcl>' - 'ZorM_<simple_declarator>' - 'ZorM_<declarator>' - '<const_type>' - '<definition>' - '<param_attribute>' - '<simple_declarator>' - 'Opt_readonly' - '<simple_type_spec>' - '<enum_type>' - '<type_spec>' - 'OorM_<case_label>' - '<floating_pt_type>' - '<template_type_spec>' - '<mult_expr>' - '<xor_expr>' - '<string_type>' - '<raises_expr>' - 'Opt_<op_attribute>' - 'ZorM_<enumerator>' - '<member>' - '<unsigned_long_int>' - '<type_declarator>' - '<unary_operator>' - 'ZorM_<export>' - '<interface_header>' - 'OE_preproc' % NON standard - 'OE_pragma' % NON standard - 'Ugly_pragmas' % NON standard - 'ZorM_<integer_literal>' - '<fixed_pt_type>' - '<fixed_pt_const_type>' - '<constr_forward_decl>' - . - - -Terminals - '#' - 'in' - '[' - 'interface' - '(' - 'case' - 'union' - 'struct' - '<character_literal>' - '<wcharacter_literal>' - ')' - ']' - 'any' - 'long' - 'float' - 'out' - '*' - '^' - 'enum' - 'double' - '+' - 'context' - 'oneway' - 'sequence' - ',' - 'FALSE' - '<identifier>' - '{' - 'readonly' - ':' - '-' - 'void' - ';' - 'char' - 'wchar' %% WCHAR - '|' - 'inout' - '}' - 'attribute' - '<' - 'octet' - '/' - 'TRUE' - '~' - '=' - '>' - 'switch' - 'unsigned' - 'typedef' - '>>' - 'const' - '<string_literal>' - '<wstring_literal>' - 'raises' - 'string' - 'wstring' - 'fixed' - 'default' - 'short' - '%' - '<<' - 'module' - 'exception' - 'boolean' - '<integer_literal>' - '<fixed_pt_literal>' - '<floating_pt_literal>' - '&' - '::' - 'Object' - . - - -Rootsymbol '<specification>'. - - -Expect 9. - - -%%------------------------------------------------------------ -%% Clauses -%% - -%% Handling of pragmas. -%% Pragma prefix, id and version are not standard. - -%% pragma prefix, or codeopt -OE_pragma -> '#' '<integer_literal>' '<identifier>' - '<identifier>' '<string_literal>' '#' - : #pragma{type='$4', to=followed, apply='$5'} . - -%% pragma id -OE_pragma -> '#' '<integer_literal>' '<identifier>' - '<identifier>' '<identifier>' '<string_literal>' '#' - : #pragma{type='$4', to='$5', apply='$6'} . - -%% pragma version -OE_pragma -> '#' '<integer_literal>' '<identifier>' - '<identifier>' '<identifier>' '<floating_pt_literal>' '#' - : #pragma{type='$4', to='$5', apply=ic_options:float_to_version('$6')} . - - - - - - - -%% Ugly pragmas -Ugly_pragmas -> '$empty' : []. -Ugly_pragmas -> 'Ugly_pragmas' 'OE_pragma' : ['$2'|'$1']. - - - -%% (0) Handling of preprocessor stuff. - -OE_preproc -> '#' '#' . - -OE_preproc -> '#' '<integer_literal>' '<string_literal>' - 'ZorM_<integer_literal>' '#' - : case '$4' of - [] -> - case '$2' of - {_,_,"1"} -> - #preproc{cat=line_nr, id='$3', aux='$4'}; - _ -> - [] - end; - _ -> - #preproc{cat=line_nr, id='$3', aux='$4'} - end. - -%% (0b) Non-standard -'ZorM_<integer_literal>' -> '$empty' : [] . -'ZorM_<integer_literal>' -> '<integer_literal>' 'ZorM_<integer_literal>' - : ['$1' | '$2'] . - -%% (1) -'<specification>' -> 'OorM_<definition>' : reverse('$1') . - - -%% Added clause -'OorM_<definition>' -> '<definition>' : ['$1'] . -'OorM_<definition>' -> 'OorM_<definition>' '<definition>' -: ['$2' | '$1'] . - - -%% (2) -'<definition>' -> '<type_dcl>' ';' : '$1' . -'<definition>' -> '<const_dcl>' ';' : '$1' . -'<definition>' -> '<except_dcl>' ';' : '$1' . -'<definition>' -> '<interface>' ';' : '$1' . -'<definition>' -> '<module>' ';' : '$1' . -'<definition>' -> 'OE_preproc' : '$1' . -'<definition>' -> 'OE_pragma' : '$1' . - - -%% (3) -'<module>' -> 'module' '<identifier>' '{' 'OorM_<definition>' '}' -: #module{ id='$2', body=reverse('$4')}. - - -%% (4) -'<interface>' -> '<interface_dcl>' : '$1' . -'<interface>' -> '<forward_dcl>' : '$1' . - - -%% (5) -'<interface_dcl>' -> '<interface_header>' '{' '<interface_body>' '}' - : #interface{id=element(1, '$1'), inherit=element(2, '$1'), - body=lists:reverse('$3')} . - - -%% (6) -'<forward_dcl>' -> 'interface' '<identifier>' -: #forward{id='$2'} . - - -%% (7) -'<interface_header>' -> 'interface' '<identifier>' 'Opt_<inheritance_spec>' -: {'$2', '$3'} . - - -%% (8) -'<interface_body>' -> 'ZorM_<export>' : '$1' . - - -%% Added clause -'ZorM_<export>' -> '$empty' : [] . -'ZorM_<export>' -> 'ZorM_<export>' '<export>' - %% Complicated because <export> might be a list (of type defs for instance) - : if is_list('$2') -> '$2' ++ '$1'; - true -> ['$2' | '$1'] - end . - - -%% (9) -'<export>' -> '<type_dcl>' ';' : '$1' . -'<export>' -> '<const_dcl>' ';' : '$1' . -'<export>' -> '<except_dcl>' ';' : '$1' . -'<export>' -> '<attr_dcl>' ';' : '$1' . -'<export>' -> '<op_dcl>' ';' : '$1' . -'<export>' -> 'OE_preproc' : '$1' . -'<export>' -> 'OE_pragma' : '$1' . - -%% Added clause -'Opt_<inheritance_spec>' -> '$empty' : []. -'Opt_<inheritance_spec>' -> '<inheritance_spec>' : '$1'. - -%% (10) -'<inheritance_spec>' -> ':' '<scoped_name>' 'ZorM_<scoped_name>' - : ['$2' | reverse('$3')] . - - -%% Added clause -'ZorM_<scoped_name>' -> '$empty' : [] . -'ZorM_<scoped_name>' -> 'ZorM_<scoped_name>' ',' '<scoped_name>' - : ['$3' | '$1'] . - - -%% (11) -'<scoped_name>' -> '<identifier>' : ic_symtab:scoped_id_new('$1') . -'<scoped_name>' -> '::' '<identifier>' : ic_symtab:scoped_id_new_global('$2') . -'<scoped_name>' -> '<scoped_name>' '::' '<identifier>' - : ic_symtab:scoped_id_add('$1', '$3') . - - -%% (12) -'<const_dcl>' -> 'const' '<const_type>' '<identifier>' '=' '<const_exp>' - : #const{type='$2', id='$3', val='$5'} . - - -%% (13) -'<const_type>' -> '<integer_type>' : '$1' . -'<const_type>' -> '<char_type>' : '$1' . -'<const_type>' -> '<boolean_type>' : '$1' . -'<const_type>' -> '<floating_pt_type>' : '$1' . -'<const_type>' -> '<string_type>' : '$1' . -'<const_type>' -> '<fixed_pt_const_type>' : '$1' . -'<const_type>' -> '<scoped_name>' : '$1' . -'<const_type>' -> '<octet_type>' : '$1' . - - -%% (14) -'<const_exp>' -> '<or_expr>' : '$1' . - - -%% (15) -'<or_expr>' -> '<xor_expr>' : '$1' . -'<or_expr>' -> '<or_expr>' '|' '<xor_expr>' : {'or', '$1', '$3'} . - - -%% (16) -'<xor_expr>' -> '<and_expr>' : '$1' . -'<xor_expr>' -> '<xor_expr>' '^' '<and_expr>' : {'xor', '$1', '$3'} . - - -%% (17) -'<and_expr>' -> '<shift_expr>' : '$1' . -'<and_expr>' -> '<and_expr>' '&' '<shift_expr>' : {'and', '$1', '$3'} . - - -%% (18) -'<shift_expr>' -> '<add_expr>' : '$1' . -'<shift_expr>' -> '<shift_expr>' '>>' '<add_expr>' : {'rshift', '$1', '$3'} . -'<shift_expr>' -> '<shift_expr>' '<<' '<add_expr>' : {'lshift', '$1', '$3'} . - - -%% (19) -'<add_expr>' -> '<mult_expr>' : '$1' . -'<add_expr>' -> '<add_expr>' '+' '<mult_expr>' : {'+', '$1', '$3'} . -'<add_expr>' -> '<add_expr>' '-' '<mult_expr>' : {'-', '$1', '$3'} . - - -%% (20) -'<mult_expr>' -> '<unary_expr>' : '$1' . -'<mult_expr>' -> '<mult_expr>' '*' '<unary_expr>' : {'*', '$1', '$3'} . -'<mult_expr>' -> '<mult_expr>' '/' '<unary_expr>' : {'/', '$1', '$3'} . -'<mult_expr>' -> '<mult_expr>' '%' '<unary_expr>' : {'%', '$1', '$3'} . - - -%% (21) -'<unary_expr>' -> '<unary_operator>' '<primary_expr>' : {'$1', '$2'} . -'<unary_expr>' -> '<primary_expr>' : '$1' . - - -%% (22) -'<unary_operator>' -> '-' : '$1' . -'<unary_operator>' -> '+' : '$1' . -'<unary_operator>' -> '~' : '$1' . - - -%% (23) -'<primary_expr>' -> '<scoped_name>' : '$1' . -'<primary_expr>' -> '<literal>' : '$1' . -'<primary_expr>' -> '(' '<const_exp>' ')' : '$2' . - - -%% (24) -'<literal>' -> '<integer_literal>' : '$1' . -'<literal>' -> '<wstring_literal>' : '$1' . -'<literal>' -> '<string_literal>' : '$1' . -'<literal>' -> '<character_literal>' : '$1' . -'<literal>' -> '<wcharacter_literal>' : '$1' . -'<literal>' -> '<fixed_pt_literal>' : '$1' . -'<literal>' -> '<floating_pt_literal>' : '$1' . -'<literal>' -> '<boolean_literal>' : '$1' . - - -%% (25) -'<boolean_literal>' -> 'TRUE' : '$1' . -'<boolean_literal>' -> 'FALSE' : '$1' . - - -%% (26) -'<positive_int_const>' -> '<const_exp>' : '$1' . - - -%% (27) -'<type_dcl>' -> 'typedef' '<type_declarator>' : '$2' . -'<type_dcl>' -> '<struct_type>' : '$1' . -'<type_dcl>' -> '<union_type>' : '$1' . -'<type_dcl>' -> '<enum_type>' : '$1' . -'<type_dcl>' -> '<constr_forward_decl>' : '$1' . - -%% (28) NIY multiple declarators (FIXED) -'<type_declarator>' -> '<type_spec>' '<declarators>' - : #typedef{type='$1', id='$2'} . %%%ic:unfold(#typedef{type='$1', id='$2'}) . -%%'<type_declarator>' -> '<type_spec>' '<declarator>' -%% : #typedef{type='$1', id='$2'} . - -%% (29) -'<type_spec>' -> '<simple_type_spec>' : '$1' . -'<type_spec>' -> '<constr_type_spec>' : '$1' . - - -%% (30) -'<simple_type_spec>' -> '<base_type_spec>' : '$1' . -'<simple_type_spec>' -> '<template_type_spec>' : '$1' . -'<simple_type_spec>' -> '<scoped_name>' : '$1' . - - -%% (31) -'<base_type_spec>' -> '<floating_pt_type>' : '$1' . -'<base_type_spec>' -> '<integer_type>' : '$1' . -'<base_type_spec>' -> '<char_type>' : '$1' . -'<base_type_spec>' -> '<boolean_type>' : '$1' . -'<base_type_spec>' -> '<octet_type>' : '$1' . -'<base_type_spec>' -> '<any_type>' : '$1' . -'<base_type_spec>' -> 'Object' : '$1' . %% NON Standard, isn't a base type - - -%% (32) -'<template_type_spec>' -> '<sequence_type>' : '$1' . -'<template_type_spec>' -> '<string_type>' : '$1' . -'<template_type_spec>' -> '<fixed_pt_type>' : '$1' . - - -%% (33) -'<constr_type_spec>' -> '<struct_type>' : '$1' . -'<constr_type_spec>' -> '<union_type>' : '$1' . -'<constr_type_spec>' -> '<enum_type>' : '$1' . - - -%% (34) -'<declarators>' -> '<declarator>' 'ZorM_<declarator>' -: ['$1' | reverse('$2')] . - -%% Added clause -'ZorM_<declarator>' -> '$empty' : [] . -'ZorM_<declarator>' -> 'ZorM_<declarator>' ',' '<declarator>' -: ['$3' | '$1'] . - - -%% (35) -'<declarator>' -> '<simple_declarator>' : '$1' . -'<declarator>' -> '<complex_declarator>' : '$1' . - - -%% (36) -'<simple_declarator>' -> '<identifier>' : '$1' . - - -%% (37) -'<complex_declarator>' -> '<array_declarator>' : '$1' . - - -%% (38) -'<floating_pt_type>' -> 'float' : '$1' . -'<floating_pt_type>' -> 'double' : '$1' . - - -%% (39) -'<integer_type>' -> '<signed_int>' : '$1' . -'<integer_type>' -> '<unsigned_int>' : {'unsigned', '$1'} . - - -%% (40) -'<signed_int>' -> '<signed_long_int>' : '$1' . -'<signed_int>' -> '<signed_short_int>' : '$1' . - - -%% (41) -'<signed_long_int>' -> 'long' : '$1' . -'<signed_long_int>' -> 'long' 'long': {'long long', element(2,'$2')} . - - -%% (42) -'<signed_short_int>' -> 'short' : '$1' . - - -%% (43) -'<unsigned_int>' -> '<unsigned_long_int>' : '$1' . -'<unsigned_int>' -> '<unsigned_short_int>' : '$1' . - - -%% (44) -'<unsigned_long_int>' -> 'unsigned' 'long' : '$2' . -'<unsigned_long_int>' -> 'unsigned' 'long' 'long' : {'long long', element(2,'$2')} . %% ULLONG - - -%% (45) -'<unsigned_short_int>' -> 'unsigned' 'short' : '$2' . - - -%% (46) -'<char_type>' -> 'char' : '$1' . -'<char_type>' -> 'wchar' : '$1' . %% WCHAR - - -%% (47) -'<boolean_type>' -> 'boolean' : '$1' . - - -%% (48) -'<octet_type>' -> 'octet' : '$1' . - - -%% (49) -'<any_type>' -> 'any' : '$1' . - -%% -'<fixed_pt_const_type>' -> 'fixed' : '$1'. - -%% (50) NIY: unfolding of struct decls (FIXED) -%%'<struct_type>' -> 'struct' '<identifier>' '{' '<member_list>' '}' -%% : #struct{id='$2', body=ic:unfold('$4')} . -'<struct_type>' -> 'struct' '<identifier>' '{' '<member_list>' '}' - : #struct{id='$2', body='$4'} . - - -%% (51) -'<member_list>' -> 'OorM_<member>' : reverse('$1') . - - -%% Added clause -%%'OorM_<member>' -> '<member>' : ['$1'] . -%%'OorM_<member>' -> 'OorM_<member>' '<member>' -%% : ['$2' | '$1'] . - -'OorM_<member>' -> '<member>' : '$1' . -'OorM_<member>' -> 'OorM_<member>' '<member>' - : '$2' ++ '$1' . - - - -%% (52) NIY: member multiple declarators (FIXED) -%%'<member>' -> '<type_spec>' '<declarators>' ';' -%% : #member{type='$1', id='$2'} . - -'<member>' -> 'Ugly_pragmas' '<type_spec>' '<declarators>' 'Ugly_pragmas' ';' 'Ugly_pragmas' - : '$1' ++ '$4' ++ '$6' ++ [#member{type='$2', id='$3'}] . - - -%% (53) NIY: unfolding of union cases (FIXED) -%%'<union_type>' -> 'union' '<identifier>' 'switch' -%% '(' '<switch_type_spec>' ')' '{' '<switch_body>' '}' -%% : #union{id='$2', type='$5', body=ic:unfold('$8')} . -'<union_type>' -> 'union' '<identifier>' 'switch' - '(' '<switch_type_spec>' ')' '{' '<switch_body>' '}' - : #union{id='$2', type='$5', body='$8'} . - - -%% (54) -'<switch_type_spec>' -> '<integer_type>' : '$1' . -'<switch_type_spec>' -> '<char_type>' : '$1' . -'<switch_type_spec>' -> '<boolean_type>' : '$1' . -'<switch_type_spec>' -> '<enum_type>' : '$1' . -'<switch_type_spec>' -> '<scoped_name>' : '$1' . - - -%% (55) -'<switch_body>' -> 'OorM_<case>' : reverse(lists:flatten('$1')) . - -%%'<switch_body>' -> 'OorM_<case>' : '$1' . - - -%% Added clause -'OorM_<case>' -> '<case>' : ['$1'] . -'OorM_<case>' -> 'OorM_<case>' '<case>' : ['$2' | '$1'] . - - -%% (56) NIY thing: multiple case labels (FIXED) -%%'<case>' -> 'OorM_<case_label>' '<element_spec>' ';' -%% : '$2'#case_dcl{label=reverse('$1')} . - -'<case>' -> - 'Ugly_pragmas' 'OorM_<case_label>' - 'Ugly_pragmas' '<element_spec>' - 'Ugly_pragmas' ';' 'Ugly_pragmas' - : '$1' ++ '$3' ++ '$5' ++ '$7' ++ [ '$4'#case_dcl{label=reverse('$2')} ] . - - -%% Added clause -%%'OorM_<case_label>' -> '<case_label>' : ['$1'] . -%%'OorM_<case_label>' -> 'OorM_<case_label>' '<case_label>' : ['$2' | '$1'] . - -'OorM_<case_label>' -> 'Ugly_pragmas' '<case_label>' 'Ugly_pragmas' - : '$1' ++ ['$2'] ++ '$3' . -'OorM_<case_label>' -> 'OorM_<case_label>' 'Ugly_pragmas' '<case_label>' 'Ugly_pragmas' - : '$2' ++ ['$3'|'$1'] ++ '$4'. - - -%% (57) -'<case_label>' -> 'case' '<const_exp>' ':' : '$2' . -'<case_label>' -> 'default' ':' : '$1' . - - -%% (58) -'<element_spec>' -> '<type_spec>' '<declarator>' -: #case_dcl{type='$1', id='$2'} . - - -%% (59) -%%'<enum_type>' -> 'enum' '<identifier>' -%%'{' '<enumerator>' 'ZorM_<enumerator>' '}' -%%: #enum{id='$2', body=['$4' | reverse('$5')]} . - -'<enum_type>' -> 'enum' '<identifier>' -'{' 'Ugly_pragmas' '<enumerator>' 'Ugly_pragmas' 'ZorM_<enumerator>' 'Ugly_pragmas' '}' -: #enum{id='$2', body='$4'++'$6'++'$8'++['$5' | reverse('$7')]} . - - - -%% Added clause -%%'ZorM_<enumerator>' -> '$empty' : [] . -%%'ZorM_<enumerator>' -> 'ZorM_<enumerator>' ',' '<enumerator>' : ['$3' | '$1'] . - -'ZorM_<enumerator>' -> '$empty' : [] . -'ZorM_<enumerator>' -> 'ZorM_<enumerator>' 'Ugly_pragmas' ',' 'Ugly_pragmas' '<enumerator>' - : '$2'++'$4'++['$5' | '$1'] . - -%% (60) -'<enumerator>' -> '<identifier>' : #enumerator{id='$1'} . - - -%% (61) -'<sequence_type>' -> 'sequence' '<' '<simple_type_spec>' ',' - '<positive_int_const>' '>' - : #sequence{type='$3', length='$5'} . -'<sequence_type>' -> 'sequence' '<' '<simple_type_spec>' '>' - : #sequence{type='$3'} . - - -%% (62) -'<string_type>' -> 'string' '<' '<positive_int_const>' '>' - : #string{length='$3'} . -'<string_type>' -> 'string' : #string{} . - -'<string_type>' -> 'wstring' '<' '<positive_int_const>' '>' %% WSTRING - : #wstring{length='$3'} . -'<string_type>' -> 'wstring' : #wstring{} . %% WSTRING - - -%% (63) -'<array_declarator>' -> '<identifier>' 'OorM_<fixed_array_size>' - : #array{id='$1', size=reverse('$2')} . - - -%% Added clause -'OorM_<fixed_array_size>' -> '<fixed_array_size>' : ['$1'] . -'OorM_<fixed_array_size>' -> 'OorM_<fixed_array_size>' '<fixed_array_size>' - : ['$2' | '$1'] . - - -%% (64) -'<fixed_array_size>' -> '[' '<positive_int_const>' ']' : '$2' . - - -%% (65) NIY: multiple attribute declarators (FIXED) -'<attr_dcl>' -> 'Opt_readonly' 'attribute' '<param_type_spec>' - '<simple_declarator>' 'ZorM_<simple_declarator>' - : #attr{readonly='$1', type='$3', id=['$4' | reverse('$5')]} . -%% : ic:unfold(#attr{readonly='$1', type='$3', id=['$4' | reverse('$5')]}) . -%%'<attr_dcl>' -> 'Opt_readonly' 'attribute' '<param_type_spec>' -%% '<simple_declarator>' - - -%% (66) NIY: unfolding of exception bodies (FIXED) -%%'<except_dcl>' -> 'exception' '<identifier>' '{' 'ZorM_<member>' '}' -%% : #except{id='$2', body=ic:unfold('$4')} . -'<except_dcl>' -> 'exception' '<identifier>' '{' 'ZorM_<member>' '}' - : #except{id='$2', body=reverse('$4')} . - -%% (67) -'<op_dcl>' -> 'Opt_<op_attribute>' '<op_type_spec>' '<identifier>' '<parameter_dcls>' 'Opt_<raises_expr>' 'Opt_<context_expr>' - : #op{oneway='$1', type='$2', id='$3', params='$4', raises='$5', ctx='$6'} . - -%% Added clause -'Opt_<op_attribute>' -> '$empty' : nil. -'Opt_<op_attribute>' -> '<op_attribute>' : '$1'. - -%% (68) -'<op_attribute>' -> 'oneway' : '$1' . - - -%% (69) -'<op_type_spec>' -> '<param_type_spec>' : '$1' . -'<op_type_spec>' -> 'void' : '$1' . - - -%% (70) Rewritten -%'<parameter_dcls>' -> '(' '<param_dcl>' 'ZorM_<param_dcl>' ')' -% : ['$2' | reverse('$3')] . -%'<parameter_dcls>' -> '(' ')' : [] . - -'<parameter_dcls>' -> '(' 'Ugly_pragmas' '<param_dcl>' 'ZorM_<param_dcl>' ')' - : '$2' ++ ['$3' | reverse('$4')] . -'<parameter_dcls>' -> '(' 'Ugly_pragmas' ')' : '$2' . - - -%% Added clause -%'ZorM_<param_dcl>' -> '$empty' : [] . -%'ZorM_<param_dcl>' -> 'ZorM_<param_dcl>' ',' '<param_dcl>' : ['$3' | '$1'] . - - -'ZorM_<param_dcl>' -> 'Ugly_pragmas' : '$1' . -'ZorM_<param_dcl>' -> 'ZorM_<param_dcl>' 'Ugly_pragmas' ',' 'Ugly_pragmas' '<param_dcl>' 'Ugly_pragmas' - : '$2' ++ '$4' ++ '$6' ++ ['$5' | '$1'] . - - - - -%% (71) -'<param_dcl>' -> '<param_attribute>' '<param_type_spec>' '<simple_declarator>' - : #param{inout='$1', type='$2', id='$3'} . - - -%% (72) -'<param_attribute>' -> 'in' : '$1' . -'<param_attribute>' -> 'out' : '$1' . -'<param_attribute>' -> 'inout' : '$1' . - - -%% Added clause -'Opt_<raises_expr>' -> '$empty' : [] . -'Opt_<raises_expr>' -> '<raises_expr>' : '$1' . - -%% (73) -'<raises_expr>' -> 'raises' '(' '<scoped_name>' 'ZorM_<scoped_name>' ')' - : ['$3'| reverse('$4')] . - - -%% Added clause -'Opt_<context_expr>' -> '$empty' : [] . -'Opt_<context_expr>' -> '<context_expr>' : '$1'. - -%% (74) -'<context_expr>' -> 'context' '(' '<string_literal>' 'ZorM_<string_literal>'')' - : ['$3' | reverse('$4')] . - - - -%% (75) -'<param_type_spec>' -> '<base_type_spec>' : '$1' . -'<param_type_spec>' -> '<string_type>' : '$1' . -'<param_type_spec>' -> '<scoped_name>' : '$1' . - - -%% (96) -'<fixed_pt_type>' -> 'fixed' '<' '<positive_int_const>' ',' '<positive_int_const>' '>' - : #fixed{digits='$3',scale='$5'} . - -%% (99) -'<constr_forward_decl>' -> 'struct' '<identifier>' : #constr_forward{id='$2', tk=tk_struct} . -'<constr_forward_decl>' -> 'union' '<identifier>' : #constr_forward{id='$2', tk=tk_union} . - -%% Added clause -'ZorM_<string_literal>' -> '$empty' : [] . -'ZorM_<string_literal>' -> 'ZorM_<string_literal>' ',' '<string_literal>' - : ['$3' | '$1'] . - -%% Added clause -'ZorM_<simple_declarator>' -> '$empty' : [] . -'ZorM_<simple_declarator>' -> 'ZorM_<simple_declarator>' ',' -'<simple_declarator>' : ['$3' | '$1'] . - -%% Added clause -%%'ZorM_<member>' -> '$empty' : [] . -%%'ZorM_<member>' -> 'ZorM_<member>' '<member>' : ['$2' | '$1'] . - -'ZorM_<member>' -> 'Ugly_pragmas' : '$1' . -'ZorM_<member>' -> 'ZorM_<member>' '<member>' : '$2' ++ '$1' . - - -%% Added clause -'Opt_readonly' -> '$empty' : nil. -'Opt_readonly' -> 'readonly' : '$1'. - - - -Erlang code. -%%----------------------------------------------------------- - - - |