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 1749603 2016-06-21 20:50:19Z 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}