void Options::dumpAllOptions(DumpLevel level, const char* title, FILE* stream) { if (title) fprintf(stream, "%s\n", title); for (int id = 0; id < numberOfOptions; id++) dumpOption(level, static_cast<OptionID>(id), stream, " ", "\n"); }
void Options::dumpAllOptions(StringBuilder& builder, DumpLevel level, const char* title, const char* separator, const char* optionHeader, const char* optionFooter, ShowDefaultsOption showDefaultsOption) { if (title) { builder.append(title); builder.append('\n'); } for (int id = 0; id < numberOfOptions; id++) { if (separator && id) builder.append(separator); dumpOption(builder, level, static_cast<OptionID>(id), optionHeader, optionFooter, showDefaultsOption); } }
void Options::dumpAllOptions(FILE* stream) { fprintf(stream, "JSC runtime options:\n"); for (int id = 0; id < numberOfOptions; id++) dumpOption(static_cast<OptionID>(id), stream, " ", "\n"); }