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}