Numeric16BitAdd (lisa-sdk 0.1b5 API)

java.lang.Object
- it.unive.lisa.symbolic.value.operator.binary.Numeric16BitAdd

All Implemented Interfaces:

Operator, AdditionOperator, ArithmeticOperator, BinaryOperator, OverflowingOperator
```
public class Numeric16BitAdd
extends java.lang.Object
implements AdditionOperator, OverflowingOperator, BinaryOperator
```
Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic addition of those values. Both arguments and results are expected to be 16-bits numbers, and this operation thus can overflow/underflow.

First argument expression type: NumericType (16-bit)
Second argument expression type: NumericType (16-bit)
Computed expression type: NumericType (16-bit)

Field Summary

Fields
Modifier and Type Field Description

static Numeric16BitAdd INSTANCE
The singleton instance of this class.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.lang.String`	`toString()`
`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.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - INSTANCE
```
public static final Numeric16BitAdd INSTANCE
```
    The singleton instance of this class.
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - typeInference
```
public ExternalSet<Type> typeInference(ExternalSet<Type> left,
                                       ExternalSet<Type> right)
```
    Description copied from interface: BinaryOperator
    
    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.
    
    Specified by:
    
    typeInference in interface BinaryOperator
    
    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