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:926–929 ·
view source on GitHub ↗
()
Source
from the content-addressed store, hash-verified
924
}
925
926
@Override
927
public
WyilFile.Type.Function getType() {
928
return
new
WyilFile.Type.Function(project(getParameters()),project(getReturns()));
929
}
930
931
@Override
932
@SuppressWarnings(
"unchecked"
)
Callers
1
toString
Method · 0.95
Calls
3
getReturns
Method · 0.80
project
Method · 0.65
getParameters
Method · 0.45
Tested by
no test coverage detected