Rule description

• END statements of labeled blocks should be labeled

Non-compliant Code Example

<<outerone>>   
BEGIN
   DECLARE
      abc INTEGER;
   BEGIN
      IF abc = outerone.abc THEN  -- refers to global abc
         NULL;
      END IF;
   END;
END;            --Non complaint code (END statements of labeled blocks is not labeled) 

Compliant Code Example

<<outerone>> 
BEGIN
   DECLARE
      abc INTEGER;
   BEGIN
      IF abc = outerone.abc THEN  -- refers to global abc
         NULL;
      END IF;
   END;
END outerone;   --Complaint code (END statements of labeled blocks is labeled)