/usr/share/ada/adainclude/gnatcoll/gnatcoll-paragraph_filling.ads is in libgnatcoll1.6-dev 1.6gpl2014-9.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 | ------------------------------------------------------------------------------
-- G N A T C O L L --
-- --
-- Copyright (C) 2011-2014, AdaCore --
-- --
-- This library is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or (at your option) any later --
-- version. This library is distributed in the hope that it will be useful, --
-- but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHAN- --
-- TABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- --
-- --
-- --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
------------------------------------------------------------------------------
-- This software was originally contributed by William A. Duff
with Ada.Strings.Unbounded;
package GNATCOLL.Paragraph_Filling is
-- This purpose of this package is to format paragraphs to take up the
-- minimal number of lines and to look better.
-- Note: All subprograms in this package that take or return a String
-- representing a paragraph represent multiple lines by using ASCII.LF
-- as the line terminator.
-- They return an unbounded_string to avoid extra copies (since internally
-- they manipulate an unbounded_string).
Default_Max_Line_Length : Positive := 79;
-- This value is used as a default for the Max_Line_Length parameter of
-- various subprograms. Note that 79 is the standard max line length used
-- at AdaCore.
function Greedy_Fill
(Paragraph : String;
Max_Line_Length : Positive := Default_Max_Line_Length;
Line_Prefix : String := "")
return Ada.Strings.Unbounded.Unbounded_String;
-- Formats a paragraph with the greedy algorithm (by putting as many words
-- as possible on each line).
-- Line_Prefix is added at the beginning of each line.
function Pretty_Fill
(Paragraph : String;
Max_Line_Length : Positive := Default_Max_Line_Length)
return Ada.Strings.Unbounded.Unbounded_String;
-- Formats a paragraph by first performing Greedy_Fill and then comparing
-- adjacent lines and deciding whether a word should be moved to the next
-- line to make the lines more even. For example:
--
-- Reads Ada source code from the file named by Input_Name. Calls Format on
-- each block comment, and sends the output to the file named by
-- Output_Name. Text that is not part of a comment, and comments appearing
-- after other non-whitespace text on the same line, is sent to the output
-- unchanged.
--
-- would be changed to:
--
-- Reads Ada source code from the file named by Input_Name. Calls Format
-- on each block comment, and sends the output to the file named by
-- Output_Name. Text that is not part of a comment, and comments appearing
-- after other non-whitespace text on the same line, is sent to the output
-- unchanged.
--
-- if the max line length is set to 72.
function Knuth_Fill
(Paragraph : String;
Max_Line_Length : Positive := Default_Max_Line_Length;
Line_Prefix : String := "")
return Ada.Strings.Unbounded.Unbounded_String;
-- Fill the paragraph in the best possible way, based on an algorithm
-- invented by Knuth. This algorithm uses dynamic programming techniques in
-- order to fill paragraphs so that they have the lowest possible badness
-- and line count. Badness is calculated by the Line_Badness function in
-- Paragraph_Filling.Badnesses. For details see the paper, "Breaking
-- Paragraphs into Lines", by Donald E. Knuth and Michael F. Plass,
-- Software Practice and Experience, 11 (1981).
function No_Fill
(Paragraph : String;
Max_Line_Length : Positive := Default_Max_Line_Length;
Line_Prefix : String := "")
return Ada.Strings.Unbounded.Unbounded_String;
-- Return Paragraph unchanged
end GNATCOLL.Paragraph_Filling;
|