Method getType

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

Get the type to which this expression is guaranteed to evaluate. That is, the result type of this expression. @return

()

Source from the content-addressed store, hash-verified

2580	* @return
2581	*/
2582	public Type getType();
2583
2584	/**
2585	* Set the inferred return type for this expression. Observe that some

extractTypeTestMethod · 0.95

getDeclarationMethod · 0.65

projectMethod · 0.65

getTypeMethod · 0.65

lookupMethod · 0.65

getConcreteTypeMethod · 0.65

getTypeMethod · 0.65

toStringMethod · 0.65

getTypeMethod · 0.65

substituteMethod · 0.65

shapeMethod · 0.65

dimensionMethod · 0.65

Lambdasrc/main/java/wyil/lang/WyilFile.java

AbstractExprsrc/main/java/wyil/lang/WyilFile.java

Castsrc/main/java/wyil/lang/WyilFile.java

Constantsrc/main/java/wyil/lang/WyilFile.java

StaticVariableAccesssrc/main/java/wyil/lang/WyilFile.java

Issrc/main/java/wyil/lang/WyilFile.java

Invokesrc/main/java/wyil/lang/WyilFile.java

IndirectInvokesrc/main/java/wyil/lang/WyilFile.java

Oldsrc/main/java/wyil/lang/WyilFile.java

Quantifiersrc/main/java/wyil/lang/WyilFile.java

LambdaAccesssrc/main/java/wyil/lang/WyilFile.java

ArrayUpdatesrc/main/java/wyil/lang/WyilFile.java

no outgoing calls

no test coverage detected