Ответ 1
На самом деле, они называются комментариями к документу и javadoc - это инструмент для создания этих комментариев в HTML.
Вы можете найти структуру комментария Javadoc в Wikipedia (например).
Перед Java-методами у нас есть что-то вроде:
/**
* Takes a number and returns its square root.
* @param x The value to square.
* @return The square root of the given number.
*/
public float getSqrt(float x) {
...
}
Имеет ли это имя (например, docstrings в Python)?
На самом деле, они называются комментариями к документу и javadoc - это инструмент для создания этих комментариев в HTML.
Вы можете найти структуру комментария Javadoc в Wikipedia (например).
Yup, он называется javadoc.