public class Indenter extends Object
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_WIDTH
The default indentation width
|
Constructor and Description |
---|
Indenter()
Constructs an
Indenter with the default indent
width. |
Indenter(int userWidth)
Constructs an
Indenter with a user-supplied indent
width. |
Modifier and Type | Method and Description |
---|---|
void |
in()
Move in one width.
|
String |
makeString()
Create a
String of spaces for indentation based on the
current depth. |
void |
out()
Move out one width.
|
public static final int DEFAULT_WIDTH
public Indenter()
Indenter
with the default indent
width.public Indenter(int userWidth)
Indenter
with a user-supplied indent
width.userWidth
- the number of spaces to use for each indentation levelpublic void in()
public void out()
public String makeString()
String
of spaces for indentation based on the
current depth.Copyright © 2023 JBoss by Red Hat. All rights reserved.