chord.program.visitors
Interface IRelLockInstVisitor

All Superinterfaces:
IClassVisitor, IMethodVisitor
All Known Implementing Classes:
DomR

public interface IRelLockInstVisitor
extends IMethodVisitor

Visitor over all monitorexit statements in all methods in the program.

Author:
Mayur Naik (mhn@cs.stanford.edu)

Method Summary
 void visitRelLockInst(joeq.Compiler.Quad.Quad q)
          Visits all monitorexit statements in all methods in the program.
 
Methods inherited from interface chord.program.visitors.IMethodVisitor
visit
 
Methods inherited from interface chord.program.visitors.IClassVisitor
visit
 

Method Detail

visitRelLockInst

void visitRelLockInst(joeq.Compiler.Quad.Quad q)
Visits all monitorexit statements in all methods in the program.

Parameters:
q - A monitorexit statement.