x.html">infer</a> &#x00BB; <a href="../index.html">Nullsafe</a> &#x00BB; Initializers</nav><h1>Module <code>Nullsafe.Initializers</code></h1></header><aside><p>Functionality for evaluating typestates after class initialization. Nullsafe's notion of initialization augments Java's one in the following way:</p><ol><li>A method is considered &quot;initializer&quot; if it is either marked as <code>@Initializer</code> or is in the list of known initializer methods (e.g. onCreate()).</li><li>For each constructor, 