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

Class StaticMessage

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

A static message is a single message which, once created, never changes. @author David J. Pearce

Source from the content-addressed store, hash-verified

72 *
73 */
74 private static final class StaticMessage implements Message {
75 private final String message;
76
77 public StaticMessage(String message) {
78 this.message = message;
79 }
80
81 @Override
82 public String getMessage(Tuple<Syntactic.Item> context) {
83 return message;
84 }
85
86 @Override
87 public boolean match(String message) {
88 return this.message.equals(message);
89 }
90 }
91
92 /**
93 * A multi-part message is a dynamic message which is created based upon the

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected