| // Copyright 2017-2020 The Verible Authors. | |
| // | |
| // 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. | |
| #include "verilog/CST/port.h" | |
| #include <vector> | |
| #include "common/analysis/matcher/matcher.h" | |
| #include "common/analysis/matcher/matcher_builders.h" | |
| #include "common/analysis/syntax_tree_search.h" | |
| #include "common/text/concrete_syntax_leaf.h" | |
| #include "common/text/concrete_syntax_tree.h" | |
| #include "common/text/symbol.h" | |
| #include "common/text/tree_utils.h" | |
| #include "common/util/logging.h" | |
| #include "verilog/CST/identifier.h" | |
| #include "verilog/CST/verilog_matchers.h" // pragma IWYU: keep | |
| namespace verilog { | |
| using verible::Symbol; | |
| using verible::SyntaxTreeLeaf; | |
| std::vector<verible::TreeSearchMatch> FindAllModulePortDeclarations( | |
| const Symbol& root) { | |
| return SearchSyntaxTree(root, NodekPortDeclaration()); | |
| } | |
| std::vector<verible::TreeSearchMatch> FindAllActualNamedPort( | |
| const Symbol& root) { | |
| return SearchSyntaxTree(root, NodekActualNamedPort()); | |
| } | |
| std::vector<verible::TreeSearchMatch> FindAllPortReferences( | |
| const verible::Symbol& root) { | |
| return SearchSyntaxTree(root, NodekPort()); | |
| } | |
| std::vector<verible::TreeSearchMatch> FindAllTaskFunctionPortDeclarations( | |
| const Symbol& root) { | |
| return SearchSyntaxTree(root, NodekPortItem()); | |
| } | |
| const SyntaxTreeLeaf* GetIdentifierFromModulePortDeclaration( | |
| const Symbol& symbol) { | |
| const auto* identifier_symbol = | |
| verible::GetSubtreeAsSymbol(symbol, NodeEnum::kPortDeclaration, 3); | |
| if (!identifier_symbol) return nullptr; | |
| return AutoUnwrapIdentifier(*identifier_symbol); | |
| } | |
| const SyntaxTreeLeaf* GetDirectionFromModulePortDeclaration( | |
| const Symbol& symbol) { | |
| if (const auto* dir_symbol = | |
| GetSubtreeAsSymbol(symbol, NodeEnum::kPortDeclaration, 0)) { | |
| return &SymbolCastToLeaf(*dir_symbol); | |
| } | |
| return nullptr; | |
| } | |
| const verible::SyntaxTreeLeaf* GetIdentifierFromPortReference( | |
| const verible::Symbol& port_reference) { | |
| const auto* identifier_symbol = | |
| verible::GetSubtreeAsSymbol(port_reference, NodeEnum::kPortReference, 0); | |
| if (!identifier_symbol) return nullptr; | |
| return AutoUnwrapIdentifier(*identifier_symbol); | |
| } | |
| const verible::SyntaxTreeNode* GetPortReferenceFromPort( | |
| const verible::Symbol& port) { | |
| return verible::GetSubtreeAsNode(port, NodeEnum::kPort, 0, | |
| NodeEnum::kPortReference); | |
| } | |
| static const verible::SyntaxTreeNode* | |
| GetTypeIdDimensionsFromTaskFunctionPortItem(const Symbol& symbol) { | |
| return verible::GetSubtreeAsNode( | |
| symbol, NodeEnum::kPortItem, 1, | |
| NodeEnum::kDataTypeImplicitBasicIdDimensions); | |
| } | |
| const verible::SyntaxTreeNode* GetUnpackedDimensionsFromTaskFunctionPortItem( | |
| const verible::Symbol& port_item) { | |
| const auto& type_id_dimensions = | |
| GetTypeIdDimensionsFromTaskFunctionPortItem(port_item); | |
| if (!type_id_dimensions) return nullptr; | |
| return verible::GetSubtreeAsNode(*type_id_dimensions, | |
| NodeEnum::kDataTypeImplicitBasicIdDimensions, | |
| 2, NodeEnum::kUnpackedDimensions); | |
| } | |
| const Symbol* GetTypeOfTaskFunctionPortItem(const verible::Symbol& symbol) { | |
| const auto& type_id_dimensions = | |
| GetTypeIdDimensionsFromTaskFunctionPortItem(symbol); | |
| if (!type_id_dimensions) return nullptr; | |
| return verible::GetSubtreeAsNode(*type_id_dimensions, | |
| NodeEnum::kDataTypeImplicitBasicIdDimensions, | |
| 0, NodeEnum::kDataType); | |
| } | |
| const SyntaxTreeLeaf* GetIdentifierFromTaskFunctionPortItem( | |
| const verible::Symbol& symbol) { | |
| const auto* type_id_dimensions = | |
| GetTypeIdDimensionsFromTaskFunctionPortItem(symbol); | |
| if (!type_id_dimensions) return nullptr; | |
| if (type_id_dimensions->children().size() <= 1) return nullptr; | |
| const auto* port_item = (*type_id_dimensions)[1].get(); | |
| return port_item ? AutoUnwrapIdentifier(*port_item) : nullptr; | |
| } | |
| const verible::SyntaxTreeLeaf* GetActualNamedPortName( | |
| const verible::Symbol& actual_named_port) { | |
| return verible::GetSubtreeAsLeaf(actual_named_port, | |
| NodeEnum::kActualNamedPort, 1); | |
| } | |
| const verible::Symbol* GetActualNamedPortParenGroup( | |
| const verible::Symbol& actual_named_port) { | |
| return verible::GetSubtreeAsSymbol(actual_named_port, | |
| NodeEnum::kActualNamedPort, 2); | |
| } | |
| } // namespace verilog |