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

Class GetPriorityResultMessages.Json

java.lang.Object
io.hotmoka.websockets.beans.AbstractRpcMessageJsonRepresentation<GetPriorityResultMessage>
io.mokamint.application.messages.internal.gson.GetPriorityResultMessageJson
io.mokamint.application.messages.GetPriorityResultMessages.Json
All Implemented Interfaces:
io.hotmoka.websockets.beans.api.JsonRepresentation<GetPriorityResultMessage>
Enclosing class:
GetPriorityResultMessages
public static class GetPriorityResultMessages.Json extends io.mokamint.application.messages.internal.gson.GetPriorityResultMessageJson
Json representation.

  • Constructor Summary

    Constructors
    Constructor
    Description
    Json(GetPriorityResultMessage message)
    Creates the Json representation for the given message.

  • Method Summary

    Methods inherited from class io.mokamint.application.messages.internal.gson.GetPriorityResultMessageJson

    getExpectedType, getResult, unmap

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

    getId, getType

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • Json

      public Json(GetPriorityResultMessage message)
      Creates the Json representation for the given message.
      Parameters:
      message - the message