Class InstConstraintVisitor

  • All Implemented Interfaces:
    Visitor

    public class InstConstraintVisitor
    extends EmptyVisitor
    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 behavior concerning monitors (MONITORENTER, MONITOREXIT) is not modeled in JustIce.
    See Also:
    StructuralCodeConstraintException