code: private static Transition makeDivPreceder(String literal) {
      return new Transition(literal) {
        @Override
        Context computeNextContext(Context prior, Matcher matcher) {
          return prior
              .toBuilder()
              .withState(HtmlContext.JS)
              .withSlashType(Context.JsFollowingSlash.DIV_OP)
              .build();
        }
      };
    }
docs: Matches a portion of JavaScript that can precede a division operator.