Source code: org/apache/bcel/verifier/exc/StructuralCodeConstraintException.java
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 }