Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ getType
Method
getType
src/main/java/wyil/lang/WyilFile.java:2839–2842 ·
view source on GitHub ↗
()
Source
from the content-addressed store, hash-verified
2837
}
2838
2839
@Override
2840
public
Type getType() {
2841
return
getBinding().getConcreteType().getReturn();
2842
}
2843
2844
@Override
2845
public
void
setType(Type type) {
Callers
nothing calls this directly
Calls
3
getBinding
Method · 0.95
getReturn
Method · 0.65
getConcreteType
Method · 0.45
Tested by
no test coverage detected