Module io.mokamint.application.messages
Package io.mokamint.application.messages

Class CheckPrologExtraMessages.Decoder

java.lang.Object
io.hotmoka.websockets.beans.MappedDecoder<CheckPrologExtraMessage,CheckPrologExtraMessages.Json>
io.mokamint.application.messages.internal.gson.CheckPrologExtraMessageDecoder
io.mokamint.application.messages.CheckPrologExtraMessages.Decoder
All Implemented Interfaces:
io.hotmoka.websockets.beans.api.DecoderText<CheckPrologExtraMessage>, jakarta.websocket.Decoder, jakarta.websocket.Decoder.Text<CheckPrologExtraMessage>
Enclosing class:
CheckPrologExtraMessages
public static class CheckPrologExtraMessages.Decoder extends io.mokamint.application.messages.internal.gson.CheckPrologExtraMessageDecoder
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
    Constructor
    Description
    Decoder()
    Creates a new decoder.

  • Method Summary

    Methods inherited from class io.hotmoka.websockets.beans.MappedDecoder

    decode, willDecode

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface jakarta.websocket.Decoder

    destroy, init

  • Constructor Details

    • Decoder

      public Decoder()
      Creates a new decoder.