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";