Interface ConstructorCallTransactionExceptionResponse

All Superinterfaces:
CodeExecutionTransactionResponse, ConstructorCallTransactionResponse, io.hotmoka.marshalling.api.Marshallable, NonInitialTransactionResponse, TransactionResponse, TransactionResponseWithEvents, TransactionResponseWithUpdates

public interface ConstructorCallTransactionExceptionResponse extends ConstructorCallTransactionResponse, TransactionResponseWithEvents
A response for a successful transaction that calls a constructor to instantiate an object in the store of the node. The constructor is annotated as io.takamaka.code.lang.ThrowsExceptions. It has been called without problems but it threw an exception.
  • Method Details

    • getClassNameOfCause

      String getClassNameOfCause()
      Yields the fully-qualified class name of the cause exception.
      Returns:
      the fully-qualified class name of the cause exception
    • getMessageOfCause

      String getMessageOfCause()
      Yields the message of the cause exception.
      Returns:
      the message of the cause exception
    • getWhere

      String getWhere()
      Yields the program point where the cause exception occurred.
      Returns:
      the program point