| # A set of linter rules to be used in analysis of verilog code. |
| |
| licenses(["notice"]) |
| |
| default_visibility = [ |
| "//verilog/analysis:__subpackages__", |
| "//verilog/tools:__subpackages__", |
| ] |
| |
| package( |
| default_visibility = default_visibility, |
| ) |
| |
| cc_library( |
| name = "verilog_lint_rules", |
| deps = [ |
| ":always_comb_blocking_rule", |
| ":always_comb_rule", |
| ":always_ff_non_blocking_rule", |
| ":case_missing_default_rule", |
| ":constraint_name_style_rule", |
| ":create_object_name_match_rule", |
| ":endif_comment_rule", |
| ":enum_name_style_rule", |
| ":explicit_function_lifetime_rule", |
| ":explicit_function_task_parameter_type_rule", |
| ":explicit_parameter_storage_type_rule", |
| ":explicit_task_lifetime_rule", |
| ":forbid_consecutive_null_statements_rule", |
| ":forbid_defparam_rule", |
| ":forbidden_anonymous_enums_rule", |
| ":forbidden_anonymous_structs_unions_rule", |
| ":forbidden_macro_rule", |
| ":forbidden_symbol_rule", |
| ":generate_label_rule", |
| ":interface_name_style_rule", |
| ":line_length_rule", |
| ":macro_name_style_rule", |
| ":mismatched_labels_rule", |
| ":module_begin_block_rule", |
| ":module_filename_rule", |
| ":module_instantiation_rules", |
| ":no_tabs_rule", |
| ":no_trailing_spaces_rule", |
| ":one_module_per_file_rule", |
| ":package_filename_rule", |
| ":packed_dimensions_rule", |
| ":parameter_name_style_rule", |
| ":parameter_type_name_style_rule", |
| ":plusarg_assignment_rule", |
| ":positive_meaning_parameter_name_rule", |
| ":posix_eof_rule", |
| ":proper_parameter_declaration_rule", |
| ":signal_name_style_rule", |
| ":struct_union_name_style_rule", |
| ":undersized_binary_literal_rule", |
| ":unpacked_dimensions_rule", |
| ":uvm_macro_semicolon_rule", |
| ":v2001_generate_begin_rule", |
| ":void_cast_rule", |
| ], |
| ) |
| |
| cc_library( |
| name = "no_tabs_rule", |
| srcs = ["no_tabs_rule.cc"], |
| hdrs = ["no_tabs_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:line_lint_rule", |
| "//common/analysis:lint_rule_status", |
| "//common/text:token_info", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "no_tabs_rule_test", |
| srcs = ["no_tabs_rule_test.cc"], |
| deps = [ |
| ":no_tabs_rule", |
| "//common/analysis:line_linter_test_utils", |
| "//common/analysis:linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "no_trailing_spaces_rule", |
| srcs = ["no_trailing_spaces_rule.cc"], |
| hdrs = ["no_trailing_spaces_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:line_lint_rule", |
| "//common/analysis:lint_rule_status", |
| "//common/text:token_info", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "no_trailing_spaces_rule_test", |
| srcs = ["no_trailing_spaces_rule_test.cc"], |
| deps = [ |
| ":no_trailing_spaces_rule", |
| "//common/analysis:line_linter_test_utils", |
| "//common/analysis:linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "positive_meaning_parameter_name_rule", |
| srcs = ["positive_meaning_parameter_name_rule.cc"], |
| hdrs = ["positive_meaning_parameter_name_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/strings:naming_utils", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//verilog/CST:parameters", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "positive_meaning_parameter_name_rule_test", |
| srcs = ["positive_meaning_parameter_name_rule_test.cc"], |
| deps = [ |
| ":positive_meaning_parameter_name_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "posix_eof_rule", |
| srcs = ["posix_eof_rule.cc"], |
| hdrs = ["posix_eof_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:text_structure_lint_rule", |
| "//common/text:text_structure", |
| "//common/text:token_info", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "posix_eof_rule_test", |
| srcs = ["posix_eof_rule_test.cc"], |
| deps = [ |
| ":posix_eof_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:text_structure_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "line_length_rule", |
| srcs = ["line_length_rule.cc"], |
| hdrs = ["line_length_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:text_structure_lint_rule", |
| "//common/strings:comment_utils", |
| "//common/strings:utf8", |
| "//common/text:config_utils", |
| "//common/text:constants", |
| "//common/text:text_structure", |
| "//common/text:token_info", |
| "//common/text:token_stream_view", |
| "//common/util:iterator_range", |
| "//common/util:logging", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/analysis:verilog_linter_constants", |
| "//verilog/parser:verilog_token_classifications", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/status", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "line_length_rule_test", |
| srcs = ["line_length_rule_test.cc"], |
| deps = [ |
| ":line_length_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:text_structure_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "forbid_consecutive_null_statements_rule", |
| srcs = ["forbid_consecutive_null_statements_rule.cc"], |
| hdrs = ["forbid_consecutive_null_statements_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:verilog_matchers", # fixdeps: keep |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "forbid_consecutive_null_statements_rule_test", |
| srcs = ["forbid_consecutive_null_statements_rule_test.cc"], |
| deps = [ |
| ":forbid_consecutive_null_statements_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "forbid_defparam_rule", |
| srcs = ["forbid_defparam_rule.cc"], |
| hdrs = ["forbid_defparam_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:verilog_matchers", # fixdeps: keep |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "forbid_defparam_rule_test", |
| srcs = ["forbid_defparam_rule_test.cc"], |
| deps = [ |
| ":forbid_defparam_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "mismatched_labels_rule", |
| srcs = ["mismatched_labels_rule.cc"], |
| hdrs = ["mismatched_labels_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis:syntax_tree_search", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:concrete_syntax_tree", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:tree_utils", |
| "//verilog/CST:identifier", |
| "//verilog/CST:seq_block", |
| "//verilog/CST:verilog_matchers", # fixdeps: keep |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "mismatched_labels_rule_test", |
| srcs = ["mismatched_labels_rule_test.cc"], |
| deps = [ |
| ":mismatched_labels_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "module_begin_block_rule", |
| srcs = ["module_begin_block_rule.cc"], |
| hdrs = ["module_begin_block_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:verilog_matchers", # fixdeps: keep |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "module_begin_block_rule_test", |
| srcs = ["module_begin_block_rule_test.cc"], |
| deps = [ |
| ":module_begin_block_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "module_filename_rule", |
| srcs = ["module_filename_rule.cc"], |
| hdrs = ["module_filename_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_search", |
| "//common/analysis:text_structure_lint_rule", |
| "//common/text:config_utils", |
| "//common/text:symbol", |
| "//common/text:text_structure", |
| "//common/text:token_info", |
| "//common/util:file_util", |
| "//verilog/CST:module", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "module_filename_rule_test", |
| srcs = ["module_filename_rule_test.cc"], |
| deps = [ |
| ":module_filename_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:text_structure_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "package_filename_rule", |
| srcs = ["package_filename_rule.cc"], |
| hdrs = ["package_filename_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_search", |
| "//common/analysis:text_structure_lint_rule", |
| "//common/text:config_utils", |
| "//common/text:text_structure", |
| "//common/text:token_info", |
| "//common/util:file_util", |
| "//verilog/CST:package", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "package_filename_rule_test", |
| srcs = ["package_filename_rule_test.cc"], |
| deps = [ |
| ":package_filename_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:text_structure_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "module_instantiation_rules", |
| srcs = ["module_instantiation_rules.cc"], |
| hdrs = ["module_instantiation_rules.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:concrete_syntax_tree", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//common/text:tree_utils", |
| "//common/util:casts", |
| "//common/util:logging", |
| "//verilog/CST:context_functions", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "module_instantiation_rules_test", |
| srcs = ["module_instantiation_rules_test.cc"], |
| deps = [ |
| ":module_instantiation_rules", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "one_module_per_file_rule", |
| srcs = ["one_module_per_file_rule.cc"], |
| hdrs = ["one_module_per_file_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_search", |
| "//common/analysis:text_structure_lint_rule", |
| "//common/text:symbol", |
| "//common/text:text_structure", |
| "//common/text:token_info", |
| "//common/util:file_util", |
| "//verilog/CST:module", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "one_module_per_file_rule_test", |
| srcs = ["one_module_per_file_rule_test.cc"], |
| deps = [ |
| ":one_module_per_file_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:text_structure_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "endif_comment_rule", |
| srcs = ["endif_comment_rule.cc"], |
| hdrs = ["endif_comment_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:token_stream_lint_rule", |
| "//common/strings:comment_utils", |
| "//common/text:token_info", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "endif_comment_rule_test", |
| srcs = ["endif_comment_rule_test.cc"], |
| deps = [ |
| ":endif_comment_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:token_stream_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "forbidden_anonymous_enums_rule", |
| srcs = ["forbidden_anonymous_enums_rule.cc"], |
| hdrs = ["forbidden_anonymous_enums_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "forbidden_anonymous_enums_rule_test", |
| srcs = ["forbidden_anonymous_enums_rule_test.cc"], |
| deps = [ |
| ":forbidden_anonymous_enums_rule", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "enum_name_style_rule", |
| srcs = ["enum_name_style_rule.cc"], |
| hdrs = ["enum_name_style_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/strings:naming_utils", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:type", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "enum_name_style_rule_test", |
| srcs = ["enum_name_style_rule_test.cc"], |
| deps = [ |
| ":enum_name_style_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "forbidden_macro_rule", |
| srcs = ["forbidden_macro_rule.cc"], |
| hdrs = ["forbidden_macro_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//common/util:container_util", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_library( |
| name = "forbidden_anonymous_structs_unions_rule", |
| srcs = ["forbidden_anonymous_structs_unions_rule.cc"], |
| hdrs = ["forbidden_anonymous_structs_unions_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:config_utils", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "forbidden_anonymous_structs_unions_rule_test", |
| srcs = ["forbidden_anonymous_structs_unions_rule_test.cc"], |
| deps = [ |
| ":forbidden_anonymous_structs_unions_rule", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_absl//absl/strings", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_test( |
| name = "forbidden_macro_rule_test", |
| srcs = ["forbidden_macro_rule_test.cc"], |
| deps = [ |
| ":forbidden_macro_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "forbidden_symbol_rule", |
| srcs = ["forbidden_symbol_rule.cc"], |
| hdrs = ["forbidden_symbol_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//common/util:container_util", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "forbidden_symbol_rule_test", |
| srcs = ["forbidden_symbol_rule_test.cc"], |
| deps = [ |
| ":forbidden_symbol_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "generate_label_rule", |
| srcs = ["generate_label_rule.cc"], |
| hdrs = ["generate_label_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:core_matchers", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "generate_label_rule_test", |
| srcs = ["generate_label_rule_test.cc"], |
| deps = [ |
| ":generate_label_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "v2001_generate_begin_rule", |
| srcs = ["v2001_generate_begin_rule.cc"], |
| hdrs = ["v2001_generate_begin_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:concrete_syntax_tree", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:tree_utils", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "v2001_generate_begin_rule_test", |
| srcs = ["v2001_generate_begin_rule_test.cc"], |
| deps = [ |
| ":forbidden_symbol_rule", |
| ":v2001_generate_begin_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "void_cast_rule", |
| srcs = ["void_cast_rule.cc"], |
| hdrs = ["void_cast_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:core_matchers", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:concrete_syntax_tree", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//common/text:tree_utils", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "void_cast_rule_test", |
| srcs = ["void_cast_rule_test.cc"], |
| deps = [ |
| ":void_cast_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "undersized_binary_literal_rule", |
| srcs = ["undersized_binary_literal_rule.cc"], |
| hdrs = ["undersized_binary_literal_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//common/util:logging", |
| "//verilog/CST:numbers", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "undersized_binary_literal_rule_test", |
| srcs = ["undersized_binary_literal_rule_test.cc"], |
| deps = [ |
| ":undersized_binary_literal_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "create_object_name_match_rule", |
| srcs = ["create_object_name_match_rule.cc"], |
| hdrs = ["create_object_name_match_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:core_matchers", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:concrete_syntax_tree", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//common/util:casts", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "create_object_name_match_rule_test", |
| srcs = ["create_object_name_match_rule_test.cc"], |
| deps = [ |
| ":create_object_name_match_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "always_comb_rule", |
| srcs = ["always_comb_rule.cc"], |
| hdrs = ["always_comb_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "always_comb_rule_test", |
| srcs = ["always_comb_rule_test.cc"], |
| deps = [ |
| ":always_comb_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "always_comb_blocking_rule", |
| srcs = ["always_comb_blocking_rule.cc"], |
| hdrs = ["always_comb_blocking_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis:syntax_tree_search", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "always_comb_blocking_rule_test", |
| srcs = ["always_comb_blocking_rule_test.cc"], |
| deps = [ |
| ":always_comb_blocking_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "always_ff_non_blocking_rule", |
| srcs = ["always_ff_non_blocking_rule.cc"], |
| hdrs = ["always_ff_non_blocking_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis:syntax_tree_search", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "always_ff_non_blocking_rule_test", |
| srcs = ["always_ff_non_blocking_rule_test.cc"], |
| deps = [ |
| ":always_ff_non_blocking_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "explicit_function_lifetime_rule", |
| srcs = ["explicit_function_lifetime_rule.cc"], |
| hdrs = ["explicit_function_lifetime_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/util:logging", |
| "//verilog/CST:context_functions", |
| "//verilog/CST:functions", |
| "//verilog/CST:identifier", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "explicit_function_lifetime_rule_test", |
| srcs = ["explicit_function_lifetime_rule_test.cc"], |
| deps = [ |
| ":explicit_function_lifetime_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "explicit_task_lifetime_rule", |
| srcs = ["explicit_task_lifetime_rule.cc"], |
| hdrs = ["explicit_task_lifetime_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:tree_utils", |
| "//verilog/CST:context_functions", |
| "//verilog/CST:identifier", |
| "//verilog/CST:tasks", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "explicit_task_lifetime_rule_test", |
| srcs = ["explicit_task_lifetime_rule_test.cc"], |
| deps = [ |
| ":explicit_task_lifetime_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "packed_dimensions_rule", |
| srcs = ["packed_dimensions_rule.cc"], |
| hdrs = ["packed_dimensions_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:tree_utils", |
| "//common/util:logging", |
| "//verilog/CST:context_functions", |
| "//verilog/CST:dimensions", |
| "//verilog/CST:expression", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "packed_dimensions_rule_test", |
| srcs = ["packed_dimensions_rule_test.cc"], |
| deps = [ |
| ":packed_dimensions_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "unpacked_dimensions_rule", |
| srcs = ["unpacked_dimensions_rule.cc"], |
| hdrs = ["unpacked_dimensions_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/util:logging", |
| "//verilog/CST:context_functions", |
| "//verilog/CST:dimensions", |
| "//verilog/CST:expression", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "unpacked_dimensions_rule_test", |
| srcs = ["unpacked_dimensions_rule_test.cc"], |
| deps = [ |
| ":unpacked_dimensions_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "case_missing_default_rule", |
| srcs = ["case_missing_default_rule.cc"], |
| hdrs = ["case_missing_default_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:core_matchers", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "case_missing_default_rule_test", |
| srcs = ["case_missing_default_rule_test.cc"], |
| deps = [ |
| ":case_missing_default_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "constraint_name_style_rule", |
| srcs = ["constraint_name_style_rule.cc"], |
| hdrs = ["constraint_name_style_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/strings:naming_utils", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//verilog/CST:constraints", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "constraint_name_style_rule_test", |
| srcs = ["constraint_name_style_rule_test.cc"], |
| deps = [ |
| ":constraint_name_style_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "macro_name_style_rule", |
| srcs = ["macro_name_style_rule.cc"], |
| hdrs = ["macro_name_style_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:token_stream_lint_rule", |
| "//common/strings:naming_utils", |
| "//common/text:token_info", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_lexer", |
| "//verilog/parser:verilog_token_classifications", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "macro_name_style_rule_test", |
| srcs = ["macro_name_style_rule_test.cc"], |
| deps = [ |
| ":macro_name_style_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:token_stream_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "parameter_name_style_rule", |
| srcs = ["parameter_name_style_rule.cc"], |
| hdrs = ["parameter_name_style_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/strings:naming_utils", |
| "//common/text:config_utils", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//verilog/CST:parameters", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "parameter_name_style_rule_test", |
| srcs = ["parameter_name_style_rule_test.cc"], |
| deps = [ |
| ":parameter_name_style_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "parameter_type_name_style_rule", |
| srcs = ["parameter_type_name_style_rule.cc"], |
| hdrs = ["parameter_type_name_style_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/strings:naming_utils", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//verilog/CST:parameters", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "parameter_type_name_style_rule_test", |
| srcs = ["parameter_type_name_style_rule_test.cc"], |
| deps = [ |
| ":parameter_type_name_style_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "proper_parameter_declaration_rule", |
| srcs = ["proper_parameter_declaration_rule.cc"], |
| hdrs = ["proper_parameter_declaration_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:context_functions", |
| "//verilog/CST:parameters", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "proper_parameter_declaration_rule_test", |
| srcs = ["proper_parameter_declaration_rule_test.cc"], |
| deps = [ |
| ":proper_parameter_declaration_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "plusarg_assignment_rule", |
| srcs = ["plusarg_assignment_rule.cc"], |
| hdrs = ["plusarg_assignment_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "plusarg_assignment_rule_test", |
| srcs = ["plusarg_assignment_rule_test.cc"], |
| deps = [ |
| ":plusarg_assignment_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_treebuilder_utils", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "explicit_parameter_storage_type_rule", |
| srcs = ["explicit_parameter_storage_type_rule.cc"], |
| hdrs = ["explicit_parameter_storage_type_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:config_utils", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/util:logging", |
| "//verilog/CST:parameters", |
| "//verilog/CST:verilog_matchers", # fixdeps: keep |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "explicit_parameter_storage_type_rule_test", |
| srcs = ["explicit_parameter_storage_type_rule_test.cc"], |
| deps = [ |
| ":explicit_parameter_storage_type_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_absl//absl/strings", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "explicit_function_task_parameter_type_rule", |
| srcs = ["explicit_function_task_parameter_type_rule.cc"], |
| hdrs = ["explicit_function_task_parameter_type_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/util:logging", |
| "//verilog/CST:port", |
| "//verilog/CST:type", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "explicit_function_task_parameter_type_rule_test", |
| srcs = ["explicit_function_task_parameter_type_rule_test.cc"], |
| deps = [ |
| ":explicit_function_task_parameter_type_rule", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis:syntax_tree_linter", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//common/text:token_info", |
| "//verilog/analysis:verilog_analyzer", |
| "//verilog/parser:verilog_token_enum", |
| "@com_google_absl//absl/memory", |
| "@com_google_absl//absl/status", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "signal_name_style_rule", |
| srcs = ["signal_name_style_rule.cc"], |
| hdrs = ["signal_name_style_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/strings:naming_utils", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//common/util:logging", |
| "//verilog/CST:data", |
| "//verilog/CST:identifier", |
| "//verilog/CST:net", |
| "//verilog/CST:port", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "signal_name_style_rule_test", |
| srcs = ["signal_name_style_rule_test.cc"], |
| deps = [ |
| ":signal_name_style_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "struct_union_name_style_rule", |
| srcs = ["struct_union_name_style_rule.cc"], |
| hdrs = ["struct_union_name_style_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/strings:naming_utils", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:type", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "struct_union_name_style_rule_test", |
| srcs = ["struct_union_name_style_rule_test.cc"], |
| deps = [ |
| ":struct_union_name_style_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "interface_name_style_rule", |
| srcs = ["interface_name_style_rule.cc"], |
| hdrs = ["interface_name_style_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/analysis/matcher", |
| "//common/analysis/matcher:bound_symbol_manager", |
| "//common/analysis/matcher:matcher_builders", |
| "//common/strings:naming_utils", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//verilog/CST:module", |
| "//verilog/CST:type", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "interface_name_style_rule_test", |
| srcs = ["interface_name_style_rule_test.cc"], |
| deps = [ |
| ":interface_name_style_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |
| |
| cc_library( |
| name = "uvm_macro_semicolon_rule", |
| srcs = ["uvm_macro_semicolon_rule.cc"], |
| hdrs = ["uvm_macro_semicolon_rule.h"], |
| deps = [ |
| "//common/analysis:citation", |
| "//common/analysis:lint_rule_status", |
| "//common/analysis:syntax_tree_lint_rule", |
| "//common/text:concrete_syntax_leaf", |
| "//common/text:symbol", |
| "//common/text:syntax_tree_context", |
| "//common/text:token_info", |
| "//verilog/CST:context_functions", |
| "//verilog/CST:macro", |
| "//verilog/CST:verilog_matchers", |
| "//verilog/analysis:descriptions", |
| "//verilog/analysis:lint_rule_registry", |
| "@com_google_absl//absl/strings", |
| ], |
| alwayslink = 1, |
| ) |
| |
| cc_test( |
| name = "uvm_macro_semicolon_rule_test", |
| srcs = ["uvm_macro_semicolon_rule_test.cc"], |
| deps = [ |
| ":uvm_macro_semicolon_rule", |
| "//common/analysis:linter_test_utils", |
| "//common/analysis:syntax_tree_linter_test_utils", |
| "//common/text:symbol", |
| "//verilog/CST:verilog_nonterminals", |
| "//verilog/analysis:verilog_analyzer", |
| "@com_google_googletest//:gtest_main", |
| ], |
| ) |