Internals: Standard grammar for property_expression |-> |=>.

This commit is contained in:
Wilson Snyder 2023-03-05 16:59:24 -05:00
parent 19bc257002
commit a47fd07585

View File

@ -6007,9 +6007,7 @@ pexpr<nodeExprp>: // IEEE: property_expr (The name pexpr is important as regex
; ;
complex_pexpr<nodeExprp>: // IEEE: part of property_expr, see comments there complex_pexpr<nodeExprp>: // IEEE: part of property_expr, see comments there
expr yP_ORMINUSGT pexpr { $$ = new AstLogOr{$2, new AstLogNot{$2, $1}, $3}; } '(' complex_pexpr ')' { $$ = $2; }
| expr yP_OREQGT pexpr { $$ = new AstImplication{$2, $1, $3}; }
| '(' complex_pexpr ')' { $$ = $2; }
//UNSUP remove above, use below: //UNSUP remove above, use below:
// //
// // IEEE: sequence_expr // // IEEE: sequence_expr
@ -6027,8 +6025,8 @@ complex_pexpr<nodeExprp>: // IEEE: part of property_expr, see comments there
// //
// // IEEE: "sequence_expr yP_ORMINUSGT pexpr" // // IEEE: "sequence_expr yP_ORMINUSGT pexpr"
// // Instead we use pexpr to prevent conflicts // // Instead we use pexpr to prevent conflicts
//UNSUP ~o~pexpr yP_ORMINUSGT pexpr { } | ~o~pexpr yP_ORMINUSGT pexpr { $$ = new AstLogOr{$2, new AstLogNot{$2, $1}, $3}; }
//UNSUP ~o~pexpr yP_OREQGT pexpr { } | ~o~pexpr yP_OREQGT pexpr { $$ = new AstImplication{$2, $1, $3}; }
// //
// // IEEE-2009: property_statement // // IEEE-2009: property_statement
// // IEEE-2012: yIF and yCASE // // IEEE-2012: yIF and yCASE