Searched refs:isDeprecatedElement (Results 1 – 1 of 1) sorted by relevance
317 private boolean isDeprecatedElement; field in DtdData.Element425 isDeprecatedElement = true; in addComment()471 return isDeprecatedElement; in isDeprecated()1160 } else if (element.isDeprecatedElement) { in isDeprecated()