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

Interface BinaryOperator

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

Represents an abstract operator expression over exactly two operand expressions . For example, x << 1 is a binary operator expression. @author David J. Pearce

Source from the content-addressed store, hash-verified

2613 *
2614 */
2615 public interface BinaryOperator extends Expr {
2616 public Expr getFirstOperand();
2617
2618 public Expr getSecondOperand();
2619 }
2620
2621 /**
2622 * Represents an abstract operator expression over exactly three <i>operand

Callers 16

executeAssignArrayMethod · 0.65
checkAssignedLValMethod · 0.65
executeRecordUpdateMethod · 0.65
executeAssignArrayMethod · 0.65
executeRecordUpdateMethod · 0.65

Implementers 15

LogicalImplicationsrc/main/java/wyil/lang/WyilFile.java
LogicalIffsrc/main/java/wyil/lang/WyilFile.java
Equalsrc/main/java/wyil/lang/WyilFile.java
NotEqualsrc/main/java/wyil/lang/WyilFile.java
IntegerLessThansrc/main/java/wyil/lang/WyilFile.java
IntegerLessThanOrEqualsrc/main/java/wyil/lang/WyilFile.java
IntegerGreaterThansrc/main/java/wyil/lang/WyilFile.java
IntegerGreaterThanOrEqualsrc/main/java/wyil/lang/WyilFile.java
IntegerAdditionsrc/main/java/wyil/lang/WyilFile.java
IntegerSubtractionsrc/main/java/wyil/lang/WyilFile.java
IntegerMultiplicationsrc/main/java/wyil/lang/WyilFile.java
IntegerDivisionsrc/main/java/wyil/lang/WyilFile.java

Calls

no outgoing calls

Tested by

no test coverage detected