diff options
| author | Yannick Moy <moy@adacore.com> | 2016-05-02 09:50:45 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:50:45 +0200 |
| commit | ef25192beef53daf8cecb32384b1d69d1cfddac9 (patch) | |
| tree | 0c4f8091760e29293c1b82c6c11da42360a8fea7 /gcc/ada/spark_xrefs.adb | |
| parent | ebae28e91ba5a5df5b59e2b114deeb080ec82b27 (diff) | |
| download | gcc-ef25192beef53daf8cecb32384b1d69d1cfddac9.zip gcc-ef25192beef53daf8cecb32384b1d69d1cfddac9.tar.gz gcc-ef25192beef53daf8cecb32384b1d69d1cfddac9.tar.bz2 | |
a-tigeli.adb (Get_Line): Always set Last prior to returning.
2016-05-02 Yannick Moy <moy@adacore.com>
* a-tigeli.adb (Get_Line): Always set Last prior to returning.
2016-05-02 Yannick Moy <moy@adacore.com>
* lib-xref.adb: Minor style fix in whitespace of declarations.
* put_spark_xrefs.adb (Put_SPARK_Xrefs): printing of strings
refactored without loops.
* put_spark_xrefs.ads (Write_Info_Str): new formal argument of
generic procedure.
* spark_xrefs.adb (Write_Info_Str): new actual in instantiation
of generic procedure.
From-SVN: r235728
Diffstat (limited to 'gcc/ada/spark_xrefs.adb')
| -rw-r--r-- | gcc/ada/spark_xrefs.adb | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ada/spark_xrefs.adb b/gcc/ada/spark_xrefs.adb index 8049c7e..8fab555 100644 --- a/gcc/ada/spark_xrefs.adb +++ b/gcc/ada/spark_xrefs.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2011-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2016, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -160,7 +160,10 @@ package body SPARK_Xrefs is procedure pspark is procedure Write_Info_Char (C : Character) renames Write_Char; - -- Write one character; + -- Write one character + + procedure Write_Info_Str (Val : String) renames Write_Str; + -- Write string function Write_Info_Col return Positive; -- Return next column for writing |