Package org.checkerframework.common.value.util

Class DoubleMath

  • public class DoubleMath
extends NumberMath<java.lang.Double>

    • Constructor Summary

      Constructors 
      Constructor Description
      DoubleMath​(double i)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.Number bitwiseAnd​(java.lang.Number right)  
      java.lang.Number bitwiseComplement()  
      java.lang.Number bitwiseOr​(java.lang.Number right)  
      java.lang.Number bitwiseXor​(java.lang.Number right)  
      java.lang.Number divide​(java.lang.Number right)
      Returns the result of dividing the this by right.
      java.lang.Boolean equalTo​(java.lang.Number right)  
      java.lang.Boolean greaterThan​(java.lang.Number right)  
      java.lang.Boolean greaterThanEq​(java.lang.Number right)  
      java.lang.Boolean lessThan​(java.lang.Number right)  
      java.lang.Boolean lessThanEq​(java.lang.Number right)  
      java.lang.Number minus​(java.lang.Number right)  
      java.lang.Boolean notEqualTo​(java.lang.Number right)  
      java.lang.Number plus​(java.lang.Number right)  
      java.lang.Number remainder​(java.lang.Number right)
      Returns the result of this % right.
      java.lang.Number shiftLeft​(java.lang.Number right)  
      java.lang.Number signedShiftRight​(java.lang.Number right)  
      java.lang.Number times​(java.lang.Number right)  
      java.lang.Number unaryMinus()  
      java.lang.Number unaryPlus()  
      java.lang.Number unsignedShiftRight​(java.lang.Number right)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • DoubleMath

        public DoubleMath​(double i)

    • Method Detail

      • plus

        public java.lang.Number plus​(java.lang.Number right)
        Specified by:
        plus in class NumberMath<java.lang.Double>

      • minus

        public java.lang.Number minus​(java.lang.Number right)
        Specified by:
        minus in class NumberMath<java.lang.Double>

      • times

        public java.lang.Number times​(java.lang.Number right)
        Specified by:
        times in class NumberMath<java.lang.Double>

      • divide

        public java.lang.Number divide​(java.lang.Number right)
        Description copied from class: NumberMath
        Returns the result of dividing the this by right. If right is zero and this is an integer division, null is returned.
        Specified by:
        divide in class NumberMath<java.lang.Double>

      • remainder

        public java.lang.Number remainder​(java.lang.Number right)
        Description copied from class: NumberMath
        Returns the result of this % right. If right is zero and this is an integer remainder, null is returned.
        Specified by:
        remainder in class NumberMath<java.lang.Double>

      • shiftLeft

        public java.lang.Number shiftLeft​(java.lang.Number right)
        Specified by:
        shiftLeft in class NumberMath<java.lang.Double>

      • signedShiftRight

        public java.lang.Number signedShiftRight​(java.lang.Number right)
        Specified by:
        signedShiftRight in class NumberMath<java.lang.Double>

      • unsignedShiftRight

        public java.lang.Number unsignedShiftRight​(java.lang.Number right)
        Specified by:
        unsignedShiftRight in class NumberMath<java.lang.Double>

      • bitwiseAnd

        public java.lang.Number bitwiseAnd​(java.lang.Number right)
        Specified by:
        bitwiseAnd in class NumberMath<java.lang.Double>

      • bitwiseXor

        public java.lang.Number bitwiseXor​(java.lang.Number right)
        Specified by:
        bitwiseXor in class NumberMath<java.lang.Double>

      • bitwiseOr

        public java.lang.Number bitwiseOr​(java.lang.Number right)
        Specified by:
        bitwiseOr in class NumberMath<java.lang.Double>

      • unaryPlus

        public java.lang.Number unaryPlus()
        Specified by:
        unaryPlus in class NumberMath<java.lang.Double>

      • unaryMinus

        public java.lang.Number unaryMinus()
        Specified by:
        unaryMinus in class NumberMath<java.lang.Double>

      • bitwiseComplement

        public java.lang.Number bitwiseComplement()
        Specified by:
        bitwiseComplement in class NumberMath<java.lang.Double>

      • equalTo

        public java.lang.Boolean equalTo​(java.lang.Number right)
        Specified by:
        equalTo in class NumberMath<java.lang.Double>

      • notEqualTo

        public java.lang.Boolean notEqualTo​(java.lang.Number right)
        Specified by:
        notEqualTo in class NumberMath<java.lang.Double>

      • greaterThan

        public java.lang.Boolean greaterThan​(java.lang.Number right)
        Specified by:
        greaterThan in class NumberMath<java.lang.Double>

      • greaterThanEq

        public java.lang.Boolean greaterThanEq​(java.lang.Number right)
        Specified by:
        greaterThanEq in class NumberMath<java.lang.Double>

      • lessThan

        public java.lang.Boolean lessThan​(java.lang.Number right)
        Specified by:
        lessThan in class NumberMath<java.lang.Double>

      • lessThanEq

        public java.lang.Boolean lessThanEq​(java.lang.Number right)
        Specified by:
        lessThanEq in class NumberMath<java.lang.Double>