Package components.naturalnumber

Class NaturalNumber1L

java.lang.Object
components.naturalnumber.NaturalNumberSecondary
components.naturalnumber.NaturalNumber1L
All Implemented Interfaces:
NaturalNumber, NaturalNumberKernel, Standard<NaturalNumber>, Comparable<NaturalNumber>
public class NaturalNumber1L extends NaturalNumberSecondary
NaturalNumber represented as a java.math.BigInteger with implementations of primary methods.
Representation Invariant (concrete invariant of $this):
$this.rep >= 0
Abstraction Relation (interpretation mapping between $this and this):
this = $this.rep

  • Constructor Details

    • NaturalNumber1L

      public NaturalNumber1L()
      No-argument constructor.

    • NaturalNumber1L

      public NaturalNumber1L(int i)
      Constructor from int.
      Parameters:
      i - int to initialize from

    • NaturalNumber1L

      public NaturalNumber1L(String s)
      Constructor from String.
      Parameters:
      s - String to initialize from

    • NaturalNumber1L

      public NaturalNumber1L(NaturalNumber n)
      Constructor from NaturalNumber.
      Parameters:
      n - NaturalNumber to initialize from

  • Method Details

    • newInstance

      public final NaturalNumber newInstance()
      Description copied from interface: Standard
      Returns a new object with the same dynamic type as this, having an initial value. If the type T has a no-argument constructor, then the value of the new returned object satisfies the contract of the no-argument constructor for T. If T does not have a no-argument constructor, then the value of the new returned object satisfies the contract of the constructor call that was used to initialize this .
      Returns:
      new object "like" this with an initial value

    • clear

      public final void clear()
      Description copied from interface: Standard
      Resets this to an initial value. If the type T has a no-argument constructor, then this satisfies the contract of the no-argument constructor for T. If T does not have a no-argument constructor, then this satisfies the contract of the constructor call that was used to initialize #this.

    • transferFrom

      public final void transferFrom(NaturalNumber source)
      Description copied from interface: Standard
      Sets this to the incoming value of source, and resets source to an initial value; the declaration notwithstanding, the dynamic type of source must be the same as the dynamic type of this. If the type T has a no-argument constructor, then source satisfies the contract of the no-argument constructor for T. If T does not have a no-argument constructor, then source satisfies the contract of the constructor call that was used to initialize #source.
      Parameters:
      source - object whose value is to be transferred

    • multiplyBy10

      public final void multiplyBy10(int k)
      Description copied from interface: NaturalNumberKernel
      Multiplies this by 10 and adds k.
      Parameters:
      k - the int to be added

    • divideBy10

      public final int divideBy10()
      Description copied from interface: NaturalNumberKernel
      Divides this by 10 and reports the remainder.
      Returns:
      the remainder

    • isZero

      public final boolean isZero()
      Description copied from interface: NaturalNumberKernel
      Reports whether this is zero.
      Returns:
      true iff this is zero