parma_polyhedra_library::IO Class Reference
[Java Language Interface]

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:
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.
Returns:
The wrapped string.


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

Generated on Tue Apr 14 07:13:26 2009 for PPL Java Language Interface by  doxygen 1.5.7.1