|
PPL Java Language Interface 0.12
|
A class collecting I/O functions. More...
Static Public Member Functions | |
| static native String | wrap_string (String str, int indent_depth, int preferred_first_line_length, int preferred_line_length) |
| Utility function for the wrapping of lines of text. | |
A class collecting I/O functions.
| static native String parma_polyhedra_library::IO::wrap_string | ( | String | str, |
| int | indent_depth, | ||
| int | preferred_first_line_length, | ||
| int | preferred_line_length | ||
| ) | [static] |
Utility function for the wrapping of lines of text.
| str | The source string holding the lines to wrap. |
| indent_depth | The indentation depth. |
| preferred_first_line_length | The preferred length for the first line of text. |
| preferred_line_length | The preferred length for all the lines but the first one. |