Method getFirstOperand

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

()

Source from the content-addressed store, hash-verified

2614	*/
2615	public interface BinaryOperator extends Expr {
2616	public Expr getFirstOperand();
2617
2618	public Expr getSecondOperand();
2619	}

executeAssignArrayMethod · 0.65

checkAssignedLValMethod · 0.65

executeRecordUpdateMethod · 0.65

executeIntegerAdditionMethod · 0.65

executeIntegerSubtractionMethod · 0.65

executeIntegerMultiplicationMethod · 0.65

executeIntegerDivisionMethod · 0.65

executeIntegerRemainderMethod · 0.65

executeIntegerExponentMethod · 0.65

executeEqualMethod · 0.65

executeNotEqualMethod · 0.65

executeIntegerLessThanMethod · 0.65

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

no outgoing calls

no test coverage detected