com.sun.org.apache.bcel.internal.verifier.PassVerifier Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of org.apache.servicemix.bundles.jaxp-ri
Show all versions of org.apache.servicemix.bundles.jaxp-ri
This OSGi bundle wraps ${pkgArtifactId} ${pkgVersion} jar file.
The newest version!
/*
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
*
* Copyright 1997-2007 Sun Microsystems, Inc. All rights reserved.
*
* The contents of this file are subject to the terms of either the GNU
* General Public License Version 2 only ("GPL") or the Common Development
* and Distribution License("CDDL") (collectively, the "License"). You
* may not use this file except in compliance with the License. You can obtain
* a copy of the License at https://glassfish.dev.java.net/public/CDDL+GPL.html
* or glassfish/bootstrap/legal/LICENSE.txt. See the License for the specific
* language governing permissions and limitations under the License.
*
* When distributing the software, include this License Header Notice in each
* file and include the License file at glassfish/bootstrap/legal/LICENSE.txt.
* Sun designates this particular file as subject to the "Classpath" exception
* as provided by Sun in the GPL Version 2 section of the License file that
* accompanied this code. If applicable, add the following below the License
* Header, with the fields enclosed by brackets [] replaced by your own
* identifying information: "Portions Copyrighted [year]
* [name of copyright owner]"
*
* Contributor(s):
*
* If you wish your version of this file to be governed by only the CDDL or
* only the GPL Version 2, indicate your decision by adding "[Contributor]
* elects to include this software in this distribution under the [CDDL or GPL
* Version 2] license." If you don't indicate a single choice of license, a
* recipient has the option to distribute your version of this file under
* either the CDDL, the GPL Version 2 or to extend the choice of license to
* its licensees as provided above. However, if you add GPL Version 2 code
* and therefore, elected the GPL Version 2 license, then the option applies
* only if the new code is made subject to such option by the copyright
* holder.
*/
package com.sun.org.apache.bcel.internal.verifier;
/* ====================================================================
* The Apache Software License, Version 1.1
*
* Copyright (c) 2001 The Apache Software Foundation. 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. The end-user documentation included with the redistribution,
* if any, must include the following acknowledgment:
* "This product includes software developed by the
* Apache Software Foundation (http://www.apache.org/)."
* Alternately, this acknowledgment may appear in the software itself,
* if and wherever such third-party acknowledgments normally appear.
*
* 4. The names "Apache" and "Apache Software Foundation" and
* "Apache BCEL" must not be used to endorse or promote products
* derived from this software without prior written permission. For
* written permission, please contact [email protected].
*
* 5. Products derived from this software may not be called "Apache",
* "Apache BCEL", nor may "Apache" appear in their name, without
* prior written permission of the Apache Software Foundation.
*
* THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED 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 APACHE SOFTWARE FOUNDATION OR
* ITS 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.
* ====================================================================
*
* This software consists of voluntary contributions made by many
* individuals on behalf of the Apache Software Foundation. For more
* information on the Apache Software Foundation, please see
* .
*/
import java.util.ArrayList;
/**
* A PassVerifier actually verifies a class file; it is instantiated
* by a Verifier.
* The verification should conform with a certain pass as described
* in The Java Virtual Machine Specification, 2nd edition.
* This book describes four passes. Pass one means loading the
* class and verifying a few static constraints. Pass two actually
* verifies some other constraints that could enforce loading in
* referenced class files. Pass three is the first pass that actually
* checks constraints in the code array of a method in the class file;
* it has two parts with the first verifying static constraints and
* the second part verifying structural constraints (where a data flow
* analysis is used for). The fourth pass, finally, performs checks
* that can only be done at run-time.
* JustIce does not have a run-time pass, but certain constraints that
* are usually delayed until run-time for performance reasons are also
* checked during the second part of pass three.
* PassVerifier instances perform caching.
* That means, if you really want a new verification run of a certain
* pass you must use a new instance of a given PassVerifier.
*
* @version $Id: PassVerifier.java,v 1.3 2007-07-19 04:34:55 ofung Exp $
* @author Enver Haase
* @see com.sun.org.apache.bcel.internal.verifier.Verifier
* @see #verify()
*/
public abstract class PassVerifier{
/** The (warning) messages. */
private ArrayList messages = new ArrayList(); //Type of elements: String
/** The VerificationResult cache. */
private VerificationResult verificationResult = null;
/**
* This method runs a verification pass conforming to the
* Java Virtual Machine Specification, 2nd edition, on a
* class file.
* PassVerifier instances perform caching;
* i.e. if the verify() method once determined a VerificationResult,
* then this result may be returned after every invocation of this
* method instead of running the verification pass anew; likewise with
* the result of getMessages().
*
* @see #getMessages()
* @see #addMessage(String)
*/
public VerificationResult verify(){
if (verificationResult == null){
verificationResult = do_verify();
}
return verificationResult;
}
/** Does the real verification work, uncached. */
public abstract VerificationResult do_verify();
/**
* This method adds a (warning) message to the message pool of this
* PassVerifier. This method is normally only internally used by
* BCEL's class file verifier "JustIce" and should not be used from
* the outside.
*
* @see #getMessages()
*/
public void addMessage(String message){
messages.add(message);
}
/**
* Returns the (warning) messages that this PassVerifier accumulated
* during its do_verify()ing work.
*
* @see #addMessage(String)
* @see #do_verify()
*/
public String[] getMessages(){
verify(); // create messages if not already done (cached!)
String[] ret = new String[messages.size()];
for (int i=0; i