Grammar

mernst · mernst · commit 8606f2a827ea · 2026-05-24T20:20:50.000-07:00
diff --git a/checker-qual/src/main/java/org/checkerframework/dataflow/qual/SideEffectFree.java b/checker-qual/src/main/java/org/checkerframework/dataflow/qual/SideEffectFree.java
@@ -12,8 +12,8 @@
  *
  * <p>Only the visible side effects are important. The method is allowed to cache the answer to a
  * computationally expensive query, for instance. It is also allowed to modify newly-created
- * objects. A constructor is side-effect-free if it does not modify any objects, that existed before
- * it was called, in ways that are externally visible.
+ * objects. A constructor is side-effect-free if it does not modify any objects that existed before
+ * it was called in ways that are externally visible.
  *
  * <p>This annotation is important to pluggable type-checking because if some fact about an object
  * is known before a call to such a method, then the fact is still known afterwards, even if the

Original file line number	Diff line number	Diff line change
`@@ -12,8 +12,8 @@`
`12`	`12`	`*`
`13`	`13`	`* <p>Only the visible side effects are important. The method is allowed to cache the answer to a`
`14`	`14`	`* computationally expensive query, for instance. It is also allowed to modify newly-created`
`15`		`- * objects. A constructor is side-effect-free if it does not modify any objects, that existed before`
`16`		`- * it was called, in ways that are externally visible.`
	`15`	`+ * objects. A constructor is side-effect-free if it does not modify any objects that existed before`
	`16`	`+ * it was called in ways that are externally visible.`
`17`	`17`	`*`
`18`	`18`	`* <p>This annotation is important to pluggable type-checking because if some fact about an object`
`19`	`19`	`* is known before a call to such a method, then the fact is still known afterwards, even if the`