Module io.hotmoka.moka

Package io.hotmoka.moka

Class JarsInstrumentOutputs.Json

java.lang.Object

io.hotmoka.moka.internal.json.JarsInstrumentOutputJson

io.hotmoka.moka.JarsInstrumentOutputs.Json

All Implemented Interfaces:

io.hotmoka.websockets.beans.api.JsonRepresentation<JarsInstrumentOutput>

Enclosing class:

JarsInstrumentOutputs

public static class JarsInstrumentOutputs.Json
extends io.hotmoka.moka.internal.json.JarsInstrumentOutputJson

JSON representation.

Constructor Summary

Constructors

Constructor	Description
Json(JarsInstrumentOutput output)	Creates the JSON representation for the given output.

Method Summary

Methods inherited from class io.hotmoka.moka.internal.json.JarsInstrumentOutputJson

unmap

Methods inherited from class java.lang.Object

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

Constructor Details

Json

public Json(JarsInstrumentOutput output)

Creates the JSON representation for the given output.

Parameters:

output - the output