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

Detailed Description

A class collecting I/O functions.

Definition at line 28 of file IO.java.

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.

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