• file
• revisions
• annotate
• diff
• comparison
• raw

src/jdk/internal/dynalink/beans/GuardedInvocationComponent.java@b1a7da25b547 (annotated)

src/jdk/internal/dynalink/beans/GuardedInvocationComponent.java

Wed, 27 Apr 2016 01:36:41 +0800

author

aoqi

date

Wed, 27 Apr 2016 01:36:41 +0800

changeset 0

b1a7da25b547

child 952

6d5471a497fb

permissions

-rw-r--r--

Initial load
http://hg.openjdk.java.net/jdk8u/jdk8u/nashorn/
changeset: 1034:4b9cc65dd24d
tag: jdk8u25-b17

aoqi@0	1	/*
aoqi@0	2	* Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
aoqi@0	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0	4	*
aoqi@0	5	* This code is free software; you can redistribute it and/or modify it
aoqi@0	6	* under the terms of the GNU General Public License version 2 only, as
aoqi@0	7	* published by the Free Software Foundation. Oracle designates this
aoqi@0	8	* particular file as subject to the "Classpath" exception as provided
aoqi@0	9	* by Oracle in the LICENSE file that accompanied this code.
aoqi@0	10	*
aoqi@0	11	* This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0	12	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0	13	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0	14	* version 2 for more details (a copy is included in the LICENSE file that
aoqi@0	15	* accompanied this code).
aoqi@0	16	*
aoqi@0	17	* You should have received a copy of the GNU General Public License version
aoqi@0	18	* 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0	19	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0	20	*
aoqi@0	21	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0	22	* or visit www.oracle.com if you need additional information or have any
aoqi@0	23	* questions.
aoqi@0	24	*/
aoqi@0	25
aoqi@0	26	/*
aoqi@0	27	* This file is available under and governed by the GNU General Public
aoqi@0	28	* License version 2 only, as published by the Free Software Foundation.
aoqi@0	29	* However, the following notice accompanied the original version of this
aoqi@0	30	* file, and Oracle licenses the original version of this file under the BSD
aoqi@0	31	* license:
aoqi@0	32	*/
aoqi@0	33	/*
aoqi@0	34	Copyright 2009-2013 Attila Szegedi
aoqi@0	35
aoqi@0	36	Licensed under both the Apache License, Version 2.0 (the "Apache License")
aoqi@0	37	and the BSD License (the "BSD License"), with licensee being free to
aoqi@0	38	choose either of the two at their discretion.
aoqi@0	39
aoqi@0	40	You may not use this file except in compliance with either the Apache
aoqi@0	41	License or the BSD License.
aoqi@0	42
aoqi@0	43	If you choose to use this file in compliance with the Apache License, the
aoqi@0	44	following notice applies to you:
aoqi@0	45
aoqi@0	46	You may obtain a copy of the Apache License at
aoqi@0	47
aoqi@0	48	http://www.apache.org/licenses/LICENSE-2.0
aoqi@0	49
aoqi@0	50	Unless required by applicable law or agreed to in writing, software
aoqi@0	51	distributed under the License is distributed on an "AS IS" BASIS,
aoqi@0	52	WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
aoqi@0	53	implied. See the License for the specific language governing
aoqi@0	54	permissions and limitations under the License.
aoqi@0	55
aoqi@0	56	If you choose to use this file in compliance with the BSD License, the
aoqi@0	57	following notice applies to you:
aoqi@0	58
aoqi@0	59	Redistribution and use in source and binary forms, with or without
aoqi@0	60	modification, are permitted provided that the following conditions are
aoqi@0	61	met:
aoqi@0	62	* Redistributions of source code must retain the above copyright
aoqi@0	63	notice, this list of conditions and the following disclaimer.
aoqi@0	64	* Redistributions in binary form must reproduce the above copyright
aoqi@0	65	notice, this list of conditions and the following disclaimer in the
aoqi@0	66	documentation and/or other materials provided with the distribution.
aoqi@0	67	* Neither the name of the copyright holder nor the names of
aoqi@0	68	contributors may be used to endorse or promote products derived from
aoqi@0	69	this software without specific prior written permission.
aoqi@0	70
aoqi@0	71	THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
aoqi@0	72	IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
aoqi@0	73	TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
aoqi@0	74	PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDER
aoqi@0	75	BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
aoqi@0	76	CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
aoqi@0	77	SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
aoqi@0	78	BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
aoqi@0	79	WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
aoqi@0	80	OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
aoqi@0	81	ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
aoqi@0	82	*/
aoqi@0	83
aoqi@0	84	package jdk.internal.dynalink.beans;
aoqi@0	85
aoqi@0	86	import java.lang.invoke.MethodHandle;
aoqi@0	87	import jdk.internal.dynalink.linker.GuardedInvocation;
aoqi@0	88
aoqi@0	89	/**
aoqi@0	90	* Represents one component for a GuardedInvocation of a potentially composite operation of an
aoqi@0	91	* {@link AbstractJavaLinker}. In addition to holding a guarded invocation, it holds semantic information about its
aoqi@0	92	* guard. All guards produced in the AbstractJavaLinker are either "Class.isInstance()" or "getClass() == clazz"
aoqi@0	93	* expressions. This allows choosing the most restrictive guard as the guard for the composition of two components.
aoqi@0	94	* @author Attila Szegedi
aoqi@0	95	* @version $Id: $
aoqi@0	96	*/
aoqi@0	97	class GuardedInvocationComponent {
aoqi@0	98	enum ValidationType {
aoqi@0	99	NONE, // No guard; the operation can be linked unconditionally (quite rare); least strict.
aoqi@0	100	INSTANCE_OF, // "validatorClass.isInstance(obj)" guard
aoqi@0	101	EXACT_CLASS, // "obj.getClass() == validatorClass" guard; most strict.
aoqi@0	102	IS_ARRAY, // "obj.getClass().isArray()"
aoqi@0	103	}
aoqi@0	104
aoqi@0	105	private final GuardedInvocation guardedInvocation;
aoqi@0	106	private final Validator validator;
aoqi@0	107
aoqi@0	108	GuardedInvocationComponent(MethodHandle invocation) {
aoqi@0	109	this(invocation, null, ValidationType.NONE);
aoqi@0	110	}
aoqi@0	111
aoqi@0	112	GuardedInvocationComponent(MethodHandle invocation, MethodHandle guard, ValidationType validationType) {
aoqi@0	113	this(invocation, guard, null, validationType);
aoqi@0	114	}
aoqi@0	115
aoqi@0	116	GuardedInvocationComponent(MethodHandle invocation, MethodHandle guard, Class<?> validatorClass,
aoqi@0	117	ValidationType validationType) {
aoqi@0	118	this(invocation, guard, new Validator(validatorClass, validationType));
aoqi@0	119	}
aoqi@0	120
aoqi@0	121	GuardedInvocationComponent(GuardedInvocation guardedInvocation, Class<?> validatorClass,
aoqi@0	122	ValidationType validationType) {
aoqi@0	123	this(guardedInvocation, new Validator(validatorClass, validationType));
aoqi@0	124	}
aoqi@0	125
aoqi@0	126	GuardedInvocationComponent replaceInvocation(MethodHandle newInvocation) {
aoqi@0	127	return replaceInvocation(newInvocation, guardedInvocation.getGuard());
aoqi@0	128	}
aoqi@0	129
aoqi@0	130	GuardedInvocationComponent replaceInvocation(MethodHandle newInvocation, MethodHandle newGuard) {
aoqi@0	131	return new GuardedInvocationComponent(guardedInvocation.replaceMethods(newInvocation,
aoqi@0	132	newGuard), validator);
aoqi@0	133	}
aoqi@0	134
aoqi@0	135	private GuardedInvocationComponent(MethodHandle invocation, MethodHandle guard, Validator validator) {
aoqi@0	136	this(new GuardedInvocation(invocation, guard), validator);
aoqi@0	137	}
aoqi@0	138
aoqi@0	139	private GuardedInvocationComponent(GuardedInvocation guardedInvocation, Validator validator) {
aoqi@0	140	this.guardedInvocation = guardedInvocation;
aoqi@0	141	this.validator = validator;
aoqi@0	142	}
aoqi@0	143
aoqi@0	144	GuardedInvocation getGuardedInvocation() {
aoqi@0	145	return guardedInvocation;
aoqi@0	146	}
aoqi@0	147
aoqi@0	148	Class<?> getValidatorClass() {
aoqi@0	149	return validator.validatorClass;
aoqi@0	150	}
aoqi@0	151
aoqi@0	152	ValidationType getValidationType() {
aoqi@0	153	return validator.validationType;
aoqi@0	154	}
aoqi@0	155
aoqi@0	156	GuardedInvocationComponent compose(MethodHandle compositeInvocation, MethodHandle otherGuard,
aoqi@0	157	Class<?> otherValidatorClass, ValidationType otherValidationType) {
aoqi@0	158	final Validator compositeValidator = validator.compose(new Validator(otherValidatorClass, otherValidationType));
aoqi@0	159	final MethodHandle compositeGuard = compositeValidator == validator ? guardedInvocation.getGuard() : otherGuard;
aoqi@0	160	return new GuardedInvocationComponent(compositeInvocation, compositeGuard, compositeValidator);
aoqi@0	161	}
aoqi@0	162
aoqi@0	163	private static class Validator {
aoqi@0	164	/*private*/ final Class<?> validatorClass;
aoqi@0	165	/*private*/ final ValidationType validationType;
aoqi@0	166
aoqi@0	167	Validator(Class<?> validatorClass, ValidationType validationType) {
aoqi@0	168	this.validatorClass = validatorClass;
aoqi@0	169	this.validationType = validationType;
aoqi@0	170	}
aoqi@0	171
aoqi@0	172	Validator compose(Validator other) {
aoqi@0	173	if(other.validationType == ValidationType.NONE) {
aoqi@0	174	return this;
aoqi@0	175	}
aoqi@0	176	switch(validationType) {
aoqi@0	177	case NONE:
aoqi@0	178	return other;
aoqi@0	179	case INSTANCE_OF:
aoqi@0	180	switch(other.validationType) {
aoqi@0	181	case INSTANCE_OF:
aoqi@0	182	if(isAssignableFrom(other)) {
aoqi@0	183	return other;
aoqi@0	184	} else if(other.isAssignableFrom(this)) {
aoqi@0	185	return this;
aoqi@0	186	}
aoqi@0	187	break;
aoqi@0	188	case EXACT_CLASS:
aoqi@0	189	if(isAssignableFrom(other)) {
aoqi@0	190	return other;
aoqi@0	191	}
aoqi@0	192	break;
aoqi@0	193	case IS_ARRAY:
aoqi@0	194	if(validatorClass.isArray()) {
aoqi@0	195	return this;
aoqi@0	196	}
aoqi@0	197	break;
aoqi@0	198	default:
aoqi@0	199	throw new AssertionError();
aoqi@0	200	}
aoqi@0	201	break;
aoqi@0	202	case EXACT_CLASS:
aoqi@0	203	switch(other.validationType) {
aoqi@0	204	case INSTANCE_OF:
aoqi@0	205	if(other.isAssignableFrom(this)) {
aoqi@0	206	return this;
aoqi@0	207	}
aoqi@0	208	break;
aoqi@0	209	case EXACT_CLASS:
aoqi@0	210	if(validatorClass == other.validatorClass) {
aoqi@0	211	return this;
aoqi@0	212	}
aoqi@0	213	break;
aoqi@0	214	case IS_ARRAY:
aoqi@0	215	if(validatorClass.isArray()) {
aoqi@0	216	return this;
aoqi@0	217	}
aoqi@0	218	break;
aoqi@0	219	default:
aoqi@0	220	throw new AssertionError();
aoqi@0	221	}
aoqi@0	222	break;
aoqi@0	223	case IS_ARRAY:
aoqi@0	224	switch(other.validationType) {
aoqi@0	225	case INSTANCE_OF:
aoqi@0	226	case EXACT_CLASS:
aoqi@0	227	if(other.validatorClass.isArray()) {
aoqi@0	228	return other;
aoqi@0	229	}
aoqi@0	230	break;
aoqi@0	231	case IS_ARRAY:
aoqi@0	232	return this;
aoqi@0	233	default:
aoqi@0	234	throw new AssertionError();
aoqi@0	235	}
aoqi@0	236	break;
aoqi@0	237	default:
aoqi@0	238	throw new AssertionError();
aoqi@0	239	}
aoqi@0	240	throw new AssertionError("Incompatible composition " + this + " vs " + other);
aoqi@0	241	}
aoqi@0	242
aoqi@0	243	private boolean isAssignableFrom(Validator other) {
aoqi@0	244	return validatorClass.isAssignableFrom(other.validatorClass);
aoqi@0	245	}
aoqi@0	246
aoqi@0	247	@Override
aoqi@0	248	public String toString() {
aoqi@0	249	return "Validator[" + validationType + (validatorClass == null ? "" : (" " + validatorClass.getName())) + "]";
aoqi@0	250	}
aoqi@0	251	}
aoqi@0	252	}