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

Interface LVal

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

Represents an arbitrary expression permissible on the left-hand side of an assignment statement. For example, consider the following method: method f(int[] xs, int x, int y): x = y + 1 xs[i] = x This contains two assignment statements with the lval's x and

Source from the content-addressed store, hash-verified

2560 *
2561 */
2562 public interface LVal extends Expr {
2563
2564 }
2565
2566 /**
2567 * Represents an arbitrary expression within a Whiley source file. Every

Callers

nothing calls this directly

Implementers 8

StaticVariableAccesssrc/main/java/wyil/lang/WyilFile.java
VariableAccesssrc/main/java/wyil/lang/WyilFile.java
Dereferencesrc/main/java/wyil/lang/WyilFile.java
FieldDereferencesrc/main/java/wyil/lang/WyilFile.java
Newsrc/main/java/wyil/lang/WyilFile.java
ArrayAccesssrc/main/java/wyil/lang/WyilFile.java
RecordAccesssrc/main/java/wyil/lang/WyilFile.java
TupleInitialisersrc/main/java/wyil/lang/WyilFile.java

Calls

no outgoing calls

Tested by

no test coverage detected