Class InstConstraintVisitor

java.lang.Object
org.apache.bcel.generic.EmptyVisitor
org.apache.bcel.verifier.structurals.InstConstraintVisitor
All Implemented Interfaces:
Visitor

public class InstConstraintVisitor extends EmptyVisitor implements Visitor
A Visitor class testing for valid preconditions of JVM instructions. The instance of this class will throw a StructuralCodeConstraintException instance if an instruction is visitXXX()ed which has preconditions that are not satisfied. TODO: Currently, the JVM's behaviour concerning monitors (MONITORENTER, MONITOREXIT) is not modeled in JustIce.
Version:
$Id: InstConstraintVisitor.java 386056 2006-03-15 11:31:56Z tcurdt $
Author:
Enver Haase
See Also: