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

Method shape

src/main/java/wyil/lang/WyilFile.java:4989–4989  ·  view source on GitHub ↗

Get the "shape" of this type. That is, the number of dimensions it has. @return

()

Source from the content-addressed store, hash-verified

4987 * @return
4988 */
4989 public int shape();
4990
4991 /**
4992 * Get the nth dimension of this type.

Callers 12

checkInitialiserMethod · 0.95
typeInvokeExpressionMethod · 0.95
shapeMethod · 0.65
braceMethod · 0.65
isSimpleMethod · 0.65
getMangleMethod · 0.65
isMatchingLambdaMethod · 0.65
getLambdaParameterMethod · 0.65
getMangleMethod · 0.65
candidateStringMethod · 0.65
braceMethod · 0.65

Implementers 4

Nominalsrc/main/java/wyil/lang/WyilFile.java
AbstractTypesrc/main/java/wyil/lang/WyilFile.java
Unionsrc/main/java/wyil/lang/WyilFile.java
Recursivesrc/main/java/wyil/lang/WyilFile.java

Calls

no outgoing calls

Tested by

no test coverage detected