Package io.mokamint.application.messages
Class GetPriorityResultMessages.Encoder
java.lang.Object
io.hotmoka.websockets.beans.MappedEncoder<GetPriorityResultMessage,GetPriorityResultMessages.Json>
io.mokamint.application.messages.internal.gson.GetPriorityResultMessageEncoder
io.mokamint.application.messages.GetPriorityResultMessages.Encoder
- All Implemented Interfaces:
io.hotmoka.websockets.beans.api.EncoderText<GetPriorityResultMessage>,jakarta.websocket.Encoder,jakarta.websocket.Encoder.Text<GetPriorityResultMessage>
- Enclosing class:
GetPriorityResultMessages
public static class GetPriorityResultMessages.Encoder
extends io.mokamint.application.messages.internal.gson.GetPriorityResultMessageEncoder
Gson encoder.
-
Nested Class Summary
Nested classes/interfaces inherited from interface jakarta.websocket.Encoder
jakarta.websocket.Encoder.Binary<T>, jakarta.websocket.Encoder.BinaryStream<T>, jakarta.websocket.Encoder.Text<T>, jakarta.websocket.Encoder.TextStream<T> -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class io.hotmoka.websockets.beans.MappedEncoder
encodeMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface jakarta.websocket.Encoder
destroy, init
-
Constructor Details
-
Encoder
public Encoder()Creates a new encoder.
-