Searched refs:scoped_name (Results 1 – 2 of 2) sorted by relevance
496 string scoped_name() const { return scope_id_ + id_->name_; } in scoped_name() function539 string scoped_name() const { return scope_id_ + id_->name_; } in scoped_name() function
549 jump_label = state->scoped_name(); in visit_goto_expr_node()556 jump_label = state->scoped_name(); in visit_goto_expr_node()1043 string jump_label = n->scoped_name() + "_continue"; in visit_parser_state_stmt_node()1054 string jump_label = n->scoped_name(); in visit_state_decl_stmt_node()