Package convex.cli.output
Class RecordOutput
java.lang.Object
convex.cli.output.RecordOutput
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
void
writeToStream(PrintStream out)
void
writeToStream(PrintWriter out)
-
Constructor Details
-
RecordOutput
public RecordOutput() -
RecordOutput
-
-
Method Details
-
addField
-
writeToStream
-
writeToStream
-