Class 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:
    StructuralCodeConstraintException, LinkingConstraintException