public class RecordData extends Indenter
since class file 58.65535 (JEP 359)
Modifier and Type | Class and Description |
---|---|
private class |
RecordData.Component |
Modifier and Type | Field and Description |
---|---|
private ClassData |
cls |
private java.util.List<RecordData.Component> |
components |
Constructor and Description |
---|
RecordData(ClassData cls) |
Modifier and Type | Method and Description |
---|---|
void |
print()
Prints the record data to the current output stream.
|
RecordData |
read(java.io.DataInputStream in) |
decreaseIndent, getIndentString, increaseIndent, indent, setIndent
private final ClassData cls
private java.util.List<RecordData.Component> components
public RecordData(ClassData cls)
public RecordData read(java.io.DataInputStream in) throws java.io.IOException
java.io.IOException
public void print() throws java.io.IOException
java.io.IOException