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

Method isAlias

src/main/java/wyil/lang/WyilFile.java:6046–6048  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

6044 }
6045
6046 public boolean isAlias() {
6047 return getLink().getTarget().getInvariant().size() == 0;
6048 }
6049
6050 @Override
6051 public boolean isWriteable() {

Callers 2

isSubtypeMethod · 0.80
greatestLowerBoundMethod · 0.80

Calls 4

getLinkMethod · 0.95
sizeMethod · 0.65
getInvariantMethod · 0.65
getTargetMethod · 0.65

Tested by

no test coverage detected