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