BinaryOperator (lisa-sdk 0.1b5 API)

All Superinterfaces:

Operator

All Known Implementing Classes:

BitwiseAnd, BitwiseOr, BitwiseShiftLeft, BitwiseShiftRight, BitwiseUnsignedShiftRight, BitwiseXor, ComparisonEq, ComparisonGe, ComparisonGt, ComparisonLe, ComparisonLt, ComparisonNe, LogicalAnd, LogicalOr, Numeric16BitAdd, Numeric16BitDiv, Numeric16BitMod, Numeric16BitMul, Numeric16BitSub, Numeric32BitAdd, Numeric32BitDiv, Numeric32BitMod, Numeric32BitMul, Numeric32BitSub, Numeric64BitAdd, Numeric64BitDiv, Numeric64BitMod, Numeric64BitMul, Numeric64BitSub, Numeric8BitAdd, Numeric8BitDiv, Numeric8BitMod, Numeric8BitMul, Numeric8BitSub, NumericNonOverflowingAdd, NumericNonOverflowingDiv, NumericNonOverflowingMod, NumericNonOverflowingMul, NumericNonOverflowingSub, StringConcat, StringContains, StringEndsWith, StringEquals, StringIndexOf, 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
`ExternalSet<Type>`	`typeInference(ExternalSet<Type> left, ExternalSet<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
```
ExternalSet<Type> typeInference(ExternalSet<Type> left,
                                ExternalSet<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:
    
    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