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