1f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
2f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Copyright (C) 2008 The Android Open Source Project
3f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
4f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Licensed under the Apache License, Version 2.0 (the "License");
5f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * you may not use this file except in compliance with the License.
6f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * You may obtain a copy of the License at
7f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
8f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *      http://www.apache.org/licenses/LICENSE-2.0
9f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
10f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Unless required by applicable law or agreed to in writing, software
11f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * distributed under the License is distributed on an "AS IS" BASIS,
12f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * See the License for the specific language governing permissions and
14f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * limitations under the License.
15f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
16f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
17f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectpackage com.android.dx.util;
18f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
19f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectimport java.util.NoSuchElementException;
20f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
21f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/**
22f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * A set of integers, represented by a list
23f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
24f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectpublic class ListIntSet implements IntSet {
25f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
26f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /** also accessed in BitIntSet */
27f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    final IntList ints;
28f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
29f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /**
30f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Constructs an instance
31f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
32f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    public ListIntSet() {
33f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        ints = new IntList();
34f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        ints.sort();
35f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
36f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
37f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /** @inheritDoc */
38f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    public void add(int value) {
39f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        int index = ints.binarysearch(value);
40f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
41f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        if (index < 0) {
42f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            ints.insert(-(index + 1), value);
43f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
44f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
45f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
46f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /** @inheritDoc */
47f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    public void remove(int value) {
48f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        int index = ints.indexOf(value);
49f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
50f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        if (index >= 0) {
51f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            ints.removeIndex(index);
52f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
53f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
54f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
55f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /** @inheritDoc */
56f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    public boolean has(int value) {
57de75089fb7216d19e9c22cce4dc62a49513477d3Carl Shapiro        return ints.indexOf(value) >= 0;
58f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
59f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
60f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /** @inheritDoc */
61f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    public void merge(IntSet other) {
62f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        if (other instanceof ListIntSet) {
63f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            ListIntSet o = (ListIntSet) other;
64f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            int szThis = ints.size();
65f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            int szOther = o.ints.size();
66f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
67f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            int i = 0;
68f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            int j = 0;
69f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
70f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            while (j < szOther && i < szThis) {
71f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                while (j < szOther && o.ints.get(j) < ints.get(i)) {
72f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                    add(o.ints.get(j++));
73de75089fb7216d19e9c22cce4dc62a49513477d3Carl Shapiro                }
74f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                if (j == szOther) {
75f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                    break;
76f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                }
77f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                while (i < szThis && o.ints.get(j) >= ints.get(i)) {
78f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                    i++;
79f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                }
80f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            }
81f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
82f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            while (j < szOther) {
83f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                add(o.ints.get(j++));
84f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            }
85f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
86f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            ints.sort();
87f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        } else if (other instanceof BitIntSet) {
88f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            BitIntSet o = (BitIntSet) other;
89f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
90f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            for (int i = 0; i >= 0; i = Bits.findFirst(o.bits, i + 1)) {
91f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                ints.add(i);
92f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            }
93f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            ints.sort();
94f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        } else {
95f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            IntIterator iter = other.iterator();
96f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            while (iter.hasNext()) {
97f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                add(iter.next());
98f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            }
99f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
100f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
101f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
102f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /** @inheritDoc */
103f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    public int elements() {
104f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return ints.size();
105f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
106f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
107f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /** @inheritDoc */
108f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    public IntIterator iterator() {
109f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return new IntIterator() {
110f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            private int idx = 0;
111f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
112f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            /** @inheritDoc */
113f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            public boolean hasNext() {
114f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                return idx < ints.size();
115f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            }
116f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
117f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            /** @inheritDoc */
118f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            public int next() {
119f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                if (!hasNext()) {
120f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                    throw new NoSuchElementException();
121f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                }
122f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
123f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                return ints.get(idx++);
124f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            }
125f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        };
126f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
127f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
128f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /** @inheritDoc */
129f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    public String toString() {
130f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return ints.toString();
131f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
132f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
133