IllegalNativeMethodError (io-hotmoka-verification 1.0.3 API)

java.lang.Object
- io.hotmoka.verification.issues.Issue
- - io.hotmoka.verification.issues.Error
  - - io.hotmoka.verification.issues.IllegalNativeMethodError

All Implemented Interfaces:: Comparable<Issue>

public class IllegalNativeMethodError
extends Error

- Field Summary
  - Fields inherited from class io.hotmoka.verification.issues.Issue
    message, where
- Constructor Summary
  
  Constructors
  Constructor Description
  
  IllegalNativeMethodError(String where, String methodName)
- 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

IllegalNativeMethodError

public IllegalNativeMethodError(String where,
                                String methodName)