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