Class BitwiseAnd
- java.lang.Object
-
- it.unive.lisa.symbolic.value.operator.binary.NumericOperation
-
- it.unive.lisa.symbolic.value.operator.binary.BitwiseAnd
-
- All Implemented Interfaces:
Operator
,BinaryOperator
,BitwiseOperator
public class BitwiseAnd extends NumericOperation implements BitwiseOperator
Given two expressions that both evaluate to numeric values, aBinaryExpression
using this operator computes the AND operation (i.e., setting each bit to1
only if the corresponding bits of both operands are1
) on the arguments.
First argument expression type: anyNumericType
Second argument expression type: anyNumericType
Computed expression type:NumericType
-
-
Field Summary
Fields Modifier and Type Field Description static BitwiseAnd
INSTANCE
The singleton instance of this class.
-
Constructor Summary
Constructors Modifier Constructor Description protected
BitwiseAnd()
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 BitwiseAnd INSTANCE
The singleton instance of this class.
-
-
Constructor Detail
-
BitwiseAnd
protected BitwiseAnd()
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
.
-
-