Class BitwiseOr
- java.lang.Object
-
- it.unive.lisa.symbolic.value.operator.binary.NumericOperation
-
- it.unive.lisa.symbolic.value.operator.binary.BitwiseOr
-
- All Implemented Interfaces:
Operator
,BinaryOperator
,BitwiseOperator
public class BitwiseOr extends NumericOperation implements BitwiseOperator
Given two expressions that both evaluate to numeric values, aBinaryExpression
using this operator computes the OR operation (i.e., setting each bit to1
only if at least one of the corresponding bits of the operands are1
) on the arguments.
First argument expression type: anyNumericType
Second argument expression type: anyNumericType
Computed expression type:NumericType
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
BitwiseOr()
Builds the type.
-
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 BitwiseOr INSTANCE
The singleton instance of this class.
-
-
Constructor Detail
-
BitwiseOr
protected BitwiseOr()
Builds the type. This constructor is visible to allow subclassing: instances of this class should be unique, and the singleton can be retrieved through fieldINSTANCE
.
-
-