--- /dev/null Fri Oct 27 09:25:42 2017 +++ new/src/java.base/share/classes/jdk/internal/org/objectweb/asm/util/CheckModuleAdapter.java Fri Oct 27 09:25:42 2017 @@ -0,0 +1,180 @@ +/* + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ + +/* + * This file is available under and governed by the GNU General Public + * License version 2 only, as published by the Free Software Foundation. + * However, the following notice accompanied the original version of this + * file: + * + * ASM: a very small and fast Java bytecode manipulation framework + * Copyright (c) 2000-2011 INRIA, France Telecom + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * 3. Neither the name of the copyright holders nor the names of its + * contributors may be used to endorse or promote products derived from + * this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF + * THE POSSIBILITY OF SUCH DAMAGE. + */ +package jdk.internal.org.objectweb.asm.util; + +import java.util.HashSet; + +import jdk.internal.org.objectweb.asm.ModuleVisitor; +import jdk.internal.org.objectweb.asm.Opcodes; + +/** + * @author Remi Forax + */ +public final class CheckModuleAdapter extends ModuleVisitor { + private boolean end; + private final boolean isOpen; + + private final HashSet requireNames = new HashSet(); + private final HashSet exportNames = new HashSet(); + private final HashSet openNames = new HashSet(); + private final HashSet useNames = new HashSet(); + private final HashSet provideNames = new HashSet(); + + public CheckModuleAdapter(final ModuleVisitor mv, final boolean isOpen) { + super(Opcodes.ASM6, mv); + this.isOpen = isOpen; + } + + @Override + public void visitRequire(String module, int access, String version) { + checkEnd(); + if (module == null) { + throw new IllegalArgumentException("require cannot be null"); + } + checkDeclared("requires", requireNames, module); + CheckClassAdapter.checkAccess(access, Opcodes.ACC_STATIC_PHASE + + Opcodes.ACC_TRANSITIVE + Opcodes.ACC_SYNTHETIC + Opcodes.ACC_MANDATED); + super.visitRequire(module, access, version); + } + + @Override + public void visitExport(String packaze, int access, String... modules) { + checkEnd(); + if (packaze == null) { + throw new IllegalArgumentException("packaze cannot be null"); + } + CheckMethodAdapter.checkInternalName(packaze, "package name"); + checkDeclared("exports", exportNames, packaze); + CheckClassAdapter.checkAccess(access, Opcodes.ACC_SYNTHETIC + + Opcodes.ACC_MANDATED); + if (modules != null) { + for (int i = 0; i < modules.length; i++) { + if (modules[i] == null) { + throw new IllegalArgumentException("module at index " + i + " cannot be null"); + } + } + } + super.visitExport(packaze, access, modules); + } + + @Override + public void visitOpen(String packaze, int access, String... modules) { + checkEnd(); + if (isOpen) { + throw new IllegalArgumentException("an open module can not use open directive"); + } + if (packaze == null) { + throw new IllegalArgumentException("packaze cannot be null"); + } + CheckMethodAdapter.checkInternalName(packaze, "package name"); + checkDeclared("opens", openNames, packaze); + CheckClassAdapter.checkAccess(access, Opcodes.ACC_SYNTHETIC + + Opcodes.ACC_MANDATED); + if (modules != null) { + for (int i = 0; i < modules.length; i++) { + if (modules[i] == null) { + throw new IllegalArgumentException("module at index " + i + " cannot be null"); + } + } + } + super.visitOpen(packaze, access, modules); + } + + @Override + public void visitUse(String service) { + checkEnd(); + CheckMethodAdapter.checkInternalName(service, "service"); + checkDeclared("uses", useNames, service); + super.visitUse(service); + } + + @Override + public void visitProvide(String service, String... providers) { + checkEnd(); + CheckMethodAdapter.checkInternalName(service, "service"); + checkDeclared("provides", provideNames, service); + if (providers == null || providers.length == 0) { + throw new IllegalArgumentException("providers cannot be null or empty"); + } + for (int i = 0; i < providers.length; i++) { + CheckMethodAdapter.checkInternalName(providers[i], "provider"); + } + super.visitProvide(service, providers); + } + + @Override + public void visitEnd() { + checkEnd(); + end = true; + super.visitEnd(); + } + + private void checkEnd() { + if (end) { + throw new IllegalStateException( + "Cannot call a visit method after visitEnd has been called"); + } + } + + private static void checkDeclared(String directive, HashSet names, String name) { + if (!names.add(name)) { + throw new IllegalArgumentException(directive + " " + name + " already declared"); + } + } +}