docs: public static String edgeTypeToString(@Type int edgeType) {
          switch (edgeType) {
          case FALL_THROUGH_EDGE:
              return "FALL_THROUGH";
          case IFCMP_EDGE:
              return "IFCMP";
          case SWITCH_EDGE:
              return "SWITCH";
          case SWITCH_DEFAULT_EDGE:
              return "SWITCH_DEFAULT";
          case JSR_EDGE:
              return "JSR";
          case RET_EDGE:
              return "RET";
          case GOTO_EDGE:
              return "GOTO";
          case RETURN_EDGE:
              return "RETURN";
          case UNHANDLED_EXCEPTION_EDGE:
              return "UNHANDLED_EXCEPTION";
          case HANDLED_EXCEPTION_EDGE:
              return "HANDLED_EXCEPTION";
          case START_EDGE:
              return "START";
          case BACKEDGE_TARGET_EDGE:
              return "BACKEDGE_TARGET_EDGE";
          case BACKEDGE_SOURCE_EDGE:
              return "BACKEDGE_SOURCE_EDGE";
          case EXIT_EDGE:
              return "EXIT_EDGE";
          }
          throw new IllegalStateException("unknown edge type: " + edgeType);
      }