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

Method getType

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

Source from the content-addressed store, hash-verified

995 }
996
997 @Override
998 public WyilFile.Type.Method getType() {
999 // FIXME: This just feels wrong as we are throwing away other template
1000 // variables. The issue is that callable types do not declare template variables
1001 // as they are compiled away.
1002 return new WyilFile.Type.Method(project(getParameters()), project(getReturns()));
1003 }
1004
1005 @SuppressWarnings("unchecked")
1006 @Override

Callers 1

toStringMethod · 0.95

Calls 3

getReturnsMethod · 0.80
projectMethod · 0.65
getParametersMethod · 0.45

Tested by

no test coverage detected