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

Method getInvariant

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

Source from the content-addressed store, hash-verified

1682 //Expr getCondition();
1683
1684 Tuple<Expr> getInvariant();
1685
1686 Tuple<Decl.Variable> getModified();
1687

Callers 15

isAliasMethod · 0.65
executeMethod · 0.65
executeDoWhileMethod · 0.65
executeForMethod · 0.65
executeWhileMethod · 0.65
isMethod · 0.65
visitTypeMethod · 0.65
visitDoWhileMethod · 0.65
visitWhileMethod · 0.65
visitTypeMethod · 0.65
visitDoWhileMethod · 0.65
visitWhileMethod · 0.65

Implementers 3

DoWhilesrc/main/java/wyil/lang/WyilFile.java
Forsrc/main/java/wyil/lang/WyilFile.java
Whilesrc/main/java/wyil/lang/WyilFile.java

Calls

no outgoing calls

Tested by

no test coverage detected