removed encodeConstraintPosWholeNumber - no unsigned numbers on the JVM

asn1scala/src/main/scala/asn1scala/asn1jvm_Codec.scala

@@ -208,8 +208,13 @@ trait Codec {
       require(min <= v && v <= max)
 
       val range = max - min
+      stainlessAssert(range >= 0)
       if range == 0 then
-         return
+         return;
+
+      // runtime only right now
+      if range < 0 then
+         writeToStdErr("Range is bigger than the biggest primitive on the JVM - unsafe!")
 
       // get number of bits that get written
       val nRangeBits: Int = GetNumberOfBitsForNonNegativeInteger(range)
@@ -226,20 +231,21 @@ trait Codec {
          writeToStdErr("precondition for appendBitsLSBFirst not met")
    }
 
-   def encodeConstraintPosWholeNumber(v: ULong, min: ULong, max: ULong): Unit = {
-      require(max >= 0 && max <= Long.MaxValue)
-      require(min >= 0 && min <= max)
-      require(min <= v && v <= max)
-
-      val range: ULong = (max - min)
-      if range == 0 then
-         return
-
-      val nRangeBits: Int = GetNumberOfBitsForNonNegativeInteger(range)
-      val nBits: Int = GetNumberOfBitsForNonNegativeInteger(v - min)
-      appendNBitZero(nRangeBits - nBits)
-      encodeNonNegativeInteger(v - min)
-   }
+   // TODO remove - does exactly the same as encodeConstrainedWholeNumber
+//   def encodeConstraintPosWholeNumber(v: ULong, min: ULong, max: ULong): Unit = {
+//      require(max >= 0 && max <= Long.MaxValue)
+//      require(min >= 0 && min <= max)
+//      require(min <= v && v <= max)
+//
+//      val range: ULong = (max - min)
+//      if range == 0 then
+//         return
+//
+//      val nRangeBits: Int = GetNumberOfBitsForNonNegativeInteger(range)
+//      val nBits: Int = GetNumberOfBitsForNonNegativeInteger(v - min)
+//      appendNBitZero(nRangeBits - nBits)
+//      encodeNonNegativeInteger(v - min)
+//   }
 
    def decodeConstraintWholeNumber(min: Long, max: Long): Option[Long] = {
       require(min <= max)

asn1scala/src/main/scala/asn1scala/asn1jvm_Helper.scala

@@ -135,17 +135,6 @@ def GetLengthForEncodingUnsigned(v: ULong): Int = {
    max((GetNumberOfBitsForNonNegativeInteger(v) + NO_OF_BITS_IN_BYTE - 1) / NO_OF_BITS_IN_BYTE, 1) // even the number 0 needs 1 byte
 }.ensuring(n => n > 0 && n <= NO_OF_BYTES_IN_JVM_LONG)
 
-/**
- * Get the amount of set bits in the given 64bit number v
- *
- * @param v input
- * @return Amount of set bits in v
- */
-@extern
-private def popCountL(v: Long): Int = {
-   Integer.bitCount((v >>> 32).toUnsignedInt) + Integer.bitCount((v & 0xFF_FF_FF_FFL).toUnsignedInt)
-}
-
 /**
  * Get number of bytes needed to encode the
  * positive number v according to PER rules (8.3)