Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/predicate2-source_reference.ads @ 152:2b5abeee2509
update gcc11
author | anatofuz |
---|---|
date | Mon, 25 May 2020 07:50:57 +0900 |
parents | 84e7813d76e9 |
children |
line wrap: on
line source
private with Ada.Strings.Unbounded; package Predicate2.Source_Reference is type Object is tagged private; subtype Source_Reference is Object; function "<" (Left, Right : Object) return Boolean; Undefined : constant Object; private use Ada.Strings.Unbounded; type Object is tagged record Line : Natural; Column : Natural; Filename : Unbounded_String; end record with Dynamic_Predicate => Filename /= Null_Unbounded_String; function "<" (Left, Right : Object) return Boolean is (Left.Filename < Right.Filename or else (Left.Filename = Right.Filename and then Left.Line < Right.Line)); Undefined : constant Object := (0, 0, To_Unbounded_String ("@")); end Predicate2.Source_Reference;