Module io.hotmoka.verification

Package io.hotmoka.verification.issues

Class Warning

java.lang.Object

io.hotmoka.verification.issues.Issue

io.hotmoka.verification.issues.Warning

All Implemented Interfaces:

Comparable<Issue>

public abstract class Warning
extends Issue

A non-blocking issue: if a warning occurs during the processing of a Takamaka jar file, then its instrumentation does proceed and will not be aborted.

Field Summary

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

message, where

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Warning(String where, String message)
protected	Warning(String where, String methodName, int line, String message)
protected	Warning(String where, String fieldName, String message)

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

Warning

protected Warning(String where,
                  String message)

Warning

protected Warning(String where,
                  String methodName,
                  int line,
                  String message)

Warning

protected Warning(String where,
                  String fieldName,
                  String message)