Class SwitchHandler.SwitchDetails

java.lang.Object
edu.umd.cs.findbugs.SwitchHandler.SwitchDetails
Enclosing class:
SwitchHandler

public static class SwitchHandler.SwitchDetails extends Object
  • Field Details

    • switchPC

      final int switchPC
    • swOffsets

      final int[] swOffsets
    • defaultOffset

      final int defaultOffset
    • maxOffset

      final int maxOffset
    • nextOffset

      int nextOffset
    • exhaustive

      final boolean exhaustive
  • Constructor Details

    • SwitchDetails

      public SwitchDetails(int pc, int[] offsets, int defOffset, boolean exhaustive)
  • Method Details

    • getNextSwitchOffset

      public int getNextSwitchOffset(int currentPC)
    • getDefaultOffset

      public int getDefaultOffset()
    • getLastOffset

      private int getLastOffset()