TernaryOperator (lisa-sdk 0.1b6 API)

All Superinterfaces:

Operator

All Known Implementing Classes:

StringReplace, StringSubstring
```
public interface TernaryOperator
extends Operator
```
A ternary Operator that can be applied to three 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> middle, 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> middle,
                                  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
    
    middle - the set of types of the middle argument of this expression
    
    right - the set of types of the right-most argument of this expression
    
    Returns:
    
    the runtime types of this expression