Class DoomedCodeWarningProperty

  • All Implemented Interfaces:
    WarningProperty

    public class DoomedCodeWarningProperty
    extends AbstractWarningProperty
    A WarningProperty for warnings that are reported at a "doomed" Location; one that cannot return normally.
    • Constructor Detail

      • DoomedCodeWarningProperty

        private DoomedCodeWarningProperty​(java.lang.String shortName,
                                          PriorityAdjustment priorityAdjustment)