| 629 | } |
| 630 | |
| 631 | unique_ptr<iHdlExprItem> VerExprParser::visitCond_predicate( |
| 632 | sv2017Parser::Cond_predicateContext *ctx) { |
| 633 | // cond_predicate: |
| 634 | // expression ( KW_MATCHES pattern )? ( TRIPLE_AND expression ( KW_MATCHES pattern )? )*; |
| 635 | if (ctx->KW_MATCHES().size()) { |
| 636 | NotImplementedLogger::print( |
| 637 | "VerExprParser.visitCond_predicate.KW_MATCHES", ctx); |
| 638 | } |
| 639 | if (ctx->TRIPLE_AND().size()) { |
| 640 | NotImplementedLogger::print( |
| 641 | "VerExprParser.visitCond_predicate.TRIPLE_AND", ctx); |
| 642 | } |
| 643 | return visitExpression(ctx->expression(0)); |
| 644 | } |
| 645 | |
| 646 | void VerExprParser::visitList_of_arguments( |
| 647 | sv2017Parser::List_of_argumentsContext *ctx, |
no outgoing calls
no test coverage detected