private static void convertPhpTaintMarker(@NotNull JsonWriter jsonWriter, @NotNull Element marker) throws IOException {
    jsonWriter.beginObject();

    writeSegmentAttributes(jsonWriter, marker);
    writeOrderAttribute(jsonWriter, marker);

    jsonWriter.name("successors");
    jsonWriter.beginArray();
    Element successorsElement = marker.getChild("successors");
    if (successorsElement != null) {
      Collection<String> markerOrders = ContainerUtil.map(successorsElement.getChildren("marker"), Element::getText);
      for (String markerOrder : markerOrders) {
        jsonWriter.value(markerOrder);
      }
    }
    jsonWriter.endArray();
    jsonWriter.name("predecessors");
    jsonWriter.beginArray();
    Element predecessorsElement = marker.getChild("predecessors");
    if (predecessorsElement != null) {
      Collection<String> markerOrders = ContainerUtil.map(predecessorsElement.getChildren("marker"), Element::getText);
      for (String markerOrder : markerOrders) {
        jsonWriter.value(markerOrder);
      }
    }
    jsonWriter.endArray();

    writeSanitizedVulnerabilities(jsonWriter, marker);

    jsonWriter.endObject();
  }
private static void convertPhpTaintMarker(@NotNull JsonWriter jsonWriter, @NotNull Element marker)