spipaterr.adb

来自「用于进行gcc测试」· ADB 代码 · 共 15 行

-- { dg-do run }

with Text_IO; use Text_IO;
with GNAT.SPITBOL.Patterns; use GNAT.SPITBOL.Patterns;
procedure Spipaterr is
    X : String := "ABCDE";
    Y : Pattern := Len (1) & X (2 .. 2);
begin
    if Match ("XB", Y) then
       null;
    else
       raise Program_Error;
    end if;
end;