Package Body Rules¶
package_body_001¶
This rule checks the is keyword is on the same line as the package keyword.
Violation
package body FIFO_PKG
is
Fix
package body FIFO_PKG is
package_body_002¶
This rule checks for the optional package body keywords on the end package body declaration.
Refer to Configuring Optional Items for more information.
Violation
end FIFO_PKG;
Fix
end package body FIFO_PKG;
package_body_003¶
This rule checks the package name exists in the closing of the package body declaration.
Refer to Configuring Optional Items for more information.
Violation
end package body;
Fix
end package body fifo_pkg;
package_body_100¶
This rule checks for a single space between package, body and is keywords.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
package body FIFO_PKG is
Fix
package body FIFO_PKG is
package_body_101¶
This rule checks for a single space between the end, package and body keywords and package name.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
end package body FIFO_PKG;
Fix
end package body FIFO_PKG;
package_body_200¶
This rule checks for blank lines or comments above the package keyword.
Refer to Configuring Previous Line Rules for more information.
Violation
library ieee;
package body FIFO_PKG is
Fix
library ieee;
package body FIFO_PKG is
package_body_201¶
This rule checks for a blank line below the package keyword.
Refer to Configuring Blank Lines for more information.
Violation
package body FIFO_PKG is
constant width : integer := 32;
Fix
package body FIFO_PKG is
constant width : integer := 32;
package_body_202¶
This rule checks for blank lines or comments above the end keyword.
Refer to Configuring Blank Lines for more information.
Violation
constant depth : integer := 512;
end package body FIFO_PKG;
Fix
constant depth : integer := 512;
end package body FIFO_PKG;
package_body_203¶
This rule checks for a blank line below the end package keyword.
Refer to Configuring Blank Lines for more information.
Violation
end package body FIFO_PKG;
library ieee;
Fix
end package body FIFO_PKG;
library ieee;
package_body_300¶
This rule checks the indent of the package body keyword.
Violation
library ieee;
package body FIFO_PKG is
Fix
library ieee;
package body FIFO_PKG is
package_body_301¶
This rule checks the indent of the end package declaration.
Violation
package body FIFO_PKG is
end package body fifo_pkg;
Fix
package body fifo_pkg is
end package body fifo_pkg;
package_body_400¶
This rule checks the identifiers for all declarations are aligned in the package body declarative region.
Refer to Configuring Identifier Alignment Rules for more information.
Violation
variable var1 : natural;
constant c_period : time;
Fix
variable var1 : natural;
constant c_period : time;
package_body_401¶
This rule checks the colons are in the same column for all declarations in the package body declarative part.
Refer to Configuring Keyword Alignment Rules for information on changing the configurations.
Violation
package my_package is
signal wr_en : std_logic;
signal rd_en : std_logic;
constant c_period : time;
end package my_package;
Fix
package my_package is
signal wr_en : std_logic;
signal rd_en : std_logic;
constant c_period : time;
end package my_package;
package_body_402¶
This rule checks the colons are in the same column for all attribute specifications.
Refer to Configuring Keyword Alignment Rules for information on changing the configurations.
Violation
attribute mark_debug of wr_en : signal is "true";
attribute mark_debug of almost_empty : signal is "true";
attribute mark_debug of full : signal is "true";
Fix
attribute mark_debug of wr_en : signal is "true";
attribute mark_debug of almost_empty : signal is "true";
attribute mark_debug of full : signal is "true";
package_body_500¶
This rule checks the package keyword has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
PACKAGE body FIFO_PKG is
Fix
package body FIFO_PKG is
package_body_501¶
This rule checks the body keyword has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
package BODY FIFO_PKG is
Fix
package body FIFO_PKG is
package_body_502¶
This rule checks the package name has proper case in the package declaration.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
package body FIFO_PKG is
Fix
package body fifo_pkg is
package_body_503¶
This rule checks the is keyword has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
package fifo_pkg IS
Fix
package fifo_pkg is
package_body_504¶
This rule checks the end keyword has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
END package fifo_pkg;
Fix
end package fifo_pkg;
package_body_505¶
This rule checks the package keyword in the end package body has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
end PACKAGE body fifo_pkg;
Fix
end package body fifo_pkg;
package_body_506¶
This rule checks the body keyword in the end package body has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
end package BODY fifo_pkg;
Fix
end package body fifo_pkg;
package_body_507¶
This rule checks the package name has proper case on the end package declaration.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
end package body FIFO_PKG;
Fix
end package fifo_pkg;
package_body_600¶
This rule checks for valid suffixes on package body identifiers. The default package suffix is _pkg.
Refer to Configuring Prefix and Suffix Rules for more information.
Violation
package body foo is
Fix
package body foo_pkg is
package_body_601¶
This rule checks for valid prefixes on package body identifiers. The default package prefix is pkg_.
Refer to Configuring Prefix and Suffix Rules for more information.
Violation
package body foo is
Fix
package body pkg_foo is