A class collecting I/O functions.  
 More...
|  | 
| 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... 
 | 
|  | 
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. 
- 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: