If Rules

if_001

This rule checks the indent of the if keyword.

Violation

  if (a = '1') then
  b <= '0'
elsif (c = '1') then
  d <= '1';
else
  e <= '0';
end if;

Fix

if (a = '1') then
  b <= '0'
elsif (c = '1') then
  d <= '1';
else
  e <= '0';
end if;

if_002

This rule checks the boolean expression is enclosed in ().

Note

There is a configuration option parenthesis which will either insert or remove the parenthesis.

parenthesis set to ‘insert’ (Default)

Violation

if a = '1' then

Fix

if (a = '1') then

parenthesis set to ‘remove’

Violation

if (a = '1') then

Fix

if a = '1' then

if_003

This rule checks for a single space between the if keyword and the (.

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

Violation

if(a = '1') then

if   (a = '1') then

Fix

if (a = '1') then

if (a = '1') then

if_004

This rule checks for a single space between the ) and the then keyword.

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

Violation

if (a = '1')then

if (a = '1')    then

Fix

if (a = '1') then

if (a = '1') then

if_005

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

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

Violation

elsif(c = '1') then

elsif   (c = '1') then

elsif    b = '0' then

Fix

elsif (c = '1') then

elsif (c = '1') then

elsif b = '0' then

if_006

This rule checks for blank lines after the then keyword.

Violation

if (a = '1') then

  b <= '0'

Fix

if (a = '1') then
  b <= '0'

if_007

This rule checks for blank lines before the elsif keyword.

Violation

  b <= '0'

elsif (c = '1') then

Fix

  b <= '0'
elsif (c = '1') then

if_008

This rule checks for blank lines before the end if keywords.

Violation

  e <= '0';

end if;

Fix

  e <= '0';
end if;

if_009

This rule checks the alignment of multiline boolean expressions.

Refer to Configuring Multiline Indent Rules for more information.

Violation

if (a = '0' and b = '1' and
      c = '0') then

Fix

if (a = '0' and b = '1' and
    c = '0') then

if_010

This rule checks for blank lines before the else keyword.

Violation

  d <= '1';

else

Fix

  d <= '1';
else

if_011

This rule checks for blank lines after the else keyword.

Violation

else

  e <= '0';

Fix

else
  e <= '0';

if_012

This rule checks the indent of the elsif keyword.

Violation

if (a = '1') then
  b <= '0'
  elsif (c = '1') then
  d <= '1';
else
  e <= '0';
end if;

Fix

if (a = '1') then
  b <= '0'
elsif (c = '1') then
  d <= '1';
else
  e <= '0';
end if;

if_013

This rule checks the indent of the else keyword.

Violation

if (a = '1') then
  b <= '0'
elsif (c = '1') then
  d <= '1';
  else
  e <= '0';
end if;

Fix

if (a = '1') then
  b <= '0'
elsif (c = '1') then
  d <= '1';
else
  e <= '0';
end if;

if_014

This rule checks the indent of the end if keyword.

Violation

if (a = '1') then
  b <= '0'
elsif (c = '1') then
  d <= '1';
else
  e <= '0';
  end if;

Fix

if (a = '1') then
  b <= '0'
elsif (c = '1') then
  d <= '1';
else
  e <= '0';
end if;

if_015

This rule checks for a single space between the end if keywords.

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

Violation

end    if;

Fix

end if;

if_020

This rule checks the end if keyword is on its own line.

Violation

if (a = '1') then c <= '1'; else c <= '0'; end if;

Fix

if (a = '1') then c <= '1'; else c <= '0';
end if;

if_021

This rule checks the else keyword is on its own line.

Violation

if (a = '1') then c <= '1'; else c <= '0'; end if;

Fix

if (a = '1') then c <= '0';
else c <= '1'; end if;

if_022

This rule checks for code after the else keyword.

Violation

if (a = '1') then c <= '1'; else c <= '0'; end if;

Fix

if (a = '1') then c <= '1'; else
  c <= '0'; end if;

if_023

This rule checks the elsif keyword is on its own line.

Violation

if (a = '1') then c <= '1'; else c <= '0'; elsif (b = '0') then d <= '0'; end if;

Fix

if (a = '1') then c <= '1'; else c <= '0';
elsif (b = '0') then d <= '0'; end if;

if_024

This rule checks for code after the then keyword.

Violation

if (a = '1') then c <= '1';

Fix

if (a = '1') then
  c <= '1';

if_025

This rule checks the if keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

IF (a = '1') then

Fix

if (a = '1') then

if_026

This rule checks the elsif keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

ELSIF (a = '1') then

Fix

elsif (a = '1') then

if_027

This rule checks the else keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

ELSE

Fix

else

if_028

This rule checks the end keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

END if;

End if;

Fix

end if;

end if;

if_029

This rule checks the then keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

if (a = '1') THEN

Fix

if (a = '1') then

if_030

This rule checks a single blank line after the end if. In the case of nested if statements, the rule will be enforced on the last end if.

Refer to Configuring Blank Lines for more information.

Violation

if (A = '1') then
  B <= '0';
end if;
C <= '1';

Fix

if (A = '1') then
  B <= '0';
end if;

C <= '1';

if_031

This rule checks for blank lines or comments above the if keyword. In the case of nested if statements, the rule will be enforced on the first if.

Refer to Configuring Previous Line Rules for more information.

The default style is no_code.

Violation

C <= '1';
if (A = '1') then
  B <= '0';
end if;

-- This is a comment
if (A = '1') then
  B <= '0';
end if;

Fix

C <= '1';

if (A = '1') then
  B <= '0';
end if;

-- This is a comment
if (A = '1') then
  B <= '0';
end if;

if_032

The function of this rule has been superseded with comment indent updates and is handled by rule comment_010.

if_033

The function of this rule has been superseded with comment indent updates and is handled by rule comment_010.

if_034

This rule checks the if keyword in the end if has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

end If;

end IF;

Fix

end if;

end if;

if_035

This rule checks the expression after the if or elsif keyword starts on the same line.

Violation

if
  a = '1' then

elsif
  b = '1' then

Fix

if a = '1' then

elsif b = '1' then

if_036

This rule checks the then keyword is not on a line by itself.

Violation

if a = '1'
  then

Fix

if a = '1' then