2 * Copyright (C) 2014, United States Government, as represented by the
3 * Administrator of the National Aeronautics and Space Administration.
6 * The Java Pathfinder core (jpf-core) platform is licensed under the
7 * Apache License, Version 2.0 (the "License"); you may not use this file except
8 * in compliance with the License. You may obtain a copy of the License at
10 * http://www.apache.org/licenses/LICENSE-2.0.
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
18 package gov.nasa.jpf.util;
21 * an object that holds a mutable int. Unfortunately, java.lang.Integer is
22 * final, but we can at least be a Number
24 public class MutableInteger extends Number {
28 public MutableInteger (int val){
32 public void set (int val){
36 //--- arithmetic operations
37 public MutableInteger inc() {
42 public MutableInteger dec() {
47 public MutableInteger add (int n){
52 public MutableInteger subtract (int n){
57 public MutableInteger multiply (int n){
62 public MutableInteger divide (int n){
67 //-- Hmm, we probably want to round correctly for these
68 public MutableInteger add (Number n){
69 value += n.intValue();
73 public MutableInteger subtract (Number n){
74 value -= n.intValue();
78 public MutableInteger multiply (Number n){
79 value *= n.intValue();
83 public MutableInteger divide (Number n){
84 value /= n.intValue();
91 public double doubleValue() {
96 public float floatValue() {
101 public int intValue() {
106 public long longValue() {