Conditional Waveforms Rules
conditional_waveforms_001
This rule checks for code after the else keyword.
Note
There is a configuration option allow_single_line
which allows single line concurrent statements.
allow_single_line
set to no
(Default)
Violation
wr_en <= '0' when overflow = '0' else '1';
wr_en <= '0' when overflow = '0' else '1' when underflow = '1' else sig_a;
Fix
wr_en <= '0' when overflow = '0' else
'1';
wr_en <= '0' when overflow = '0' else
'1' when underflow = '1' else
sig_a;
allow_single_line
set to yes
Violation
wr_en <= '0' when overflow = '0' else '1';
wr_en <= '0' when overflow = '0' else '1' when underflow = '1' else sig_a;
Fix
wr_en <= '0' when overflow = '0' else '1';
wr_en <= '0' when overflow = '0' else
'1' when underflow = '1' else
sig_a;
conditional_waveforms_100
This rule checks for a single space before the when keyword.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
wr_en <= '0'when (rd_en = '0') else '1';
Fix
wr_en <= '0' when (rd_en = '0') else '1';
conditional_waveforms_101
This rule checks for a single space after the when keyword.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
wr_en <= '0' when(rd_en = '0') else '1';
Fix
wr_en <= '0' when (rd_en = '0') else '1';
conditional_waveforms_102
This rule checks for a single space before the else keyword.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
wr_en <= '0' when (rd_en = '0')else '1';
Fix
wr_en <= '0' when (rd_en = '0') else '1';
conditional_waveforms_103
This rule checks for a single space after the else keyword.
Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..
Violation
wr_en <= '0' when (rd_en = '0') else'1';
Fix
wr_en <= '0' when (rd_en = '0') else '1';
conditional_waveforms_500
This rule checks the when keyword has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
wr_en <= '0' WHEN (rd_en = '0') else '1';
Fix
wr_en <= '0' when (rd_en = '0') else '1';
conditional_waveforms_501
This rule checks the else keyword has proper case.
Refer to Configuring Uppercase and Lowercase Rules for more information.
Violation
wr_en <= '0' when (rd_en = '0') ELSE '1';
Fix
wr_en <= '0' when (rd_en = '0') else '1';