1b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/* 2b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ProGuard -- shrinking, optimization, obfuscation, and preverification 3b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * of Java bytecode. 4b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 52270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom * Copyright (c) 2002-2014 Eric Lafortune (eric@graphics.cornell.edu) 6b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 7b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This program is free software; you can redistribute it and/or modify it 8b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * under the terms of the GNU General Public License as published by the Free 9b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Software Foundation; either version 2 of the License, or (at your option) 10b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * any later version. 11b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 12b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This program is distributed in the hope that it will be useful, but WITHOUT 13b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 14b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 15b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * more details. 16b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 17b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * You should have received a copy of the GNU General Public License along 18b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * with this program; if not, write to the Free Software Foundation, Inc., 19b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 20b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 21b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopackage proguard.evaluation.value; 22b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 23b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.ClassConstants; 24b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 25b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/** 26b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This class represents a partially evaluated instruction offset. It can 27b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * contain 0 or more specific instruction offsets. 28b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 29b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @author Eric Lafortune 30b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 31b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopublic class InstructionOffsetValue extends Category1Value 32b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato{ 33b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public static final InstructionOffsetValue EMPTY_VALUE = new InstructionOffsetValue(); 34b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 35b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 36b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato private int[] values; 37b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 38b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 39b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato private InstructionOffsetValue() 40b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 41b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 42b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 43b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 44b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public InstructionOffsetValue(int value) 45b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 46b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this.values = new int[] { value }; 47b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 48b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 49b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 50b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public InstructionOffsetValue(int[] values) 51b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 52b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this.values = values; 53b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 54b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 55b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 56b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public int instructionOffsetCount() 57b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 58b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return values == null ? 0 : values.length; 59b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 60b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 61b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 62b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public int instructionOffset(int index) 63b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 64b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return values[index]; 65b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 66b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 67b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 68b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato /** 69b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Returns whether the given value is present in this list of instruction 70b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * offsets. 71b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 72b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public boolean contains(int value) 73b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 74b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (values != null) 75b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 76b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato for (int index = 0; index < values.length; index++) 77b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 78b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (values[index] == value) 79b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 80b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return true; 81b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 82b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 83b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 84b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 85b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return false; 86b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 87b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 88b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 89b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato /** 90b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Returns the minimum value from this list of instruction offsets. 91b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Returns <code>Integer.MAX_VALUE</code> if the list is empty. 92b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 93b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public int minimumValue() 94b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 95b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato int minimumValue = Integer.MAX_VALUE; 96b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 97b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (values != null) 98b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 99b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato for (int index = 0; index < values.length; index++) 100b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 101b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato int value = values[index]; 102b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 103b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (minimumValue > value) 104b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 105b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato minimumValue = value; 106b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 107b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 108b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 109b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 110b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return minimumValue; 111b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 112b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 113b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 114b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato /** 115b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Returns the maximum value from this list of instruction offsets. 116b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Returns <code>Integer.MIN_VALUE</code> if the list is empty. 117b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 118b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public int maximumValue() 119b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 120b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato int maximumValue = Integer.MIN_VALUE; 121b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 122b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (values != null) 123b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 124b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato for (int index = 0; index < values.length; index++) 125b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 126b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato int value = values[index]; 127b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 128b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (maximumValue < value) 129b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 130b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato maximumValue = value; 131b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 132b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 133b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 134b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 135b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return maximumValue; 136b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 137b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 138b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 139b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato /** 140b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Returns the generalization of this InstructionOffsetValue and the given 141b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * other InstructionOffsetValue. The values of the other InstructionOffsetValue 142b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * are guaranteed to remain at the end of the list, in the same order. 143b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 144b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public final Value generalize(InstructionOffsetValue other) 145b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 1462270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom // If the values array of either is null, we can return the other one. 1472270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom int[] thisValues = this.values; 1482270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (thisValues == null) 149b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 150b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return other; 151b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 152b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 1532270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom int[] otherValues = other.values; 1542270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (otherValues == null) 155b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 156b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return this; 157b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 158b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 159b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Compute the length of the union of the arrays. 1602270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom int newLength = thisValues.length; 1612270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom for (int index = 0; index < otherValues.length; index++) 162b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 1632270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (!this.contains(otherValues[index])) 164b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 165b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato newLength++; 166b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 167b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 168b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 1692270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom // If the length of the union array is equal to the length of the other 1702270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom // values array, we can return it. 1712270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (newLength == otherValues.length) 172b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 173b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return other; 174b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 175b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 1762270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom // If the length of the union array is equal to the length of this 1772270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom // values array, we can return it. We have to make sure that the other 1782270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom // values are at the end. We'll just test one special case, with a 1792270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom // single other value. 1802270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (newLength == this.values.length && 1812270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom otherValues.length == 1 && 1822270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom thisValues[thisValues.length-1] == otherValues[0]) 1832270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom { 1842270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom return this; 1852270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom } 186b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 187b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Create the union array. 1882270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom int newIndex = 0; 189b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato int[] newValues = new int[newLength]; 190b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 1912270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom // Is the length of the union array is equal to the sum of the lengths? 1922270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (newLength == thisValues.length + otherValues.length) 1932270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom { 1942270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom // We can just copy all values, because they are unique. 1952270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom System.arraycopy(thisValues, 0, newValues, 0, thisValues.length); 196b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 1972270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom newIndex = thisValues.length; 1982270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom } 1992270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom else 200b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 2012270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom // Copy the values that are different from the other array. 2022270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom for (int index = 0; index < thisValues.length; index++) 203b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 2042270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (!other.contains(thisValues[index])) 2052270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom { 2062270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom newValues[newIndex++] = thisValues[index]; 2072270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom } 208b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 209b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 210b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 211b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Copy the values from the other array. 2122270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom System.arraycopy(otherValues, 0, newValues, newIndex, otherValues.length); 213b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 214b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return new InstructionOffsetValue(newValues); 215b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 216b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 217b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 218b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Implementations for Value. 219b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 220b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public final InstructionOffsetValue instructionOffsetValue() 221b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 222b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return this; 223b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 224b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 225b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public boolean isSpecific() 226b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 227b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return true; 228b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 229b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 230b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public boolean isParticular() 231b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 232b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return true; 233b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 234b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 235b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public final Value generalize(Value other) 236b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 237b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return this.generalize(other.instructionOffsetValue()); 238b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 239b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 240b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public final int computationalType() 241b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 242b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return TYPE_INSTRUCTION_OFFSET; 243b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 244b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 245b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public final String internalType() 246b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 2472270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom return String.valueOf(ClassConstants.TYPE_INT); 248b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 249b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 250b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 251b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Implementations for Object. 252b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 253b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public boolean equals(Object object) 254b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 255b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (object == null || 256b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this.getClass() != object.getClass()) 257b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 258b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return false; 259b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 260b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 261b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato InstructionOffsetValue other = (InstructionOffsetValue)object; 262b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (this.values == other.values) 263b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 264b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return true; 265b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 266b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 267b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (this.values == null || 268b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato other.values == null || 269b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this.values.length != other.values.length) 270b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 271b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return false; 272b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 273b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 274b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato for (int index = 0; index < other.values.length; index++) 275b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 276b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (!this.contains(other.values[index])) 277b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 278b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return false; 279b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 280b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 281b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 282b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return true; 283b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 284b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 285b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 286b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public int hashCode() 287b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 288b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato int hashCode = this.getClass().hashCode(); 289b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 290b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (values != null) 291b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 292b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato for (int index = 0; index < values.length; index++) 293b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 294b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato hashCode ^= values[index]; 295b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 296b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 297b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 298b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return hashCode; 299b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 300b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 301b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 302b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public String toString() 303b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 304b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato StringBuffer buffer = new StringBuffer(); 305b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 306b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (values != null) 307b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 308b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato for (int index = 0; index < values.length; index++) 309b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 310b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (index > 0) 311b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 312b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato buffer.append(','); 313b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 314b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato buffer.append(values[index]); 315b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 316b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 317b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 318b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return buffer.append(':').toString(); 319b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 320b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato} 321