Module io.mokamint.application.messages

Package io.mokamint.application.messages

Class CheckPrologExtraResultMessages

java.lang.Object

io.mokamint.application.messages.CheckPrologExtraResultMessages

public abstract class CheckPrologExtraResultMessages
extends Object

A provider of CheckPrologExtraResultMessage.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CheckPrologExtraResultMessages.Decoder	Gson decoder.
static class	CheckPrologExtraResultMessages.Encoder	Gson encoder.
static class	CheckPrologExtraResultMessages.Json	Json representation.

Method Summary

Modifier and Type	Method	Description
static CheckPrologExtraResultMessage	of(boolean result, String id)	Yields a CheckPrologExtraResultMessage.

Methods inherited from class java.lang.Object

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

Method Details

of

public static CheckPrologExtraResultMessage of(boolean result,
 String id)

Yields a CheckPrologExtraResultMessage.

Parameters:

result - the result of the call

id - the identifier of the message

Returns:

the message