Documentation fixes

This commit is contained in:
Ed Minnix
2023-07-25 21:11:49 -04:00
parent b567ec875a
commit 172b8a6967
2 changed files with 3 additions and 2 deletions

View File

@@ -398,6 +398,7 @@ class GetServletResourceAsStreamMethod extends Method {
}
}
/** The interface `javax.servlet.http.HttpSession` */
class HttpServletSession extends RefType {
HttpServletSession() { this.hasQualifiedName("javax.servlet.http", "HttpSession") }
}