BitwiseUnsignedShiftRight (lisa-sdk 0.1 API)

java.lang.Object
- it.unive.lisa.symbolic.value.operator.binary.NumericOperation
- - it.unive.lisa.symbolic.value.operator.binary.BitwiseUnsignedShiftRight

All Implemented Interfaces:

Operator, BinaryOperator, BitwiseOperator
```
public class BitwiseUnsignedShiftRight
extends NumericOperation
implements BitwiseOperator
```
Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes a new number built with the bits of the first argument's value shifted to the right by an amount specified by the second argument's value. Excess bits on the right are dropped, while new bits on the left are set to 0.

First argument expression type: any NumericType
Second argument expression type: any NumericType
Computed expression type: NumericType

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  static BitwiseUnsignedShiftRight INSTANCE
  The singleton instance of this class.
- Constructor Summary
  
  Constructors
  Modifier Constructor Description
  
  protected BitwiseUnsignedShiftRight()
  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
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - INSTANCE
```
public static final BitwiseUnsignedShiftRight INSTANCE
```
    The singleton instance of this class.
- Constructor Detail
  - BitwiseUnsignedShiftRight
```
protected BitwiseUnsignedShiftRight()
```
    Builds the operator. This constructor is visible to allow subclassing: instances of this class should be unique, and the singleton can be retrieved through field INSTANCE.
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object