/** * Pushes the {@link ColoringParams coloring parameter} to the client. * * @param params * the information that should be pushed to the client side for * coloring purposes. Must not be {@code null}. */ @JsonNotification("textDocument/updateColoring") void updateColoring(ColoringParams params);