Package it.unive.lisa.symbolic.value.operator.binary

Class BitwiseShiftLeft

  • All Implemented Interfaces:
    Operator, BinaryOperator, BitwiseOperator
    public class BitwiseShiftLeft
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 left by an amount specified by the second argument's value. Excess bits on the left are dropped, while new bits on the right 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 BitwiseShiftLeft INSTANCE
      The singleton instance of this class.

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected BitwiseShiftLeft()
      Builds the type.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Field Detail

      • INSTANCE

        public static final BitwiseShiftLeft INSTANCE
        The singleton instance of this class.

    • Constructor Detail

      • BitwiseShiftLeft

        protected BitwiseShiftLeft()
        Builds the type. 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