Uses of Class
com.luchersol.core.util.Message
Packages that use Message
Package
Description
Core utility classes and base abstractions for the Checker framework.
-
Uses of Message in com.luchersol.core.util
Methods in com.luchersol.core.util that return MessageModifier and TypeMethodDescriptionstatic MessageMessage.getErrorMessage()Returns a standard error message with formatting applied (e.g., color and style).Message.negate()Returns a negated version of this message by appending ".static MessageCreates a newMessagefrom a code and optional arguments.static MessageCreates a newMessagefrom a literal string.static MessageMessageService.sendMessage(String init, String function) Sends a formatted message for the given initial key and function, with no arguments.static MessageMessageService.sendMessage(String init, String function, Object... args) Sends a formatted message for the given initial key, function, and arguments.Methods in com.luchersol.core.util with parameters of type MessageModifier and TypeMethodDescriptionValidates the object with a custom condition and message.Constructors in com.luchersol.core.util with parameters of type MessageModifierConstructorDescriptionprotectedCheckerException(Message message_) Constructs a CheckerException with the specified message.