ef="#type-err_instance.violation_type" class="anchor"></a><code>violation_type : <a href="../InheritanceRule/ReportableViolation/index.html#type-violation_type">InheritanceRule.ReportableViolation.violation_type</a>;</code></td></tr><tr id="type-err_instance.base_proc_name" class="anchored"><td class="def field"><a href="#type-err_instance.base_proc_name" class="anchor"></a><code>base_proc_name : <a href="../../IR/Procname/Java/index.html#type-t">IR.Procname.Java.t</a>;</code></td></tr><tr id="type-err_inst