.model.types"><code>ClassType</code></a> for the given binary name, as defined by <cite>The Java&trade; Language Specification</cite>;
 in other words, the class name as returned by <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Class.html#getName()" title="class or interface in java.lang" class="external-link"><code>Class.getName()</code></a>.</div>
</div>
<div class="col-first even-row-color method-summary-table method-summary-table-tab2 method-summary-table-tab3"><code><a