Class Numeric8BitAdd
- java.lang.Object
-
- it.unive.lisa.symbolic.value.operator.binary.NumericOperation
-
- it.unive.lisa.symbolic.value.operator.binary.Numeric8BitAdd
-
- All Implemented Interfaces:
Operator
,AdditionOperator
,ArithmeticOperator
,BinaryOperator
,OverflowingOperator
public class Numeric8BitAdd extends NumericOperation implements AdditionOperator, OverflowingOperator
Given two expressions that both evaluate to numeric values, aBinaryExpression
using this operator computes the arithmetic addition of those values. Both arguments and results are expected to be 8-bits numbers, and this operation thus can overflow/underflow.
First argument expression type:NumericType
(8-bit)
Second argument expression type:NumericType
(8-bit)
Computed expression type:NumericType
(8-bit)
-
-
Field Summary
Fields Modifier and Type Field Description static Numeric8BitAdd
INSTANCE
The singleton instance of this class.
-
Constructor Summary
Constructors Modifier Constructor Description protected
Numeric8BitAdd()
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 Numeric8BitAdd INSTANCE
The singleton instance of this class.
-
-
Constructor Detail
-
Numeric8BitAdd
protected Numeric8BitAdd()
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
.
-
-