StructuralCodeConstraintException

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> org >> apache >> bcel >> verifier >> [ exc overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of org.apache.bcel.verifier.exc.StructuralCodeConstraintException

SOURCE |

Download org.apache.bcel.verifier.exc.StructuralCodeConstraintException

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.apache.bcel.verifier.exc
Class StructuralCodeConstraintException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              org.apache.bcel.verifier.exc.VerifierConstraintViolatedException
                  org.apache.bcel.verifier.exc.VerificationException
                      org.apache.bcel.verifier.exc.CodeConstraintException
                          org.apache.bcel.verifier.exc.StructuralCodeConstraintException

All Implemented Interfaces:: java.io.Serializable

Direct Known Subclasses:: LinkingConstraintException

public class StructuralCodeConstraintException
extends CodeConstraintException

Instances of this class are thrown by BCEL's class file verifier "JustIce" when a class file to verify does not pass the verification pass 3 because of a violation of a structural constraint as described in the Java Virtual Machine Specification, 2nd edition, 4.8.2, pages 137-139. Note that the notion of a "structural" constraint is somewhat misleading. Structural constraints are constraints on relationships between Java virtual machine instructions. These are the constraints where data-flow analysis is needed to verify if they hold. The data flow analysis of pass 3 is called pass 3b in JustIce.

Version:: $Id: StructuralCodeConstraintException.java 371539 2006-01-23 14:08:00Z tcurdt $

Nested Class Summary

Nested classes inherited from class java.lang.Throwable

Field Summary

Fields inherited from class org.apache.bcel.verifier.exc.VerifierConstraintViolatedException

Fields inherited from class java.lang.RuntimeException

Fields inherited from class java.lang.Throwable

Constructor Summary

StructuralCodeConstraintException()
Constructs a new StructuralCodeConstraintException with null as its error message string.

StructuralCodeConstraintException(java.lang.String message)
Constructs a new StructuralCodeConstraintException with the specified error message.

Methods inherited from class org.apache.bcel.verifier.exc.VerifierConstraintViolatedException

extendMessage, getMessage

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail