Module io.hotmoka.verification

Package io.hotmoka.verification.issues

Class IllegalCallToNonWhiteListedMethodError

java.lang.Object

io.hotmoka.verification.issues.Issue

io.hotmoka.verification.issues.Error

io.hotmoka.verification.issues.IllegalCallToNonWhiteListedMethodError

All Implemented Interfaces:

Comparable<Issue>

public class IllegalCallToNonWhiteListedMethodError
extends Error

Field Summary

Fields inherited from class io.hotmoka.verification.issues.Issue

message, where

Constructor Summary

Constructors

Constructor	Description
IllegalCallToNonWhiteListedMethodError(String where, String methodName, int line, String declaringClassName, String calledMethodName)

Method Summary

Methods inherited from class io.hotmoka.verification.issues.Issue

compareTo, equals, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IllegalCallToNonWhiteListedMethodError

public IllegalCallToNonWhiteListedMethodError(String where,
                                              String methodName,
                                              int line,
                                              String declaringClassName,
                                              String calledMethodName)