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

Method match

src/main/java/wyc/util/ErrorMessages.java:65–65  ·  view source on GitHub ↗

Determine whether an actual error message was generated from this template (or not). @param message @return

(String message)

Source from the content-addressed store, hash-verified

63 * @return
64 */
65 public boolean match(String message);
66 }
67
68 /**

Callers 11

executeMethod · 0.65
isPublicMethod · 0.65
isPublicMethod · 0.65
checkReturnValueMethod · 0.65
isUnsafeMethod · 0.65
isFinalMethod · 0.65
toMangledNameMethod · 0.65
execWyilMethod · 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

execWyilMethod · 0.52