flink-instrumentation/workspace/flink-1.4.1-instrumented/flink-1.4.1/flink-core/src/main/java/org/apache/flink/configuration/ConfigOptionsDocGenerator.java
/**
	 * Transforms option to table row.
	 *
	 * @param option option to transform
	 * @return row with the option description
	 */
Transforms option to table row.
@param option option to transform
@return row with the option description
Transforms option to table row . @param option option to transform @return row with the option description
private static String toHtmlString(final ConfigOption<?> option) {
		Object defaultValue = option.defaultValue();
		if (option == WebOptions.TMP_DIR || option.key().equals("python.dc.tmp.dir")) {
			defaultValue = null;
		}
		return "<tr>" +
			"<td><h5>" + escapeCharacters(option.key()) + "</h5></td>" +
			"<td>" + escapeCharacters(defaultValueToHtml(defaultValue)) + "</td>" +
			"<td>" + escapeCharacters(option.description()) + "</td>" +
			"</tr>";
	}
private static String toHtmlString ( final ConfigOption < ? > option ) { Object defaultValue = option . defaultValue ( ) ; if ( option == WebOptions . TMP_DIR || option . key ( ) . equals ( "python.dc.tmp.dir" ) ) { defaultValue = null ; } return "<tr>" + "<td><h5>" + escapeCharacters ( option . key ( ) ) + "</h5></td>" + "<td>" + escapeCharacters ( defaultValueToHtml ( defaultValue ) ) + "</td>" + "<td>" + escapeCharacters ( option . description ( ) ) + "</td>" + "</tr>" ; }
Transforms option to table row.
Transforms option to table row .
// This is a temporary hack that should be removed once FLINK-6490 is resolved. // These options use System.getProperty("java.io.tmpdir") as the default. // As a result the generated table contains an actual path as the default, which is simply wrong.