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

Method getOperand

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

Source from the content-addressed store, hash-verified

2676 }
2677
2678 @Override
2679 public Expr getOperand() {
2680 return (Expr) super.get(1);
2681 }
2682
2683 @Override
2684 public Cast clone(Syntactic.Item[] operands) {

Callers 1

toStringMethod · 0.95

Calls 1

getMethod · 0.65

Tested by

no test coverage detected