Home
last modified time | relevance | path

Searched refs:defaultValueString (Results 1 – 1 of 1) sorted by relevance

/external/desugar/java/com/google/devtools/common/options/
DOptionsUsage.java131 String defaultValueString = optionDefinition.getUnparsedDefaultValue(); in getUsage() local
135 usage.append("default: \"").append(defaultValueString).append("\""); in getUsage()
222 String defaultValueString = optionDefinition.getUnparsedDefaultValue(); in getUsageHtml() local
228 usage.append(" default: \"").append(escaper.escape(defaultValueString)).append("\""); in getUsageHtml()