| # 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", | |
| ], | |
| ) |