Package io.mokamint.application.messages
Class CheckDeadlineResultMessages.Decoder
java.lang.Object
io.hotmoka.websockets.beans.MappedDecoder<CheckDeadlineResultMessage,CheckDeadlineResultMessages.Json>
io.mokamint.application.messages.CheckDeadlineResultMessages.Decoder
- All Implemented Interfaces:
io.hotmoka.websockets.beans.api.DecoderText<CheckDeadlineResultMessage>,jakarta.websocket.Decoder,jakarta.websocket.Decoder.Text<CheckDeadlineResultMessage>
- Enclosing class:
CheckDeadlineResultMessages
public static class CheckDeadlineResultMessages.Decoder
extends io.hotmoka.websockets.beans.MappedDecoder<CheckDeadlineResultMessage,CheckDeadlineResultMessages.Json>
Gson decoder.
-
Nested Class Summary
Nested classes/interfaces inherited from interface jakarta.websocket.Decoder
jakarta.websocket.Decoder.Binary<T>, jakarta.websocket.Decoder.BinaryStream<T>, jakarta.websocket.Decoder.Text<T>, jakarta.websocket.Decoder.TextStream<T> -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class io.hotmoka.websockets.beans.MappedDecoder
decode, willDecodeMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface jakarta.websocket.Decoder
destroy, init
-
Constructor Details
-
Decoder
public Decoder()Creates a new decoder.
-