spelling: initializer

Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
This commit is contained in:
Josh Soref
2022-10-13 12:30:33 -04:00
parent 29ea496ec9
commit be2dbe7fac
2 changed files with 3 additions and 3 deletions

View File

@@ -702,7 +702,7 @@ private predicate arrayStore(Expr e, Expr src, Expr a, boolean postUpdate) {
e = a and
postUpdate = false
or
// Member initalizer, `new C { Array = { [i] = src } }`
// Member initializer, `new C { Array = { [i] = src } }`
exists(MemberInitializer mi |
mi = a.(ObjectInitializer).getAMemberInitializer() and
mi.getLValue() instanceof ArrayAccess and

View File

@@ -417,7 +417,7 @@ class ConstructorInitializer extends Call, @constructor_init_expr {
}
/**
* Holds if this initialier is a `this` initializer, for example `this(0)`
* Holds if this initializer is a `this` initializer, for example `this(0)`
* in
*
* ```csharp
@@ -431,7 +431,7 @@ class ConstructorInitializer extends Call, @constructor_init_expr {
predicate isThis() { this.getTargetType() = this.getConstructorType() }
/**
* Holds if this initialier is a `base` initializer, for example `base(0)`
* Holds if this initializer is a `base` initializer, for example `base(0)`
* in
*
* ```csharp