Java BigInteger Calculate first(BigInteger i, BigInteger j)

Description

This method is used in the RAC implementation of postfix ++ and -- over \bigint's.

License

Open Source License

Declaration

publicstatic BigInteger first(BigInteger i, BigInteger j) 

Method Source Code

//package com.java2s;
/* $Id: JMLRacBigIntegerUtils.java,v 1.2 2005/07/07 21:03:03 leavens Exp $
 *
 // Copyright (C) 2005 Iowa State University
 ////  w  w w  . j ava2s .co  m
 // This file is part of the runtime library of the Java Modeling Language.
 //
 // This library is free software; you can redistribute it and/or
 // modify it under the terms of the GNU Lesser General Public License
 // as published by the Free Software Foundation; either version 2.1,
 // of the License, or (at your option) any later version.
 //
 // This library is distributed in the hope that it will be useful,
 // but WITHOUT ANY WARRANTY; without even the implied warranty of
 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 // Lesser General Public License for more details.
 //
 // You should have received a copy of the GNU Lesser General Public License
 // along with JML; see the file LesserGPL.txt.  If not, write to the Free
 // Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
 // 02110-1301  USA.
 */

import java.math.BigInteger;

public class Main {
    /**
     * This method is used in the RAC implementation of postfix ++ and
     * -- over \bigint's. E.g. given \bigint bi, we translate bi++ into
     * first(bi, bi = bi.add(BigInteger.ONE)).
     */
    //@ ensures \result == i;
    public/*@pure@*/static BigInteger first(BigInteger i, BigInteger j) {
        return i;
    }
}

Related

1. equals(BigInteger[] a, BigInteger[] b)
2. extractBoolean(BigInteger bi, int index)
3. extractFloat(BigInteger bi, int start, int end, int decimal)
4. extractInt(BigInteger bi, int start, int end)
5. fill(BigInteger[] array, BigInteger value)
6. firstLtSecond(BigInteger first, BigInteger second)
7. gcd(BigInteger a, BigInteger b)
8. GCD(BigInteger x, BigInteger y)
9. gcd(BigInteger... values)