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_500

This rule checks the protected keyword in protected body has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

type sharedcounter is PROTECTED body

Fix

type sharedcounter is protected body

protected_type_body_501

This rule checks the body keyword in protected body has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

type sharedcounter is protected BODY

Fix

type sharedcounter is protected body

protected_type_body_502

This rule checks the end keyword in end protected body has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

END protected body sharedcounter;

Fix

end protected body sharedcounter;

protected_type_body_503

This rule checks the protected keyword in end protected body has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

end PROTECTED body sharedcounter;

Fix

end protected body sharedcounter;

protected_type_body_504

This rule checks the body keyword in end protected body has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

end protected BODY sharedcounter;

Fix

end protected body sharedcounter;