Class RecordOutput

java.lang.Object
convex.cli.output.RecordOutput

public class RecordOutput extends Object
  • Constructor Details

    • RecordOutput

      public RecordOutput()
    • RecordOutput

      public RecordOutput(Map<Object,Object> values)
  • Method Details

    • addField

      public void addField(Object key, Object value)
    • writeToStream

      public void writeToStream(PrintStream out)
    • writeToStream

      public void writeToStream(PrintWriter out)