Module io.hotmoka.nodes

Package io.hotmoka.nodes

Class SideEffectsInViewMethodException

java.lang.Object

java.lang.Throwable

java.lang.Exception

io.hotmoka.nodes.SideEffectsInViewMethodException

All Implemented Interfaces:

Serializable

public class SideEffectsInViewMethodException
extends Exception

An exception thrown when a transaction for the execution of a

invalid @link

io.takamaka.code.lang.View

method has side-effects different from the modification of the balance of the caller.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
SideEffectsInViewMethodException(MethodSignature method)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Details

SideEffectsInViewMethodException

public SideEffectsInViewMethodException(MethodSignature method)