View Javadoc
1   /*
2    * Licensed to the Apache Software Foundation (ASF) under one or more
3    * contributor license agreements.  See the NOTICE file distributed with
4    * this work for additional information regarding copyright ownership.
5    * The ASF licenses this file to You under the Apache License, Version 2.0
6    * (the "License"); you may not use this file except in compliance with
7    * the License.  You may obtain a copy of the License at
8    *
9    *      http://www.apache.org/licenses/LICENSE-2.0
10   *
11   *  Unless required by applicable law or agreed to in writing, software
12   *  distributed under the License is distributed on an "AS IS" BASIS,
13   *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14   *  See the License for the specific language governing permissions and
15   *  limitations under the License. 
16   *
17   */ 
18  package org.apache.bcel.verifier.exc;
19  
20  /**
21   * Instances of this class are thrown by BCEL's class file verifier "JustIce" when
22   * a class file to verify does not pass the verification pass 3 because of a violation
23   * of a structural constraint as described in the Java Virtual Machine Specification,
24   * 2nd edition, 4.8.2, pages 137-139.
25   * Note that the notion of a "structural" constraint is somewhat misleading. Structural
26   * constraints are constraints on relationships between Java virtual machine instructions.
27   * These are the constraints where data-flow analysis is needed to verify if they hold.
28   * The data flow analysis of pass 3 is called pass 3b in JustIce.
29   *
30   * @version $Id: StructuralCodeConstraintException.html 898356 2014-02-18 05:44:40Z ggregory $
31   * @author Enver Haase
32   */
33  public class StructuralCodeConstraintException extends CodeConstraintException{
34  	private static final long serialVersionUID = 5406842000007181420L;
35      /**
36  	 * Constructs a new StructuralCodeConstraintException with the specified error message.
37  	 */
38  	public StructuralCodeConstraintException(String message){
39  		super(message);
40  	}
41  	/**
42  	 * Constructs a new StructuralCodeConstraintException with null as its error message string.
43  	 */
44  	public StructuralCodeConstraintException(){
45  		super();
46  	}
47  }