Subtype Rules

subtype_001

This rule checks for indentation of the subtype keyword.

Violation

architecture rtl of fifo is

     subtype read_size is range 0 to 9;
subtype write_size is range 0 to 9;

begin

Fix

architecture rtl of fifo is

  subtype read_size is range 0 to 9;
  subtype write_size is range 0 to 9;

begin

subtype_002

This rule checks for consistent capitalization of subtype names.

Violation

subtype read_size is range 0 to 9;
subtype write_size is range 0 to 9;

signal read  : READ_SIZE;
signal write : write_size;

constant read_sz  : read_size := 8;
constant write_sz : WRITE_size := 1;

Fix

subtype read_size is range 0 to 9;
subtype write_size is range 0 to 9;

signal read  : read_size;
signal write : write_size;

constant read_sz  : read_size := 8;
constant write_sz : write_size := 1;

subtype_003

This rule was deprecated and replaced with rules:

• function_015

• package_019

• procedure_010

• architecture_029

subtype_004

This rule checks for valid prefixes in subtype identifiers. The default new subtype prefix is st_.

Refer to Configuring Prefix and Suffix Rules for more information.

Violation

subtype my_subtype is range 0 to 9;

Fix

subtype st_my_subtype is range 0 to 9;

subtype_005

This rule checks the identifier is on the same line as the subtype keyword.

Violation

subtype
st_counter is

Fix

subtype st_counter
is

subtype_006

This rule checks the is keyword is on the same line as the identifier.

Violation

subtype st_counter
is

Fix

subtype st_counter is

subtype_100

This rule checks for a single space before the identifier.

Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..

Violation

subtype         my_subtype is range 0 to 9;

Fix

subtype my_subtype is range 0 to 9;

subtype_101

This rule checks for a single space before the is keyword.

Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..

Violation

subtype counter    is unsigned(4 downto 0);

Fix

subtype counter is unsigned(4 downto 0);

subtype_102

This rule checks for a single space after the is keyword.

Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..

Violation

subtype counter is     unsigned(4 downto 0);

Fix

subtype counter is unsigned(4 downto 0);

subtype_200

This rule checks for a blank line below a subtype declaration unless there is another subtype declaration.

Refer to Configuring Blank Lines for more information.

Violation

subtype counter_t is unsigned(4 downto 0);
subtype counter is unsigned(4 downto 0);
constant width : integer := 32;

Fix

subtype counter_t is unsigned(4 downto 0);
subtype counter is unsigned(4 downto 0);

constant width : integer := 32;

subtype_201

This rule checks for blank lines or comments above the subtype declaration.

Refer to Configuring Previous Line Rules for more information.

Violation

signal wr_en : std_logic;
subtype counter is unsigned(4 downto 0);

Fix

signal wr_en : std_logic;

subtype counter is unsigned(4 downto 0);

subtype_202

This rule checks for a blank line below the subtype declaration.

Refer to Configuring Blank Lines for more information.

Violation

subtype counter is unsigned(4 downto 0);
signal sm : state_machine;

Fix

subtype counter is unsigned(4 downto 0);

signal sm : state_machine;

subtype_500

This rule checks the subtype keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

SUBTYPE interface is record
Subtype interface is record
subtype interface is record

Fix

subtype interface is record
subtype interface is record
subtype interface is record

subtype_501

This rule checks the identifier has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

subtype INTERFACE is record
subtype Interface is record
subtype interface is record

Fix

subtype interface is record
subtype interface is record
subtype interface is record

subtype_502

This rule checks the is keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

subtype interface IS record
subtype interface Is record
subtype interface is record

Fix

subtype interface is record
subtype interface is record
subtype interface is record

subtype_600

This rule checks for valid suffixes in subtype identifiers. The default new subtype suffix is _st.

Refer to Configuring Prefix and Suffix Rules for more information.

Violation

subtype my_subtype is range 0 to 9;

Fix

subtype my_subtype_st is range 0 to 9;