PPL Java Language Interface 0.12
parma_polyhedra_library::IO Class Reference

A class collecting I/O functions. More...

List of all members.

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.

Detailed Description

A class collecting I/O functions.


Member Function Documentation

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.

Parameters:
strThe source string holding the lines to wrap.
indent_depthThe indentation depth.
preferred_first_line_lengthThe preferred length for the first line of text.
preferred_line_lengthThe preferred length for all the lines but the first one.
Returns:
The wrapped string.

The documentation for this class was generated from the following file: