BinaryOperator (lisa-sdk 0.1b6 API)

All Superinterfaces:

Operator

All Known Implementing Classes:

BitwiseAnd, BitwiseOr, BitwiseShiftLeft, BitwiseShiftRight, BitwiseUnsignedShiftRight, BitwiseXor, ComparisonEq, ComparisonGe, ComparisonGt, ComparisonLe, ComparisonLt, ComparisonNe, LogicalAnd, LogicalOperation, LogicalOr, Numeric16BitAdd, Numeric16BitDiv, Numeric16BitMod, Numeric16BitMul, Numeric16BitSub, Numeric32BitAdd, Numeric32BitDiv, Numeric32BitMod, Numeric32BitMul, Numeric32BitSub, Numeric64BitAdd, Numeric64BitDiv, Numeric64BitMod, Numeric64BitMul, Numeric64BitSub, Numeric8BitAdd, Numeric8BitDiv, Numeric8BitMod, Numeric8BitMul, Numeric8BitSub, NumericComparison, NumericNonOverflowingAdd, NumericNonOverflowingDiv, NumericNonOverflowingMod, NumericNonOverflowingMul, NumericNonOverflowingSub, NumericOperation, StringConcat, StringContains, StringEndsWith, StringEquals, StringIndexOf, StringOperation, StringStartsWith, TypeCast, TypeCheck, TypeConv
```
public interface BinaryOperator
extends Operator
```
A binary Operator that can be applied to a pair of SymbolicExpression.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`java.util.Set<Type>`	`typeInference(TypeSystem types, java.util.Set<Type> left, java.util.Set<Type> right)`	Computes the runtime types of this expression (i.e., of the result of this expression) assuming that the arguments of this expression have the given types.

- Method Detail
  - typeInference
```
java.util.Set<Type> typeInference(TypeSystem types,
                                  java.util.Set<Type> left,
                                  java.util.Set<Type> right)
```
    Computes the runtime types of this expression (i.e., of the result of this expression) assuming that the arguments of this expression have the given types.
    
    Parameters:
    
    types - the type system knowing about the types of the current program
    
    left - the set of types of the left-most argument of this expression
    
    right - the set of types of the right-most argument of this expression
    
    Returns:
    
    the runtime types of this expression