Improve qldoc

This commit is contained in:
Chris Smowton
2023-11-03 17:27:57 +00:00
parent e5fdf4dd50
commit 2a6e86633d
2 changed files with 2 additions and 2 deletions

View File

@@ -514,7 +514,7 @@ class ConstCase extends SwitchCase {
Expr getValue() { result.isNthChildOf(this, 0) }
/**
* Gets the `case` constant at the specified index.
* Gets the `case` constant at index `i`.
*/
Expr getValue(int i) { result.isNthChildOf(this, i) and i >= 0 }

View File

@@ -441,7 +441,7 @@ private predicate instanceOfGuarded(Expr e, RefType t) {
}
/**
* Holds if `va` is an access to a value that is guarded by `case T t`.
* Holds if `e` is an access to a value that is guarded by `case T t`.
*/
private predicate patternCaseGuarded(Expr e, RefType t) {
exists(PatternCase pc |