Searched refs:stripped (Results 1 – 7 of 7) sorted by relevance
26 stripped = line.strip()27 return stripped.startswith("/*") and not stripped.endswith("*/")52 stripped = line.lstrip()53 return (stripped == "") or stripped.startswith("/*") or stripped.startswith("//")
330 String stripped = line.strip(); in main() local332 if (stripped.isEmpty()) { in main()337 if (stripped.startsWith(ANNOTATIONS.get(j))) { in main()346 fieldDescription += stripped; in main()
1473 stripped = False1479 stripped = True1484 if stripped:1497 stripped = False1503 stripped = True1508 if stripped:
519 stripped = []558 stripped.append(elem)561 return stripped
15347 var stripped = expansion.replace(/##/g, "");15349 while (stripped.indexOf("#" + (numArgs + 1)) !== -1) {
15001 const stripped = expansion.replace(/##/g, "");15003 while (stripped.indexOf("#" + (numArgs + 1)) !== -1) {
774 * except with the TagType modifier stripped.