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. |