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

Method isUnsafe

src/main/java/wyil/check/UnsafeCheck.java:90–92  ·  view source on GitHub ↗
(Decl.Named<?> named)

Source from the content-addressed store, hash-verified

88 }
89
90 public boolean isUnsafe(Decl.Named<?> named) {
91 return named.getModifiers().match(Modifier.Unsafe.class) != null;
92 }
93
94 private void syntaxError(Syntactic.Item e, int code, Syntactic.Item... context) {
95 status = false;

Callers 3

visitInvokeMethod · 0.95
visitLambdaAccessMethod · 0.95

Calls 2

getModifiersMethod · 0.80
matchMethod · 0.65

Tested by

no test coverage detected