    001/*
    002 * Licensed to the Apache Software Foundation (ASF) under one or more
    003 * contributor license agreements.  See the NOTICE file distributed with
    004 * this work for additional information regarding copyright ownership.
    005 * The ASF licenses this file to You under the Apache License, Version 2.0
    006 * (the "License"); you may not use this file except in compliance with
    007 * the License.  You may obtain a copy of the License at
    008 *
    009 *      http://www.apache.org/licenses/LICENSE-2.0
    010 *
    011 *  Unless required by applicable law or agreed to in writing, software
    012 *  distributed under the License is distributed on an "AS IS" BASIS,
    013 *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    014 *  See the License for the specific language governing permissions and
    015 *  limitations under the License.
    016 *
    017 */
    018package org.apache.bcel.verifier.statics;
    019
    020
    021import java.util.ArrayList;
    022import java.util.List;
    023
    024/**
    025 * A small utility class representing a set of basic int values.
    026 *
    027 * @version $Id: IntList.java 1806200 2017-08-25 16:33:06Z ggregory $
    028 */
    029public class IntList{
    030    /** The int are stored as Integer objects here. */
    031    private final List<Integer> theList;
    032    /** This constructor creates an empty list. */
    033    IntList() {
    034        theList = new ArrayList<>();
    035    }
    036    /** Adds an element to the list. */
    037    void add(final int i) {
    038        theList.add(Integer.valueOf(i));
    039    }
    040    /** Checks if the specified int is already in the list. */
    041    boolean contains(final int i) {
    042        final Integer[] ints = new Integer[theList.size()];
    043        theList.toArray(ints);
    044        for (final Integer k : ints) {
    045            if (i == k.intValue()) {
    046                return true;
    047            }
    048        }
    049        return false;
    050    }
    051}