Protected Type Body Rules

protected_type_body_300

This rule checks the indent of the end protected type body declaration.

Violation

type flag_pt is protected body
     end protected body;

Fix

type flag_pt is protected body
end protected body;

protected_type_body_400

This rule checks the identifiers for all declarations are aligned in the protected type 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;

protected_type_body_401

This rule checks the colons are in the same column for all declarations in the protected type body declarative part.

Refer to Configuring Keyword Alignment Rules for information on changing the configurations.

Violation

type my_type protected body is

  signal   wr_en : std_logic;
  signal   rd_en   : std_logic;
  constant c_period : time;

end protected body;

Fix

type my_type protected body is

  signal   wr_en    : std_logic;
  signal   rd_en    : std_logic;
  constant c_period : time;

end protected body;

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