public String toString(Stringify format){
  StringWriter writer=new StringWriter();
  try {
    writeTo(writer,format);
  }
 catch (  IOException exception) {
    throw new RuntimeException(exception);
  }
  return writer.toString();
}

public String toString ( Stringify format ) { StringWriter writer = new StringWriter ( ) ; try { writeTo ( writer , format ) ; } catch ( IOException exception ) { throw new RuntimeException ( exception ) ; } return writer . toString ( ) ; }
returns the json / hjson string for this value using the given formatting .
