MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / getMessage

Method getMessage

src/main/java/wyc/util/ErrorMessages.java:56–56  ·  view source on GitHub ↗
(Tuple<Syntactic.Item> context)

Source from the content-addressed store, hash-verified

54
55 public interface Message {
56 public String getMessage(Tuple<Syntactic.Item> context);
57
58 /**
59 * Determine whether an actual error message was generated from this template

Callers 3

getErrorMessageMethod · 0.95
toStringMethod · 0.65
printStackTraceMethod · 0.65

Implementers 5

StaticMessagesrc/main/java/wyc/util/ErrorMessages.j
MultiPartMessagesrc/main/java/wyc/util/ErrorMessages.j
TypingErrorMessagesrc/main/java/wyc/util/ErrorMessages.j
StackTraceMessagesrc/main/java/wyc/util/ErrorMessages.j
ErrorMessagessrc/main/java/wyc/util/ErrorMessages.j

Calls

no outgoing calls

Tested by 1

printStackTraceMethod · 0.52