5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 */ 23 package jdk.vm.ci.meta; 24 25 import java.lang.invoke.*; 26 import java.util.*; 27 28 /** 29 * Class for recording assumptions made during compilation. 30 */ 31 public final class Assumptions implements Iterable<Assumptions.Assumption> { 32 33 /** 34 * Abstract base class for assumptions. An assumption assumes a property of the runtime that may 35 * be invalidated by subsequent execution (e.g., that a class has no subclasses implementing 36 * {@link NoFinalizableSubclass Object.finalize()}). 37 */ 38 public abstract static class Assumption { 39 } 40 41 /** 42 * A class for providing information that is only valid in association with a set of 43 * {@link Assumption}s. 44 * 45 * @param <T> 46 */ | 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 */ 23 package jdk.vm.ci.meta; 24 25 import java.lang.invoke.CallSite; 26 import java.lang.invoke.MethodHandle; 27 import java.util.Arrays; 28 import java.util.HashSet; 29 import java.util.Iterator; 30 import java.util.Set; 31 32 /** 33 * Class for recording assumptions made during compilation. 34 */ 35 public final class Assumptions implements Iterable<Assumptions.Assumption> { 36 37 /** 38 * Abstract base class for assumptions. An assumption assumes a property of the runtime that may 39 * be invalidated by subsequent execution (e.g., that a class has no subclasses implementing 40 * {@link NoFinalizableSubclass Object.finalize()}). 41 */ 42 public abstract static class Assumption { 43 } 44 45 /** 46 * A class for providing information that is only valid in association with a set of 47 * {@link Assumption}s. 48 * 49 * @param <T> 50 */ |