Natools

Diff
Login

Differences From Artifact [0be53a49b6]:

To Artifact [9afd0eec82]:


84
85
86
87
88
89
90
91


92
93
94
95
96
97
98
84
85
86
87
88
89
90

91
92
93
94
95
96
97
98
99







-
+
+







      declare
         Name : constant String := "Operator ""&""";
         Tests : array (1 .. 3) of Boolean;
      begin
         Incomplete_String := 'I' & Incomplete_String;
         Incomplete_String := Incomplete_String & A_Small_G;
         if not Is_Valid (Incomplete_String)
           or not Is_Valid (Complete_String) then
           or not Is_Valid (Complete_String)
         then
            NT.Item (Report, Name, NT.Error);
            if not Is_Valid (Incomplete_String) then
               NT.Info (Report, "Incomplete_String is invalid");
            end if;
            if not Is_Valid (Complete_String) then
               NT.Info (Report, "Complete_String is invalid");
            end if;