Class BitwiseXor
- java.lang.Object
-
- it.unive.lisa.symbolic.value.operator.binary.NumericOperation
-
- it.unive.lisa.symbolic.value.operator.binary.BitwiseXor
-
- All Implemented Interfaces:
Operator
,BinaryOperator
,BitwiseOperator
public class BitwiseXor extends NumericOperation implements BitwiseOperator
Given two expressions that both evaluate to numeric values, aBinaryExpression
using this operator computes the XOR operation (i.e., setting each bit to1
only the corresponding bits of the operands are different) 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 BitwiseXor
INSTANCE
The singleton instance of this class.
-
Constructor Summary
Constructors Modifier Constructor Description protected
BitwiseXor()
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 BitwiseXor INSTANCE
The singleton instance of this class.
-
-
Constructor Detail
-
BitwiseXor
protected BitwiseXor()
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
.
-
-