class io.vertx.core.json.jackson.InstantSerializer extends com.fasterxml.jackson.databind.JsonSerializer
{
void <init>()
{
io.vertx.core.json.jackson.InstantSerializer v;
v := @this: io.vertx.core.json.jackson.InstantSerializer;
specialinvoke v.<com.fasterxml.jackson.databind.JsonSerializer: void <init>()>();
return;
}
public void serialize(java.time.Instant, com.fasterxml.jackson.core.JsonGenerator, com.fasterxml.jackson.databind.SerializerProvider) throws java.io.IOException
{
com.fasterxml.jackson.core.JsonGenerator v;
java.time.format.DateTimeFormatter v;
io.vertx.core.json.jackson.InstantSerializer v;
com.fasterxml.jackson.databind.SerializerProvider v;
java.lang.String v;
java.time.Instant v;
v := @this: io.vertx.core.json.jackson.InstantSerializer;
v := @parameter: java.time.Instant;
v := @parameter: com.fasterxml.jackson.core.JsonGenerator;
v := @parameter: com.fasterxml.jackson.databind.SerializerProvider;
v = <java.time.format.DateTimeFormatter: java.time.format.DateTimeFormatter ISO_INSTANT>;
v = virtualinvoke v.<java.time.format.DateTimeFormatter: java.lang.String format(java.time.temporal.TemporalAccessor)>(v);
virtualinvoke v.<com.fasterxml.jackson.core.JsonGenerator: void writeString(java.lang.String)>(v);
return;
}
}