Class NumericNonOverflowingAdd
- java.lang.Object
-
- it.unive.lisa.symbolic.value.operator.binary.NumericOperation
-
- it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingAdd
-
- All Implemented Interfaces:
Operator
,AdditionOperator
,ArithmeticOperator
,BinaryOperator
public class NumericNonOverflowingAdd extends NumericOperation implements AdditionOperator
Given two expressions that both evaluate to numeric values, aBinaryExpression
using this operator computes the arithmetic addition of those values. This operation does never overflows/underflows.
First argument expression type:NumericType
Second argument expression type:NumericType
Computed expression type:NumericType
-
-
Field Summary
Fields Modifier and Type Field Description static NumericNonOverflowingAdd
INSTANCE
The singleton instance of this class.
-
Constructor Summary
Constructors Modifier Constructor Description protected
NumericNonOverflowingAdd()
Builds the operator.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
toString()
-
Methods inherited from class it.unive.lisa.symbolic.value.operator.binary.NumericOperation
typeInference
-
-
-
-
Field Detail
-
INSTANCE
public static final NumericNonOverflowingAdd INSTANCE
The singleton instance of this class.
-
-
Constructor Detail
-
NumericNonOverflowingAdd
protected NumericNonOverflowingAdd()
Builds the operator. This constructor is visible to allow subclassing: instances of this class should be unique, and the singleton can be retrieved through fieldINSTANCE
.
-
-